717 search results - page 88 / 144 » Kill-safe synchronization abstractions |
149
click to vote
SOSP
1997
ACM
15 years 7 months ago
1997
ACM
Abstract: Transactions and recoverable memories are powerful mechanisms for handling failures and manipulating persistent data. Unfortunately, standard recoverable memories incur a...
171
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
145
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
148
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
180
click to vote
JSW
2008
15 years 6 months ago
2008
Abstract-- In this paper, we analyze the security vulnerabilities of a family of ultra-lightweight RFID mutual authentication protocols: LMAP [13], M2 AP [14] and EMAP [15], which ...