579 search results - page 35 / 116 » Constraint Validation in Model Compilers |
146
click to vote
TAP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
163
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
165
click to vote
MICRO
2007
IEEE
16 years 6 days ago
2007
IEEE
Recently, the microprocessor industry has moved toward chip multiprocessor (CMP) designs as a means of utilizing the increasing transistor counts in the face of physical and micro...
159
click to vote
MICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Until recently, a steadily rising clock rate and other uniprocessor microarchitectural improvements could be relied upon to consistently deliver increasing performance for a wide ...
184
click to vote
JMLR
2006
15 years 5 months ago
2006
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...