3047 search results - page 413 / 610 » Randomized Parallel Selection |
157
click to vote
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
143
click to vote
ICPADS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes a scalable Web server array architecture which uses a caching policy called Probability Based Replacement (PBR) algorithm [5, 6]. The server array consists of...
137
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
To execute a shared memory program efficiently, we have to manage memory consistency with low overheads, and have to utilize communication bandwidth of the platform as much as pos...
122
Voted
EUROPAR
1998
Springer
15 years 7 months ago
1998
Springer
This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level interactive d...
152
Voted
EDOC
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper reports on applying the ODP enterprise viewpoint in the domain of tele-education. The work is conducted as part of a research activity1 that aims at designing a tele-ed...