7778 search results - page 174 / 1556 » Designing Controllers for Reachability |
143
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
128
Voted
AMC
2006
15 years 3 months ago
2006
In this paper, stabilization problem via static output feedback controls for linear time-varying systems is investigated. Based on the Lyapunov function techniques, we show that f...
109
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
This paper presents the design of a Videophone CoderDecoder Motion Estimator using two High-Level Synthesis tools. Indeed, the combination of a Control Flow Dominated part (comple...
135
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
118
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Current-day crawlers retrieve content only from the publicly indexable Web, i.e., the set of Web pages reachable purely by following hypertext links, ignoring search forms and pag...