11561 search results - page 309 / 2313 » Open Distributed Processing |
183
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many analyses of microarray association studies involve permutation, bootstrap resampling and crossvalidation, that are ideally formulated as embarrassingly parallel c...
187
click to vote
JUCS
2006
15 years 6 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
206
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper discusses a system in which multi-view images are captured and encoded in a distributed fashion and a viewer synthesizes a novel view from this data. We developed an ef...
161
click to vote
KBS
2002
15 years 6 months ago
2002
Cognitive cooperation is often neglected in current team software development processes. This issue becomes more important than ever when team members are globally distributed. Th...