2474 search results - page 58 / 495 » Solving Problems on Parallel Computers by Cellular Programmi... |
139
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
119
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
117
Voted
CP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
107
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
121
click to vote
WCNC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Cooperative communications exploit the spatial diversity inherent in multiuser system by allowing cooperation among users having a wide range of channel qualities. How to search...