2468 search results - page 469 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
150
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...
149
click to vote
ICPPW
2009
IEEE
15 years 26 days ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...
160
click to vote
AOSD
2003
ACM
15 years 8 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
147
click to vote
TROB
2010
15 years 1 months ago
2010
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...
126
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract: Existing multicore systems already provide deep levels of thread parallelism. Hybrid programming models and composability of parallel libraries are very active areas of r...