3868 search results - page 140 / 774 » A Distributed Parallel Programming Framework |
94
Voted
EUROPAR
2007
Springer
15 years 4 months ago
2007
Springer
How can sequential applications benefit from the ubiquitous next generation of chip multiprocessors (CMP)? Part of the answer may be a dynamic execution environment that automatica...
112
Voted
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
EUROPAR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
106
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
102
Voted
ECOOPW
2001
Springer
15 years 5 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...