3820 search results - page 490 / 764 » Bounded Model Debugging |
166
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper addresses a constrained two-terminal reliability measure referred to as Distance Reliability (DR) between the source node u and the destination node I with the shortest...
202
click to vote
QEST
2007
IEEE
16 years 28 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
159
click to vote
ROBOCOMM
2007
IEEE
16 years 28 days ago
2007
IEEE
—Coalescence is the problem of isolated mobile robots independently searching for peers with the goal of forming a single connected network. This paper analyzes coalescence time ...
170
click to vote
TIME
2007
IEEE
16 years 27 days ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
156
click to vote
COCOON
2007
Springer
16 years 25 days ago
2007
Springer
Greedy algorithms are simple, but their relative power is not well understood. The priority framework [5] captures a key notion of “greediness” in the sense that it processes (...