Sciweavers

139 search results - page 16 / 28
» An evolutionary algorithm for reducing integrated-circuit te...
Sort
View
OOPSLA
2004
Springer
14 years 28 days ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed
CEC
2011
IEEE
12 years 7 months ago
Accelerating convergence towards the optimal pareto front
—Evolutionary algorithms have been very popular optimization methods for a wide variety of applications. However, in spite of their advantages, their computational cost is still ...
Mohsen Davarynejad, Jafar Rezaei, Jos L. M. Vranck...
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
13 years 12 months ago
Algorithms for Solving Boolean Satisfiability in Combinational Circuits
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
Luís Guerra e Silva, Luis Miguel Silveira, ...
AVSS
2003
IEEE
14 years 26 days ago
Color-Based Video Stabilization for Real-Time On-Board Object Detection on High-Speed Trains
This paper is concerned with a particular application of image stabilization1 . Image stabilization is a necessary step to reduce the effect of camera motion when, as in this case...
Stefano Piva, Michela Zara, Gianluca Gera, Carlo S...
SIGSOFT
2007
ACM
14 years 8 months ago
Parallel test generation and execution with Korat
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
Sasa Misailovic, Aleksandar Milicevic, Nemanja Pet...