7 search results - page 2 / 2 » New (Two-Track-)MAC Based on the Two Trails of RIPEMD |
IFL
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
GECCO
2008
Springer
13 years 6 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...