17582 search results - page 2902 / 3517 » From Distributed Sequential Computing to Distributed Paralle... |
154
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
196
Voted
JSSPP
2007
Springer
16 years 1 months ago
2007
Springer
Heterogeneous clusters and grid infrastructures are becoming increasingly popular. In these computing infrastructures, machines have different resources, including memory sizes, d...
161
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
VoIP is one of the traditional application scenarios for Mobile Ad Hoc Networks (MANETs) in settings such as emergency response. Ideally, VoIP would be transparent to the network ...
191
click to vote
PPAM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an out-of-core sparse direct solver for unsymmetric linear systems. The solver factors the coefficient matrix A into A = PLU using Gaussian elimination with pa...
216
click to vote
CCGRID
2006
IEEE
16 years 1 months ago
2006
IEEE
One of the key requirement for Grid infrastructures is the ability to share resources with nontrivial qualities of service. However, resource management in a decentralized infrast...