Search Sciweavers | Sciweavers

13752 search results - page 241 / 2751

» Parallel and Distributed Haskells

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 »

153

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 »

152

Voted

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers