321 search results - page 24 / 65 » concurrency 2004 |
133
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
147
click to vote
IWMM
2004
Springer
15 years 11 months ago
2004
Springer
Garbage-First is a server-style garbage collector, targeted for multi-processors with large memories, that meets a soft real-time goal with high probability, while achieving high ...
162
click to vote
PDCAT
2004
Springer
15 years 11 months ago
2004
Springer
A wireless sensor network is characterized as a massively distributed and deeply embedded system. Such a system requires concurrent and asynchronous event handling as a distributed...
153
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
163
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...