4355 search results - page 417 / 871 » From Interpretation to Compilation |
168
click to vote
ECBS
2006
IEEE
16 years 28 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
197
click to vote
ML
2006
ACM
16 years 25 days ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
195
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
198
click to vote
IPPS
2005
IEEE
16 years 14 days ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
201
click to vote
RSP
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...