1471 search results - page 2 / 295 » Composing concurrency control |
CONCURRENCY
2002
13 years 4 months ago
2002
FTCS
1994
13 years 6 months ago
1994
This paper examines architectural techniques for providing concurrent error detection in self-timed VLSI pipelines. Signal pairs from Differential Cascode Voltage Switch Logic are...
ICDCS
2000
IEEE
13 years 9 months ago
2000
IEEE
1 Switched system-area networks enable thousands of storage devices to be shared and directly accessed by end hosts, promising databases and filesystems highly scalable, reliable ...
PLDI
2012
ACM
11 years 7 months ago
2012
ACM
Efficient communication and synchronization is crucial for finegrained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often ca...
SP
2006
IEEE
13 years 11 months ago
2006
IEEE
Simulatable security is a security notion for multi-party protocols that implies strong composability features. The main definitional flavours of simulatable security are standa...