Sciweavers

200 search results - page 14 / 40
» A Global Algorithm for Model-Based Test Suite Generation
Sort
View
ICANNGA
2009
Springer
163views Algorithms» more  ICANNGA 2009»
15 years 1 months ago
Elitistic Evolution: An Efficient Heuristic for Global Optimization
A new evolutionary algorithm, Elitistic Evolution (termed EEv), is proposed in this paper. EEv is an evolutionary method for numerical optimization with adaptive behavior. EEv uses...
Francisco Viveros Jiménez, Efrén Mez...
KBSE
2005
IEEE
15 years 3 months ago
Automatic test factoring for java
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...
David Saff, Shay Artzi, Jeff H. Perkins, Michael D...
ICIP
2004
IEEE
15 years 11 months ago
Unsupervised motion detection using a markovian temporal model with global spatial constraints
In this work, we propose an unsupervised Bayesian model for the detection of moving objects from dynamic scenes. This unsupervised solution is a three-step approach that uses a st...
Pierre-Marc Jodoin, Max Mignotte
FORTE
1997
14 years 10 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
ISLPED
2010
ACM
183views Hardware» more  ISLPED 2010»
14 years 9 months ago
A pareto-algebraic framework for signal power optimization in global routing
This paper proposes a framework for (signal) interconnect power optimization at the global routing stage. In a typical design flow, the primary objective of global routing is mini...
Hamid Shojaei, Tai-Hsuan Wu, Azadeh Davoodi, Twan ...