Sciweavers

1016 search results - page 144 / 204
» Test Generation for Designs with On-Chip Clock Generators
Sort
View
LCTRTS
1999
Springer
14 years 1 months ago
Optimizing for Reduced Code Space using Genetic Algorithms
Code space is a critical issue facing designers of software for embedded systems. Many traditional compiler optimizations are designed to reduce the execution time of compiled cod...
Keith D. Cooper, Philip J. Schielke, Devika Subram...
FDL
2008
IEEE
14 years 3 months ago
Contradiction Analysis for Constraint-based Random Simulation
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
Daniel Große, Robert Wille, Robert Siegmund,...
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
14 years 3 months ago
Overcoming limitations of the SystemC data introspection
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
Christian Genz, Rolf Drechsler
AIIA
2007
Springer
14 years 3 months ago
A 3D Virtual Model of the Knee Driven by EMG Signals
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
Massimo Sartori, Gaetano Chemello, Enrico Pagello
GECCO
2007
Springer
326views Optimization» more  GECCO 2007»
14 years 3 months ago
Binary differential evolution for the unit commitment problem
The Unit Commitment Problem (UCP) is the task of finding an optimal turn on and turn off schedule for a group of power generation units over a given time horizon to minimize ope...
Ali Keles