5015 search results - page 260 / 1003 » Model Checking a Path |
171
click to vote
ICNP
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— We address the problem of identifying high throughput paths in 802.11 wireless mesh networks. We introduce an analytical model that accurately captures the 802.11 MAC p...
173
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code that is to be executed on modern processors is a highly complex task. First, it involves path analysis, to i...
174
click to vote
ITC
2000
IEEE
15 years 11 months ago
2000
IEEE
Transient Signal Analysis (TSA) is a Go/No-Go device testing method that is based on the analysis of voltage transients at multiple test points. In this paper, a technique based o...
172
click to vote
CLUSTER
2004
IEEE
15 years 6 months ago
2004
IEEE
The efficient use of network capacity in shared restoration schemes strongly depends upon the path selection procedure. In this paper we propose and evaluate path selection algorit...
196
click to vote
MEMOCODE
2007
IEEE
16 years 22 days ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...