Search Sciweavers | Sciweavers

41650 search results - page 245 / 8330

» Distribution of

146

click to vote

BANFF
1995

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

Specification Structures and Propositions-as-Types for Concurrency

15 years 9 months ago

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

147

click to vote

SPAA
2000
ACM

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

Efficient on-line communication in cellular networks

15 years 9 months ago

Download www.ceid.upatras.gr

Ioannis Caragiannis, Christos Kaklamanis, Evi Papa...

claim paper

Read More »

143

click to vote

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 9 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

163

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

15 years 9 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

142

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers