365 search results - page 2 / 73 » Types for Safe Locking |
ASIACRYPT
2003
Springer
13 years 10 months ago
2003
Springer
Most ancient Chinese padlocks are key-operated locks with splitting springs, and partially keyless letter-combination locks. They can be characterized based on the types of locks, ...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
In a distributed file system built on network attached storage, client computers access data directly from shared storage, rather than submitting I/O requests through a server. W...
ASPLOS
2011
ACM
12 years 8 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
CORR
2009
Springer
13 years 2 months ago
2009
Springer
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...