Sciweavers

5055 search results - page 467 / 1011
» Relative Timing
Sort
View
ECOOPW
1999
Springer
16 years 1 hour ago
Correct Composition of Design Components
In this paper, we describe a method for the composition of components that are relatively correct under a particular criterion. The notion of composition pattern is also introduce...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
VLSID
1999
IEEE
122views VLSI» more  VLSID 1999»
15 years 12 months ago
Formal Verification of an ARM Processor
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
Vishnu A. Patankar, Alok Jain, Randal E. Bryant
GECCO
1999
Springer
116views Optimization» more  GECCO 1999»
15 years 12 months ago
Topologies, Migration Rates, and Multi-Population Parallel Genetic Algorithms
This paper presents a study of parallel genetic algorithms (GAs) with multiple populations (also called demes or islands). The study makes explicit the relation between the probab...
Erick Cantú-Paz
VTS
1999
IEEE
83views Hardware» more  VTS 1999»
15 years 12 months ago
PADded Cache: A New Fault-Tolerance Technique for Cache Memories
This paper presents a new fault-tolerance technique for cache memories. Current fault-tolerance techniques for caches are limited either by the number of faults that can be tolera...
Philip P. Shirvani, Edward J. McCluskey
DFT
1998
IEEE
88views VLSI» more  DFT 1998»
15 years 12 months ago
Characterization of CMOS Defects using Transient Signal Analysis
We present the results of hardware experiments designed to determine the relative contribution of CMOS coupling mechanisms to off-path signal variations caused by common types of ...
James F. Plusquellic, Donald M. Chiarulli, Steven ...