Sciweavers

6010 search results - page 581 / 1202
» Computational Approaches to Drug Design
Sort
View
ICCAD
2002
IEEE
76views Hardware» more  ICCAD 2002»
16 years 4 months ago
WTA: waveform-based timing analysis for deep submicron circuits
Existing static timing analyzers make several assumptions about circuits, implicitly trading off accuracy for speed. In this paper we examine the validity of these assumptions, no...
Larry McMurchie, Carl Sechen
ISQED
2009
IEEE
112views Hardware» more  ISQED 2009»
16 years 2 months ago
Estimation and optimization of reliability of noisy digital circuits
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally efï¬...
Satish Sivaswamy, Kia Bazargan, Marc D. Riedel
HYBRID
2005
Springer
16 years 24 days ago
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a mo...
Domitilla Del Vecchio, Richard M. Murray
ASPDAC
2004
ACM
117views Hardware» more  ASPDAC 2004»
16 years 21 days ago
Performance-driven global placement via adaptive network characterization
Delay minimization continues to be an important objective in the design of high-performance computing system. In this paper, we present an effective methodology to guide the delay...
Mongkol Ekpanyapong, Sung Kyu Lim
172
Voted
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...