5415 search results - page 977 / 1083 » The Implementation of Functional Programming Languages |
122
Voted
PPOPP
1997
ACM
15 years 7 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...
131
Voted
ACMSE
2005
ACM
15 years 4 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...
137
Voted
EXPERT
2006
15 years 2 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...
152
Voted
IEEEPACT
2009
IEEE
15 years 14 days 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...
131
Voted
CORR
2010
Springer
15 years 5 days 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 ...