Sciweavers

1369 search results - page 86 / 274
» A Practical Implementation of the Timing Attack
Sort
View
79
Voted
FTCS
1998
89views more  FTCS 1998»
15 years 2 months ago
The Timed Asynchronous Distributed System Model
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...
Flaviu Cristian, Christof Fetzer
90
Voted
CAV
2007
Springer
157views Hardware» more  CAV 2007»
15 years 6 months ago
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
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 ...
Luca de Alfaro, Marco Faella
TASLP
2010
95views more  TASLP 2010»
14 years 11 months ago
A Modal-Based Real-Time Piano Synthesizer
—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...
Balázs Bank, Stefano Zambon, Federico Fonta...
SC
2000
ACM
15 years 5 months ago
Real-Time Biomechanical Simulation of Volumetric Brain Deformation for Image Guided Neurosurgery
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...
Simon K. Warfield, Matthieu Ferrant, Xavier Gallez...
117
Voted
DAGSTUHL
1996
15 years 2 months ago
A Uniform Approach for Compile-Time and Run-Time Specialization
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...
Charles Consel, Luke Hornof, François No&eu...