1816 search results - page 25 / 364 » Trace oblivious computation |
ENTCS
2007
13 years 9 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
FOCS
1990
IEEE
14 years 1 months ago
1990
IEEE
CAD
2005
Springer
13 years 9 months ago
2005
Springer
Despite its important applications in various disciplines in science and engineering, the Euclidean Voronoi diagram for spheres, also known as an additively weighted Voronoi diagr...
SAMOS
2004
Springer
14 years 3 months ago
2004
Springer
CONCUR
2003
Springer
14 years 3 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...