Sciweavers

28821 search results - page 543 / 5765
» Distributed and parallel systems
Sort
View
171
Voted
BANFF
1995
15 years 11 months ago
Specification Structures and Propositions-as-Types for Concurrency
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
178
Voted
SPAA
2000
ACM
15 years 11 months ago
Efficient on-line communication in cellular networks
Ioannis Caragiannis, Christos Kaklamanis, Evi Papa...
171
Voted
CONCUR
1995
Springer
15 years 11 months ago
Delayed choice for process algebra with abstraction
Pedro R. D'Argenio, Sjouke Mauw
VECPAR
2000
Springer
15 years 11 months ago
Large-Eddy Simulations of Turbulent Flows, from Desktop to Supercomputer
Ugo Piomelli, Alberto Scotti, Elias Balaras
164
Voted
ICPP
1997
IEEE
15 years 11 months ago
An Euler Path Based Technique for Deadlock-free Multicasting
Nidhi Agrawal, C. P. Ravikumar