1369 search results - page 86 / 274 » A Practical Implementation of the Timing Attack |
FTCS
1998
15 years 13 days ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
81
Voted
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
TASLP
2010
14 years 9 months ago
2010
—This paper presents a real-time piano synthesizer where both the transverse and longitudinal motion of the string is modeled by modal synthesis, resulting in a coherent and high...
158
click to vote
SC
2000
ACM
15 years 3 months ago
2000
ACM
We aimed to study the performance of a parallel implementation of an intraoperative nonrigid registration algorithm that accurately simulates the biomechanical properties of the b...
DAGSTUHL
1996
15 years 12 days ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...