9110 search results - page 188 / 1822 » Formally-Based Design Evaluation |
178
click to vote
ISPASS
2003
IEEE
15 years 11 months ago
2003
IEEE
Power-performance optimization is a relatively new problem area particularly in the context of server clusters. Poweraware request distribution is a method of scheduling service r...
170
click to vote
CPE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
153
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
225
click to vote
ICCCN
1998
IEEE
15 years 10 months ago
1998
IEEE
We evaluate several routing protocols for mobile, wireless, ad hoc networks via packet level simulations. The protocol suite includes routing protocols specifically designed for a...
168
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper develops and validates an analytical model for evaluating various types of architectural alternatives for shared-memory systems with processors that aggressively exploi...