1578 search results - page 53 / 316 » Self-healing systems - survey and synthesis |
141
click to vote
ICCD
1999
IEEE
15 years 10 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
152
click to vote
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
169
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
146
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
147
click to vote
FPGA
2009
ACM
16 years 28 days ago
2009
ACM
Reconfigurable high-performance computing systems (RHPC) have been attracting more and more attention over the past few years. RHPC systems are a promising solution for accelerati...