Sciweavers

17582 search results - page 157 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
IPPS
2003
IEEE
15 years 8 months ago
Distributed Geo-Rectification of Satellite Images Using Grid Computing
Yong Meng Teo, Sok Chay Low, Seng Chuan Tay, Johan...
ICPP
1994
IEEE
15 years 7 months ago
On the Fly Testing of Regular Patterns in Distributed Computations
Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alex...
PODC
2012
ACM
13 years 5 months ago
Weak models of distributed computing, with connections to modal logic
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
Lauri Hella, Matti Järvisalo, Antti Kuusisto,...
TCS
2008
15 years 2 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
ISSAC
2009
Springer
155views Mathematics» more  ISSAC 2009»
15 years 9 months ago
Parallel sparse polynomial multiplication using heaps
We present a high performance algorithm for multiplying sparse distributed polynomials using a multicore processor. Each core uses a heap of pointers to multiply parts of the poly...
Michael B. Monagan, Roman Pearce