Sciweavers

1618 search results - page 225 / 324
» Testing random number generators
Sort
View
IROS
2008
IEEE
113views Robotics» more  IROS 2008»
15 years 9 months ago
Navigating dynamic environments using trajectory deformation
Abstract— Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in resp...
Vivien Delsart, Thierry Fraichard
KBSE
2008
IEEE
15 years 9 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
GECCO
2007
Springer
167views Optimization» more  GECCO 2007»
15 years 9 months ago
Genetically designed heuristics for the bin packing problem
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
Oana Muntean
HICSS
2006
IEEE
118views Biometrics» more  HICSS 2006»
15 years 9 months ago
An Estimator of Propagation of Cascading Failure
— We suggest a statistical estimator to measure the extent to which failures propagate in cascading failures such as large blackouts. The estimator is tested on a saturating bran...
Ian Dobson, Kevin R. Wierzbicki, Benjamin A. Carre...
ATS
2003
IEEE
151views Hardware» more  ATS 2003»
15 years 8 months ago
BDD Based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...
Junhao Shi, Görschwin Fey, Rolf Drechsler