5536 search results - page 823 / 1108 » Programming Languages for Distributed Applications |
IPPS
1994
IEEE
15 years 5 months ago
1994
IEEE
Many algorithms to schedule DAGs on multiprocessors have been proposed, but there has been little work done to determine their effectiveness. Since multi-processor scheduling is a...
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
112
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
113
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
108
click to vote
HPDC
1995
IEEE
15 years 5 months ago
1995
IEEE
New file systems are critical to obtain good I/O performance on large multiprocessors. Several researchers have suggested the use of collective file-system operations, in which ...