4491 search results - page 756 / 899 » Algorithm Engineering |
137
click to vote
EMSOFT
2003
Springer
15 years 11 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...
152
click to vote
EMSOFT
2003
Springer
15 years 11 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...
172
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
161
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
162
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...