Sciweavers

4463 search results - page 103 / 893
» computing 2000
Sort
View
161
Voted
IPPS
2000
IEEE
15 years 12 months ago
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
Dominique Cansell, Dominique Méry, Christop...
IPPS
2000
IEEE
15 years 12 months ago
An Open Framework for Real-Time Scheduling Simulation
Thorsten Kramp, Matthias Adrian, Rainer Koster