119
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...
117
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We propose a new variable-sized-block method for VLIW code compression. Code compression traditionally works on fixed-sized blocks and its efficiency is limited by the small block...
139
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
65
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
128
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper compares the effectiveness of statepreserving and non-state-preserving techniques for leakage control in caches by comparing drowsy cache and gated-V