4759 search results - page 535 / 952 » Parallelizing the Phylogeny Problem |
151
click to vote
SKG
2005
IEEE
16 years 11 days ago
2005
IEEE
Currently most centralized RDF storage and query architectures have problems in query performance and scalability. In this paper we present a distributed RDF query architecture to ...
188
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
136
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
206
Voted
FMCO
2005
Springer
16 years 9 days 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...
191
click to vote
GCC
2005
Springer
16 years 9 days ago
2005
Springer
Metadata is the information that describes the most important feature of an object. In recent years, metadata plays a more and more important role in data intensive applications. I...