Sciweavers

341 search results - page 23 / 69
» Empirical estimates of software availability of deployed sys...
Sort
View
ICSE
2000
IEEE-ACM
13 years 11 months ago
Software engineering and performance: a road-map
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...
Rob Pooley
SEFM
2007
IEEE
14 years 1 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
SIGMOD
1996
ACM
109views Database» more  SIGMOD 1996»
13 years 11 months ago
Improved Histograms for Selectivity Estimation of Range Predicates
Many commercial database systems maintain histograms to summarize the contents of relations and permit efficient estimation of query result sizes and access plan costs. Although s...
Viswanath Poosala, Yannis E. Ioannidis, Peter J. H...
ASPLOS
2009
ACM
14 years 8 months ago
ASSURE: automatic software self-healing using rescue points
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nic...
CSMR
2006
IEEE
14 years 1 months ago
A Metric of Confidence in Requirements Gathered from Legacy Systems: Two Industrial Case Studies
It is known that well over 50% of replacement projects fail. Requirements gathering go someway to contributing to this statistic; if the requirements we gather for the new system ...
James Marchant, Christos Tjortjis, Michael Turega