386 search results - page 60 / 78 » A tool for average and worst-case execution time analysis |
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
When query optimizers erroneously assume that database columns are statistically independent, they can underestimate the selectivities of conjunctive predicates by orders of magni...
ESEC
1995
Springer
13 years 11 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
TCS
2002
13 years 7 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Java performance is far from being trivial to benchmark because it is affected by various factors such as the Java application, its input, the virtual machine, the garbage collect...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...