Sciweavers

16159 search results - page 340 / 3232
» Parallel computing with CUDA
Sort
View
CONCUR
1997
Springer
15 years 11 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan