1222 search results - page 64 / 245 » Verifying a File System Implementation |
120
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
112
click to vote
TCSV
2002
15 years 2 months ago
2002
Despite the availability of video-on-demand (VoD) services in a number of cities around the world, large-scale deployment of VoD services in a metropolitan area is still economical...
143
Voted
ELPUB
2007
ACM
15 years 6 months ago
2007
ACM
Two international scientific publishers collaborated to develop an Online Submission and Peer Review System (OSPREY) for their journals. Our goals were to meet market demand, incr...
126
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
The global inter-networking infrastructure that has become essential for contemporary day-to-day computing and communication tasks, has also enabled the deployment of several large...
115
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...