894 search results - page 155 / 179 » Optimizations for LTL Synthesis |
145
click to vote
DAC
2005
ACM
15 years 12 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
ICCAD
2006
IEEE
15 years 7 months ago
2006
IEEE
In a synchronous finite state machine (FSM), huge current peaks are often observed at the moment of state transition. Previous low power state encoding algorithms focus on the red...
104
click to vote
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
—We present an application of machine learning to the semi-automatic synthesis of robust servo-trackers for underwater robotics. In particular, we investigate an approach based o...
107
click to vote
IOLTS
2009
IEEE
15 years 5 months ago
2009
IEEE
— The paper deals with designing fault tolerant finite state machines (FSMs) by nanoelectronic programmable logic arrays (PLAs). Two main critical parameters of the fault toleran...
MFCS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...