16725 search results - page 3148 / 3345 » Engineering Software Correctness |
107
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
116
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
136
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
165
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
130
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...