89 search results - page 11 / 18 » Compiled Labelled Deductive Systems for Access Control |
HPCA
2002
IEEE
16 years 22 days ago
2002
IEEE
This work is based on our philosophy of providing interlayer system-level power awareness in computing systems [26, 27]. Here, we couple this approach with our vision of multipart...
113
click to vote
MICRO
2010
IEEE
14 years 10 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...
115
click to vote
EUROCRYPT
2004
Springer
15 years 5 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
131
click to vote
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
85
Voted
MTDT
1999
IEEE
15 years 4 months ago
1999
IEEE
The new concept of an unbalanced, hierarchicallydivided cache memory system is introduced and analyzed. This approach generalizes existing cache structures by allowing different m...