3584 search results - page 361 / 717 » Parallel Computing of Thermoelasticity Problems |
127
click to vote
PDP
2005
IEEE
15 years 9 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
111
click to vote
PODC
2005
ACM
15 years 9 months ago
2005
ACM
— 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...
119
Voted
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
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 ...
128
Voted
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
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...
117
Voted
EGC
2005
Springer
15 years 9 months ago
2005
Springer
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...