575 search results - page 36 / 115 » Model Checking Restricted Sets of Timed Paths |
FASE
2010
Springer
15 years 3 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
ISPD
1997
ACM
15 years 4 months ago
1997
ACM
In this paper, we present a new approach that performs timing driven placement for standard cell circuits in interaction with netlist transformations. As netlist transformations a...
102
click to vote
NSDI
2008
15 years 2 months ago
2008
The broadcast nature of wireless networks is the source of both their utility and much of their complexity. To turn what would otherwise be unwanted interference into an advantage...
106
click to vote
ESIAT
2009
IEEE
14 years 9 months ago
2009
IEEE
Coalmine gas disaster is one of the severe natural disasters that restrict the safety production of coalmines. Timely monitoring and alarming of coalmine gas is an important part o...
100
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...