Sciweavers

5448 search results - page 21 / 1090
» Breakpoints and Time in Distributed Computations
Sort
View
IPPS
2000
IEEE
13 years 11 months ago
An Open Framework for Real-Time Scheduling Simulation
Thorsten Kramp, Matthias Adrian, Rainer Koster
CONCUR
1997
Springer
13 years 11 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan