345 search results - page 15 / 69 » Quantitative analysis of static models of processes |
ESE
2000
14 years 11 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
120
click to vote
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
Information networks are ubiquitous in many applications and analysis on such networks has attracted significant attention in the academic communities. One of the most important ...
137
click to vote
SIGMETRICS
1992
ACM
15 years 3 months ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
— As technology scales into the sub-90nm domain, manufacturing variations become an increasingly significant portion of circuit delay. As a result, delays must be modeled as sta...