1222 search results - page 173 / 245 » Verifying a File System Implementation |
123
click to vote
HIPC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract— In this work, we demonstrate the power of providing a common set of operating system services to Grid Architectures, including high-performance I/O, communication, reso...
121
click to vote
ISLPED
2010
ACM
15 years 2 months ago
2010
ACM
Thermal energy harvesting using micro-scale thermoelectric generators is a promising approach to alleviate the power supply challenge in ultra low power systems. In thermal energy...
132
click to vote
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
The main memory management has been a critical issue to provide high performance in web cluster systems. To overcome the speed gap between processors and disks, many prefetch sche...
130
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
181
click to vote
CCE
2007
15 years 3 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...