11022 search results - page 388 / 2205 » Programming Systems for Autonomy |
192
Voted
CONCURRENCY
1998
15 years 6 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
337
Voted
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
179
click to vote
IEEEPACT
2006
IEEE
16 years 27 days ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
194
Voted
GI
1997
Springer
15 years 11 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
185
Voted
DAC
2002
ACM
16 years 7 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...