4469 search results - page 633 / 894 » Dynamic Program Slicing |
254
click to vote
FAABS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
165
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
144
click to vote
ISMIR
2004
Springer
16 years 1 days ago
2004
Springer
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
175
click to vote
RISE
2004
Springer
16 years 12 hour ago
2004
Springer
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...
156
click to vote
SWAT
2004
Springer
16 years 9 hour ago
2004
Springer
We consider delay management in railway systems. Given delayed trains, we want to find a waiting policy for the connecting trains minimizing the weighted total passenger delay. If...