8 search results - page 2 / 2 » SyncCharts in C: a proposal for light-weight, deterministic ... |
75
Voted
ASPLOS
2012
ACM
13 years 5 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...
PPOPP
2009
ACM
15 years 10 months 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...
75
Voted
EUROCRYPT
2003
Springer
15 years 2 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...