14244 search results - page 603 / 2849 » Modeling Program Predictability |
141
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
184
click to vote
EUROGP
2010
Springer
15 years 11 months ago
2010
Springer
We describe a data mining framework that derives panelist information from sparse flavour survey data. One component of the framework executes genetic programming ensemble based s...
177
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
182
click to vote
JSA
2000
15 years 6 months ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...
208
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...