2860 search results - page 172 / 572 » The Greenfoot Programming Environment |
187
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
203
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
237
click to vote
APCSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...
201
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
190
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...