Sciweavers

5263 search results - page 90 / 1053
» Open Constraint Optimization
Sort
View
107
Voted
PTS
2010
147views Hardware» more  PTS 2010»
15 years 1 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
164
Voted
ICCAD
2009
IEEE
198views Hardware» more  ICCAD 2009»
15 years 1 months ago
Battery allocation for wireless sensor network lifetime maximization under cost constraints
Wireless sensor networks hold the potential to open new domains to distributed data acquisition. However, such networks are prone to premature failure because some nodes deplete t...
Hengyu Long, Yongpan Liu, Yiqun Wang, Robert P. Di...
148
Voted
CORR
2012
Springer
188views Education» more  CORR 2012»
13 years 11 months ago
A Logical Characterization of Constraint-Based Causal Discovery
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...
Tom Claassen, Tom Heskes
IPPS
2007
IEEE
15 years 9 months ago
A Comprehensive Analysis of OpenMP Applications on Dual-Core Intel Xeon SMPs
Hybrid chip multithreaded SMPs present new challenges as well as new opportunities to maximize performance. Our intention is to discover the optimal operating configuration of suc...
Ryan E. Grant, Ahmad Afsahi
121
Voted
GECCO
2007
Springer
167views Optimization» more  GECCO 2007»
15 years 9 months ago
Evolution of adult male oral tract shapes for close and open vowels
In this paper, we describe an experiment to evolve oral tract (mouth) shapes for a set of vowels for two adult males. Target vowels were recorded in an acoustically anechoic room ...
David M. Howard, Andy M. Tyrrell, Crispin H. V. Co...