1453 search results - page 70 / 291 » State and history in operating systems |
109
Voted
CADE
2007
Springer
16 years 25 days ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
132
Voted
JODS
2006
15 years 14 days ago
2006
This paper addresses the various facets of emergent semantics in content retrieval systems such as Knowledge Sifter, an architecture and system based on the use of specialized agen...
122
click to vote
OSDI
2002
ACM
16 years 24 days ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...
99
Voted
LISA
2004
15 years 1 months ago
2004
Periodic data backup is a system administration requirement that has changed as wireless machines have altered the fundamental structure of networks. These changes necessitate a c...
125
Voted
ASPDAC
2001
ACM
15 years 4 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...