352 search results - page 69 / 71 » Proof-Checking a Data Link Protocol |
ISVLSI
2002
IEEE
14 years 8 days ago
2002
IEEE
We propose a packet switched platform for single chip systems which scales well to an arbitrary number of processor like resources. The platform, which we call Network-on-Chip (NO...
LCN
2000
IEEE
13 years 11 months ago
2000
IEEE
Differentiated Services (DS) is currently the major approach discussed to provide network layer service differentiation in IP networks. However, the discussion mainly addresses ļ¬...
RTAS
1998
IEEE
13 years 11 months ago
1998
IEEE
RSVP is a bandwidth reservation protocol that allows distributed real-time applications such as video-conferencing software to make bandwidth reservations over packetswitched netw...
CLUSTER
2009
IEEE
13 years 10 months ago
2009
IEEE
āThe 64-bit OS provides ample memory address space that is beneļ¬cial for applications using a large amount of data. This paper proposes using a cluster as a memory resource for...
SEC
2003
13 years 8 months ago
2003
: The public telephone network has been evolving from manually switched wires carrying analog encoded voice of the 19th century to an automatically switched grid of copper-wired, f...