Sciweavers

1204 search results - page 29 / 241
» Parallel concurrent ML
Sort
View
EUROCRYPT
2006
Springer
15 years 6 months ago
Parallel and Concurrent Security of the HB and HB+ Protocols
Jonathan Katz, Ji Sun Shin
SIGCSE
2012
ACM
278views Education» more  SIGCSE 2012»
13 years 10 months ago
Introducing parallelism and concurrency in the data structures course
We report on our experience integrating a three-week
Dan Grossman, Ruth E. Anderson
135
Voted
ENTCS
2007
113views more  ENTCS 2007»
15 years 2 months ago
Modular Checkpointing for Atomicity
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan