7430 search results - page 665 / 1486 » Programming Applications in CIFF |
214
click to vote
SAS
2005
Springer
16 years 23 days ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
194
click to vote
APLAS
2004
ACM
16 years 21 days ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
202
click to vote
ECOOP
2004
Springer
16 years 20 days ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
171
click to vote
EUROPAR
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We describe how the ASSIST parallel programming environment can be used to run parallel programs on collections of heterogeneous workstations and evaluate the scalability...
190
click to vote
EUROPAR
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...