Search Sciweavers | Sciweavers

21007 search results - page 461 / 4202

» Mobile Parallel Computing

174

click to vote

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 11 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

203

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

15 years 11 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

187

click to vote

VECPAR
2000
Springer

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

Large-Eddy Simulations of Turbulent Flows, from Desktop to Supercomputer

15 years 11 months ago

Download www.unc.edu

Ugo Piomelli, Alberto Scotti, Elias Balaras

claim paper

Read More »

164

click to vote

ICPP
1997
IEEE

94views Distributed And Parallel Com...» more ICPP 1997»

An Euler Path Based Technique for Deadlock-free Multicasting

15 years 11 months ago

Download www.cs.iit.edu

Nidhi Agrawal, C. P. Ravikumar

claim paper

Read More »

147

click to vote

HPCN
1995
Springer

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

Parallelisation of surface-related multiple elimination

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers