10899 search results - page 703 / 2180 » The GP Programming System |
186
Voted
PVM
2005
Springer
16 years 28 days ago
2005
Springer
Communication subsystems are used in high-performance parallel computing systems to abstract the lower network layer. By using a communication subsystem, an upper middleware librar...
204
click to vote
PLDI
2003
ACM
16 years 21 days ago
2003
ACM
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm ...
195
click to vote
TLDI
2003
ACM
16 years 21 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
196
click to vote
ECOOP
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
224
click to vote
LCPC
1995
Springer
15 years 11 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...