5415 search results - page 977 / 1083 » The Implementation of Functional Programming Languages |
110
click to vote
PPOPP
1997
ACM
15 years 5 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
121
click to vote
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
121
click to vote
EXPERT
2006
15 years 1 months ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
140
click to vote
IEEEPACT
2009
IEEE
14 years 11 months ago
2009
IEEE
As the gap between processor and memory continues to grow, memory performance becomes a key performance bottleneck for many applications. Compilers therefore increasingly seek to m...
124
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...