Sciweavers

1204 search results - page 29 / 241
» Parallel concurrent ML
Sort
View
EUROCRYPT
2006
Springer
15 years 8 months ago
Parallel and Concurrent Security of the HB and HB+ Protocols
Jonathan Katz, Ji Sun Shin
131
Voted
SIGCSE
2012
ACM
278views Education» more  SIGCSE 2012»
14 years 9 days ago
Introducing parallelism and concurrency in the data structures course
We report on our experience integrating a three-week
Dan Grossman, Ruth E. Anderson
ENTCS
2007
113views more  ENTCS 2007»
15 years 4 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