3820 search results - page 446 / 764 » Bounded Model Debugging |
179
click to vote
EUROCAST
2005
Springer
16 years 7 days ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
140
click to vote
ASIACRYPT
2004
Springer
16 years 3 days ago
2004
Springer
d abstract) Bartosz Przydatek1 and Reto Strobl2 1 Department of Computer Science, ETH Z¨urich, Switzerland 2 IBM Research, Zurich Research Laboratory, Switzerland In this paper, w...
161
click to vote
COCO
2004
Springer
16 years 3 days ago
2004
Springer
We investigate coin-flipping protocols for multiple parties in a quantum broadcast setting: • We propose and motivate a definition for quantum broadcast. Our model of quantum ...
194
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
We investigate network management information for light-path assessment to dynamically set up end-to-end lightpaths across administrative domains. Our focus is on invetigating what...
184
click to vote
ISMVL
2003
IEEE
15 years 12 months ago
2003
IEEE
We consider the path length in decision diagrams for multiple-valued functions. This is an important measure of a decision diagram, since this models the time needed to evaluate t...