Sciweavers

1529 search results - page 80 / 306
» On Timing Analysis of Combinational Circuits
Sort
View
EUROPAR
1997
Springer
15 years 2 months ago
A Methodology for Compilation of High-Integrity Real-Time Programs
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
Karl Lermer, Colin J. Fidge
SOFSEM
2007
Springer
15 years 3 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
CSUR
1999
96views more  CSUR 1999»
14 years 9 months ago
Informedia Experience-on-Demand: Capturing, Integrating and Communicating Experiences across People, Time and Space
The Informedia Experience-on-Demand system uses speech, image, and natural language processing combined with GPS information to capture, integrate, and communicate personal multim...
Howard D. Wactlar, Michael G. Christel, Alexander ...
77
Voted
ISQED
2006
IEEE
90views Hardware» more  ISQED 2006»
15 years 3 months ago
Monte Carlo-Alternative Probabilistic Simulations for Analog Systems
Probabilistic system simulations for analog circuits have traditionally been handled with Monte Carlo analysis. For a manufacturable design, fast and accurate simulations are nece...
Rasit Onur Topaloglu
SAC
2006
ACM
14 years 9 months ago
Combining supervised and unsupervised monitoring for fault detection in distributed computing systems
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
Haifeng Chen, Guofei Jiang, Cristian Ungureanu, Ke...