375 search results - page 46 / 75 » Making Abstract Machines Less Abstract |
158
Voted
EDBT
2000
ACM
15 years 9 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
172
click to vote
TPHOL
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
116
Voted
EUROPAR
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Clusters of loosely connected machines are becoming an important model for commercial computing. The cost/performance ratio makes these scale-out solutions an attractive ...
151
click to vote
ISPA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
181
click to vote
ISSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...