2026 search results - page 241 / 406 » Tools for Test Case Generation |
138
click to vote
FMSD
2007
15 years 5 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
183
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
285
click to vote
TCAD
2011
14 years 12 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
135
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Estimation of distribution algorithms replace the typical crossover and mutation operators by constructing a probabilistic model and generating offspring according to this model....
138
click to vote
EOR
2002
15 years 5 months ago
2002
In multistage cutting stock problems (CSP) the cutting process is distributed over several successive stages. Every stage except the last one produces intermediate products. The l...