4867 search results - page 182 / 974 » Fluid Models in Performance Analysis |
169
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...
141
click to vote
DEBU
2008
15 years 6 months ago
2008
We present the SQL Performance Analyzer, a novel approach in Oracle Database 11g to testing database changes, such as upgrades, parameter changes, schema changes, and gathering op...
156
click to vote
QEST
2007
IEEE
16 years 13 days ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
175
click to vote
WSC
2004
15 years 7 months ago
2004
This paper presents the results of an effort to compare results of an experiment performed in both a virtual and a real environment. The research question addressed is if virtual ...
194
click to vote
SIGMETRICS
2005
ACM
15 years 11 months ago
2005
ACM
Wide-spread deployment of infrastructure WLANs has made Wi-Fi an integral part of today’s Internet access technology. Despite its crucial role in affecting end-to-end performan...