3431 search results - page 120 / 687 » A new instructional operating system |
ASPLOS
2006
ACM
14 years 3 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
IPL
2006
13 years 9 months ago
2006
In this paper, we propose a new proof method for strong normalization of calculi with control operators, and, by this method, we prove strong normalization of the system
CASES
2004
ACM
14 years 1 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
ECIS
2001
13 years 10 months ago
2001
Work in today's economic organisations is either performed through the execution of continuous operations or through the implementation of one-off projects; hence one can dis...