Sciweavers

16159 search results - page 363 / 3232
» Parallel computing with CUDA
Sort
View
BANFF
1995
15 years 10 months ago
Specification Structures and Propositions-as-Types for Concurrency
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
SPAA
2000
ACM
15 years 10 months ago
Efficient on-line communication in cellular networks
Ioannis Caragiannis, Christos Kaklamanis, Evi Papa...
154
Voted
CONCUR
1995
Springer
15 years 10 months ago
Delayed choice for process algebra with abstraction
Pedro R. D'Argenio, Sjouke Mauw