Sciweavers

6704 search results - page 618 / 1341
» Testing Scenario-Based Models
Sort
View
EUROMICRO
2009
IEEE
15 years 11 months ago
Service Redundancy Strategies in Service-Oriented Architectures
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
Nicholas R. May, Heinz W. Schmidt, Ian E. Thomas
PATMOS
2000
Springer
15 years 10 months ago
Early Power Estimation for System-on-Chip Designs
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
Marcello Lajolo, Luciano Lavagno, Matteo Sonza Reo...
WSC
2008
15 years 9 months ago
Data enhancement, smoothing, reconstruction and optimization by kriging interpolation
The performance of Kriging interpolation for enhancement, smoothing, reconstruction and optimization of a test data set is investigated. Specifically, the ordinary twodimensional ...
Hasan Gunes, Hakki Ergun Cekli, Ulrich Rist
ISSTA
2010
ACM
15 years 9 months ago
Causal inference for statistical fault localization
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...
George K. Baah, Andy Podgurski, Mary Jean Harrold
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 8 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell