Search Sciweavers | Sciweavers

41650 search results - page 245 / 8330

» Distribution of

152

click to vote

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 »

157

click to vote

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 »

150

click to vote

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 »

172

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 »

148

click to vote

VECPAR
2000
Springer

99views Distributed And Parallel Com...» more VECPAR 2000»

Parallel Branch-and-Bound for Chemical Engineering Applications: Load Balancing and Scheduling Issues

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers