Sciweavers

23557 search results - page 339 / 4712
» Distributed Computing - Introduction
Sort
View
109
Voted
CONCUR
1997
Springer
15 years 7 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
109
Voted
COORDINATION
1997
Springer
15 years 7 months ago
Modeling Railway Control Systems Using Graph Grammars: A Case Study
A. A. Holzbacher, M. Périn, Mario Südh...
77
Voted
ICPP
1996
IEEE
15 years 7 months ago
Portable Parallel Programming in HPC++
Peter H. Beckman, Dennis Gannon, Elizabeth Johnson