1426 search results - page 141 / 286 » Broadcasting on networks of workstations |
196
click to vote
FMCO
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
189
click to vote
HPCC
2005
Springer
16 years 17 hour ago
2005
Springer
Structured data represented in the form of graphs arises in several fields of the science and the growing amount of available data makes distributed graph mining techniques partic...
166
click to vote
PADS
2004
ACM
15 years 12 months ago
2004
ACM
: Time warp is a well-known optimistic mechanism for parallel execution of simulation programs. Implementing time warp using a connection-oriented communication approach is propose...
135
click to vote
MATA
2004
Springer
15 years 12 months ago
2004
Springer
This project focuses on the implementation of a framework for mobile agents support within a grid environment project, namely InteGrade. Our goal is to present a framework where ti...
146
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...