4604 search results - page 812 / 921 » Concurrency in Synchronous Systems |
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
PDP
2010
IEEE
14 years 2 months ago
2010
IEEE
- We present a parallel conjugate gradient solver for the Poisson problem optimized for multi-GPU platforms. Our approach includes a novel heuristic Poisson preconditioner well sui...
APSEC
2003
IEEE
14 years 2 months ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The scarcity of energetic resources in mobile computers is a very limiting factor. In this paper we propose a solution that tries to balance energy consumption and QoS requirement...
ICDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...