1192 search results - page 37 / 239 » Computing Weakest Readings |
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
The purpose of this article is to propose a survey of possible approaches for implementing embedded reconfigurable gate arrays into secure circuits. A standard secure interfacing ...
TCC
2005
Springer
15 years 5 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
121
click to vote
TRIER
2002
14 years 11 months ago
2002
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
145
click to vote
SCIA
2011
Springer
14 years 2 months ago
2011
Springer
We present a non-incremental approach to structure from motion. Our solution is based on robustly computing global rotations from relative geometries and feeding these into the kno...
106
click to vote
CONCUR
2012
Springer
13 years 2 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...