332 search results - page 33 / 67 » A Direct Algorithm for Multi-valued Bounded Model Checking |
CSL
2009
Springer
15 years 7 months ago
2009
Springer
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
111
click to vote
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—We analyze how node mobility can influence the convergence time of averaging gossip algorithms on networks. Our main result is that even a small number of fully mobile nodes ca...
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
For a general class of robots with elastic joints, we introduce an inversion algorithm for the synthesis of a dynamic feedback control law that gives input-output decoupling and f...
118
click to vote
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...