1453 search results - page 106 / 291 » State and history in operating systems |
150
Voted
LORI
2009
Springer
15 years 7 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
72
Voted
CCE
2006
15 years 20 days ago
2006
Achieving high performance process control (HPPC) requires that the control system operate the plant at optimal efficiency over the full range of steady state and dynamic conditio...
155
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
109
Voted
ICPADS
2006
IEEE
15 years 6 months ago
2006
IEEE
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
96
Voted
EUROSYS
2009
ACM
15 years 7 months ago
2009
ACM
Virtual Machine (VM) fork is a new cloud computing abstraction that instantaneously clones a VM into multiple replicas running on different hosts. All replicas share the same init...