1675 search results - page 31 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
110
click to vote
WSC
1998
15 years 4 months ago
1998
Heuristics are an increasingly popular solution method for combinatorial optimization problems. Heuristic use often frees the modeler from some of the restrictions placed on class...
145
click to vote
HIPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
119
click to vote
SIMUTOOLS
2008
15 years 4 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
128
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. A new approach to develop parallel and distributed scheduling algorithms for multiprocessor systems is proposed. Its main innovation lies in evolving a decomposition of t...
120
Voted
ICDCS
1990
IEEE
15 years 7 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...