1502 search results - page 95 / 301 » Computational Realizations of Living Systems |
134
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
Existing Byzantine-resilient replication protocols satisfy two standard correctness criteria, safety and liveness, in the presence of Byzantine faults. In practice, however, fault...
125
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
144
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
134
click to vote
ACII
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
138
click to vote
PPAM
2005
Springer
15 years 10 months ago
2005
Springer
We present a web computing library (PUBWCL) in Java that allows to execute tightly coupled, massively parallel algorithms in the bulk-synchronous (BSP) style on PCs distributed ove...