4998 search results - page 781 / 1000 » The case for intentional networking |
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
We consider cluster systems with multiple nodes where each server is prone to run tasks at a degraded level of service due to some software or hardware fault. The cluster serves t...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
GPC
2007
Springer
14 years 1 months ago
2007
Springer
The image of a license plate is scanned by the camera attached to a mobile PDA device and the numbers on the plate are detected by the image processing parts in the proposed Mobile...
ASPDAC
2004
ACM
14 years 28 days ago
2004
ACM
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...