Sciweavers

3008 search results - page 164 / 602
» Mechanisms for Importing Modules
Sort
View
165
Voted
FMCAD
2007
Springer
15 years 8 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
DATE
2004
IEEE
174views Hardware» more  DATE 2004»
15 years 8 months ago
Graph-Based Functional Test Program Generation for Pipelined Processors
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
Prabhat Mishra, Nikil Dutt
PPSN
1998
Springer
15 years 8 months ago
Comparison of Evolutionary Algorithms for Design Optimization
The production of specimen for microsystems or microcomponents is both, time and material-consuming. In a traditional design process the number of possible variations which can be ...
Wilfried Jakob, Martina Gorges-Schleuter, Ingo Sie...
CPAIOR
2010
Springer
15 years 8 months ago
Hybrid Methods for the Multileaf Collimator Sequencing Problem
Abstract. The multileaf collimator sequencing problem is an important component of the effective delivery of intensity modulated radiotherapy used in the treatment of cancer. The p...
Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan
WSC
2007
15 years 7 months ago
Teaching simulation to business students summary of 30 years' experience
I summarize my experience from having taught simulation to over 7000 students for over 30 years; to undergraduate, graduate and Ph. D. business students, executives and high schoo...
Ingolf Ståhl