Sciweavers

41650 search results - page 219 / 8330
» Distribution of
Sort
View
CONCUR
1997
Springer
15 years 9 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
ICPP
1996
IEEE
15 years 9 months ago
Portable Parallel Programming in HPC++
Peter H. Beckman, Dennis Gannon, Elizabeth Johnson