1362 search results - page 263 / 273 » Model Checking Large Network Protocol Implementations |
138
click to vote
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
—Multicluster grids provide one promising solution to satisfying growing computation demands of compute-intensive applications by collaborating various networked clusters. Howeve...
147
click to vote
FPL
2005
Springer
15 years 9 months ago
2005
Springer
A parallel MPEG-4 Simple Profile encoder for FPGA based multiprocessor System-on-Chip (SOC) is presented. The goal is a computationally scalable framework independent of platform....
128
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
141
click to vote
ICPADS
2008
IEEE
15 years 10 months ago
2008
IEEE
The use of good random numbers is essential to the integrity of many mission-critical systems. However, when such systems are replicated for Byzantine fault tolerance, a serious i...
128
click to vote
GD
2005
Springer
15 years 9 months ago
2005
Springer
Clustered graph is a very useful model for drawing large and complex networks. This paper presents a new method for drawing clustered graphs in three dimensions. The method uses a ...