Sciweavers

2725 search results - page 38 / 545
» Constraint Solving for Interpolation
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...
64
Voted
CORR
2010
Springer
53views Education» more  CORR 2010»
15 years 28 days ago
Distributed Work Stealing for Constraint Solving
Vasco Pedro, Salvador Abreu
132
Voted
ICTAI
2010
IEEE
15 years 25 days ago
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
The abstract goes here.
Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato
77
Voted
IJIPM
2010
56views more  IJIPM 2010»
15 years 24 days ago
Trustworthy Dynamic Scheduling based on Constraint Solving Scheme
Juyang Zhang, Yixiang Chen
154
Voted
DAGSTUHL
1997
15 years 4 months ago
Scattered Data Techniques for Surfaces
This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...
Suresh K. Lodha, Richard Franke