9842 search results - page 514 / 1969 » Compositional timing analysis |
180
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
1 Routers need buffers to store and forward packets, especially when there is network congestion. With current memory technology, neither the SRAM nor the DRAM alone is suitabl...
192
click to vote
ACISICIS
2005
IEEE
16 years 20 days ago
2005
IEEE
: This paper presents a queuing analysis model of a PC-based software router supporting IPv6-IPv4 translation for residential gateway. The proposed models are M/G/1/K or MMPP-2/G/1...
181
click to vote
MICRO
2005
IEEE
16 years 19 days ago
2005
IEEE
Clustered machines partition hardware resources to circumvent the cycle time penalties incurred by large, monolithic structures. This partitioning introduces a long inter-cluster ...
204
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
165
click to vote
ITC
1999
IEEE
15 years 11 months ago
1999
IEEE
Design diversity has long been used to protect redundant systems against common-mode failures. The conventional notion of diversity relies on "independent" generation of...