8 search results - page 2 / 2 » SyncCharts in C: a proposal for light-weight, deterministic ... |
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
73
Voted
PPOPP
2009
ACM
16 years 5 days ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
EUROCRYPT
2003
Springer
15 years 4 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...