1382 search results - page 139 / 277 » Formal Analysis of Online Algorithms |
163
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
182
click to vote
GLOBECOM
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— A major problem in wireless sensor network localization is erroneous local geometric realizations in some parts of the network due to the sensitivity to certain distanc...
154
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
193
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
230
click to vote
CN
2008
15 years 6 months ago
2008
act 11 Overlay multicasting has been proposed for implementing multicast routing in the application layer as a practical alter12 native to IP multicasting. Since a packet in overla...