Sciweavers

6111 search results - page 184 / 1223
» Time, Hardware, and Uniformity
Sort
View
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
14 years 5 months ago
A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
Tim Schattkowsky, Gregor Engels, Alexander Fö...
ITC
2003
IEEE
119views Hardware» more  ITC 2003»
14 years 3 months ago
Fault Localization using Time Resolved Photon Emission and STIL Waveforms
Faster defect localization is achieved by combining IC simulations and internal measurements. Time resolved photon emission records photons emitted during commutations (current) r...
Romain Desplats, Felix Beaudoin, Philippe Perdu, N...
SOFSEM
2007
Springer
14 years 4 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
COLT
2005
Springer
14 years 4 months ago
General Polynomial Time Decomposition Algorithms
We present a general decomposition algorithm that is uniformly applicable to every (suitably normalized) instance of Convex Quadratic Optimization and efficiently approaches an o...
Nikolas List, Hans-Ulrich Simon
ICCAD
2006
IEEE
106views Hardware» more  ICCAD 2006»
14 years 7 months ago
Wire density driven global routing for CMP variation and timing
In this paper, we propose the first wire density driven global routing that considers CMP variation and timing. To enable CMP awareness during global routing, we propose a compac...
Minsik Cho, David Z. Pan, Hua Xiang, Ruchir Puri