10213 search results - page 151 / 2043 » An Experimental Analysis of Parallel |
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...
BMCBI
2005
13 years 7 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
ACSW
2004
13 years 9 months ago
2004
Parallel corpus is a rich linguistic resource for various multilingual text management tasks, including crosslingual text retrieval, multilingual computational linguistics and mul...
HIPC
2009
Springer
13 years 5 months ago
2009
Springer
Traditional performance analysis techniques are performed after a parallel program has completed. In this paper, we describe an online method for continuously monitoring the perfor...