619 search results - page 105 / 124 » The Design and Implementation of a Certifying Compiler |
100
click to vote
USENIX
2001
15 years 1 months ago
2001
Stackable file systems can provide extensible file system functionality with minimal performance overhead and development cost. However, previous approaches provide only limited f...
AAAI
2000
15 years 1 months ago
2000
Although much has been written about various information integration technologies, little has been said regarding how to combine these technologies together to build an entire &qu...
115
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
103
Voted
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...