898 search results - page 87 / 180 » Transitions of the Pre-Symmetry Set |
158
click to vote
IOLTS
2006
IEEE
16 years 13 days ago
2006
IEEE
— Delay failures are becoming a dominant failure mechanism in nanometer technologies. Diagnosis of such failures is important to ensure yield and robustness of the design. Howeve...
142
click to vote
ICRA
2005
IEEE
16 years 9 hour ago
2005
IEEE
— We seek to develop vision-based autonomy for small-scale aircraft known as Micro Air Vehicles (MAVs). Development of such autonomy presents signiÞcant challenges, in no small ...
153
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
170
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
149
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...