Search Sciweavers | Sciweavers

17582 search results - page 278 / 3517

» From Distributed Sequential Computing to Distributed Paralle...

144

click to vote

PVM
2000
Springer

88views Distributed And Parallel Com...» more PVM 2000»

Validation of Dimemas Communication Model for MPI Collective Operations

15 years 10 months ago

Download research.ac.upc.edu

Sergi Girona, Jesús Labarta, Rosa M. Badia

claim paper

Read More »

155

Voted

BANFF
1995

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

15 years 10 months ago

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

159

Voted

SPAA
2000
ACM

84views Distributed And Parallel Com...» more SPAA 2000»

Efficient on-line communication in cellular networks

15 years 10 months ago

Download www.ceid.upatras.gr

Ioannis Caragiannis, Christos Kaklamanis, Evi Papa...

claim paper

Read More »

174

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

15 years 10 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

129

Voted

HPCN
1995
Springer

98views Distributed And Parallel Com...» more HPCN 1995»

Parallelisation of surface-related multiple elimination

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers