2661 search results - page 150 / 533 » Model Checking Performability Properties |
263
click to vote
DSN
2008
IEEE
16 years 27 days ago
2008
IEEE
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
192
click to vote
COMCOM
2004
15 years 6 months ago
2004
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
150
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
The necklace hypercube has recently been introduced as an attractive alternative to the well-known hypercube. Previous research on this network topology has mainly focused on topo...
165
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
As the operating frequency increases to Giga Hertz and the rise time of a signal is less than or comparable to the time-of-flight delay of a line, it is necessary to consider the...
226
click to vote
DAMON
2008
Springer
15 years 8 months ago
2008
Springer
NAND flash memory is fast becoming popular as a component of large scale storage devices. For workloads requiring many random I/Os, flash devices can provide two orders of magnitu...