355 search results - page 11 / 71 » Risk Analysis of Robust System Design |
85
Voted
ICDCSW
2005
IEEE
15 years 3 months ago
2005
IEEE
When computer intrusions occur, one of the most costly, time-consuming, and human-intensive tasks is the analysis and recovery of the compromised system. At a time when the cost o...
79
Voted
DAC
2000
ACM
15 years 10 months ago
2000
ACM
Latency insensitive design has been recently proposed in literature as a way to design complex digital systems, whose functional behavior is robust with respect to arbitrary varia...
ICRA
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper the control of exible joint manipulators is studied in detail. A composite control algorithm is proposed for the exible joint robots, which consists of two main part...
95
Voted
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
81
Voted
DAC
2010
ACM
14 years 7 months ago
2010
ACM
The verification of large radio-frequency/millimeter-wave (RF/MM) integrated circuits (ICs) has regained attention for high-performance designs beyond 90nm and 60GHz. The traditio...