4798 search results - page 210 / 960 » Time for a change |
156
click to vote
CODES
2005
IEEE
16 years 7 days ago
2005
IEEE
Sensor network applications face continuously changing environments, which impose varying processing loads on the sensor node. This paper presents an online control method which a...
195
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
176
click to vote
TVLSI
2002
15 years 6 months ago
2002
Concurrent error detection (CED) based on time redundancy entails performing the normal computation and the re-computation at different times and then comparing their results. Time...
176
click to vote
GPEM
2006
15 years 6 months ago
2006
New Particle Swarm Optimization (PSO) methods for dynamic and noisy function optimization are studied in this paper. The new methods are based on the hierarchical PSO (H-PSO) and a...
122
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Design ECO commonly happens in industry due to constraints or target changes from manufacturing, marketing, reliability, or performance. At each step, designers usually want to mo...