Sciweavers

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