34 search results - page 3 / 7 » Concurrent Timestamping Made Simple |
PADS
1998
ACM
13 years 10 months ago
1998
ACM
In traditional distributed simulation schemes, entire simulation needs to be restarted if any of the participating LP crashes. This is highly undesirable for long running simulati...
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
ISCA
2009
IEEE
14 years 28 days ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
IMC
2009
ACM
14 years 24 days ago
2009
ACM
The complexity of modern enterprise networks is ever-increasing, and our understanding of these important networks is not keeping pace. Our insight into intra-subnet traffic (sta...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...