1646 search results - page 238 / 330 » Automatic generation of two-party computations |
CAV
2007
Springer
14 years 4 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
GRAPHITE
2003
ACM
14 years 3 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
JCC
2008
13 years 10 months ago
2008
Abstract: We present a method for simultaneous three-dimensional (3D) structure generation and pharmacophorebased alignment using a self-organizing algorithm called Stochastic Prox...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
GRAPHITE
2003
ACM
14 years 3 months ago
2003
ACM
The complexity of most virtual environments prevents them being rendered in real time even on modern graphics hardware. Knowledge of the visual system of the user viewing the envi...