3515 search results - page 125 / 703 » Resource usage analysis |
174
click to vote
LCN
2005
IEEE
15 years 12 months ago
2005
IEEE
— We describe an algorithm to estimate the future cell throughput of a multi-rate broadband wireless network based on previous measurements. The total throughput of a cell depend...
158
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...
168
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
In this paper, we present methods of information visualization that applies to the discovery of patterns in World-Wide Web sites. We hope to use techniques of information visualiz...
177
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
176
click to vote
HM
2007
Springer
16 years 16 days ago
2007
Springer
This paper proposes a local search algorithm that makes use of a complex neighborhood relation based on a hybridization with a constructive heuristics for the classical resource-co...