Sciweavers

3584 search results - page 361 / 717
» Parallel Computing of Thermoelasticity Problems
Sort
View
170
Voted
PDP
2005
IEEE
16 years 9 days ago
Distributed Local Resolution of Boolean Equation Systems
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
Christophe Joubert, Radu Mateescu
PODC
2005
ACM
16 years 9 days ago
On reliable broadcast in a radio network
— We consider the problem of reliable broadcast in an infinite grid (or finite toroidal) radio network under Byzantine and crash-stop failures. We present bounds on the maximum...
Vartika Bhandari, Nitin H. Vaidya
COORDINATION
2005
Springer
16 years 8 days ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà
COORDINATION
2005
Springer
16 years 8 days ago
Coordination with Multicapabilities
In the context of open distributed systems, the ability to coordinate the agents coupled with the possibility to control the actions they perform is important. As open systems nee...
Nur Izura Udzir, Alan M. Wood, Jeremy L. Jacob
167
Voted
EGC
2005
Springer
16 years 8 days ago
The Design and Implementation of the KOALA Co-allocating Grid Scheduler
In multicluster systems, and more generally, in grids, jobs may require co-allocation, i.e., the simultaneous allocation of resources such as processors and input files in multipl...
Hashim H. Mohamed, Dick H. J. Epema