392 search results - page 14 / 79 » Modular Competitiveness for Distributed Algorithms |
RTS
2006
13 years 6 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
APN
2003
Springer
13 years 12 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
GECCO
2008
Springer
13 years 7 months ago
2008
Springer
Modularity and symmetry are two properties observed in almost every engineering and biological structure. The origin of these properties in nature is still unknown. Yet, as engine...
SPAA
2004
ACM
14 years 4 days ago
2004
ACM
Parallel disks provide a cost effective way of speeding up I/Os in applications that work with large amounts of data. The main challenge is to achieve as much parallelism as poss...
ASIACRYPT
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Stream ciphers play an important role in symmetric cryptology because of their suitability in high speed applications where block ciphers fall short. A large number of fa...