1906 search results - page 284 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
183
Voted
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
205
click to vote
FMSP
2000
ACM
15 years 9 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
141
Voted
ICS
1999
Tsinghua U.
15 years 9 months ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...
126
click to vote
GRID
2007
Springer
15 years 4 months ago
2007
Springer
It is often difficult to perform efficiently a collection of jobs with complex job dependencies due to temporal unpredictability of the grid. One way to mitigate the unpredictabili...
138
Voted
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
The Grid approach provides the ability to access and use distributed resources as part of virtual organizations. The emerging Grid infrastructure gives rise to a class of scientif...