882 search results - page 65 / 177 » Allowing State Changes in Specifications |
177
click to vote
FAST
2010
15 years 8 months ago
2010
We introduce Membrane, a set of changes to the operating system to support restartable file systems. Membrane allows an operating system to tolerate a broad class of file system f...
171
click to vote
CGF
2000
15 years 6 months ago
2000
We describe the Scene-Graph-As-Bus technique (SGAB), the first step in a staircase of solutions for sharing software components for virtual environments. The goals of SGAB are to ...
157
click to vote
SIGOPS
2010
15 years 4 months ago
2010
The file system is one of the most critical components of the operating system. Almost all applications running in the operating system require file systems to be available for ...
155
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
160
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
Web service applications integrate explicit client-service interactions with notification-style programming. Such event-driven interactions are often called implicit invocations b...