Sciweavers

3972 search results - page 460 / 795
» Design of the iSCSI Protocol
Sort
View
182
Voted
SAMOS
2004
Springer
16 years 4 days ago
CoDeL: Automatically Synthesizing Network Interface Controllers
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos...
COMPSAC
2002
IEEE
15 years 11 months ago
The Architecture of a Dynamically Updatable, Component-Based System
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
Robert Pawel Bialek
DANCE
2002
IEEE
15 years 11 months ago
Janos: A Java-Oriented OS for Active Network Nodes
Janos is an operating system for active network nodes whose primary focus is strong resource management and control of untrusted active applications written in Java. Janos include...
Patrick Tullmann, Mike Hibler, Jay Lepreau
DATE
2002
IEEE
108views Hardware» more  DATE 2002»
15 years 11 months ago
Networks on Silicon: Combining Best-Effort and Guaranteed Services
We advocate a network on silicon (NOS) as a hardware architecture to implement communication between IP cores in future technologies, and as a software model in the form of a prot...
Kees G. W. Goossens, Paul Wielage, Ad M. G. Peeter...
GI
2001
Springer
15 years 11 months ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...