Sciweavers

9105 search results - page 216 / 1821
» Design of the MUC-6 evaluation
Sort
View
74
Voted
ECBS
2008
IEEE
115views Hardware» more  ECBS 2008»
15 years 5 months ago
Optimizing Design for Variability Using Traceability Links
Software systems have to provide flexibility by implementing variability. Existing design methodologies do not support means for optimizing the design for variability and for mea...
Matthias Riebisch, Robert Brcina
ICDE
2001
IEEE
190views Database» more  ICDE 2001»
16 years 17 days ago
CORBA Notification Service: Design Challenges and Scalable Solutions
In this paper, we present READY, a multi-threaded implementation of the CORBA Notification Service. The main contribution of our work is the design and development of scalable sol...
Robert E. Gruber, Balachander Krishnamurthy, Euthi...
60
Voted
ICASSP
2008
IEEE
15 years 5 months ago
Robust design of wideband loudspeaker arrays
Loudspeaker arrays usually are used in professional sound reinforcement systems to provide uniform sound coverage of the listening area. They can also be used for focusing the sou...
Ivan Tashev, Jasha Droppo, Michael L. Seltzer, Ale...
ICANNGA
2007
Springer
15 years 5 months ago
DNA Based Evolutionary Approach for Microprocessor Design Automation
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
Nagarajan Venkateswaran, Arjun Kumeresh, Harish Ch...
MTV
2006
IEEE
138views Hardware» more  MTV 2006»
15 years 5 months ago
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
Marc Herbstritt, Bernd Becker, Christoph Scholl