Sciweavers

5832 search results - page 227 / 1167
» Software complexity and maintainability
Sort
View
WSC
2007
15 years 6 months ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
WSC
1994
15 years 5 months ago
Inside simulation software: how it works and why it matters
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
Thomas J. Schriber, Daniel T. Brunner
FORMATS
2010
Springer
15 years 2 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
DDECS
2008
IEEE
184views Hardware» more  DDECS 2008»
15 years 11 months ago
Software-Based Self-Test Strategy for Data Cache Memories Embedded in SoCs
— Testing SoC is a challenging task, especially when addressing complex and highfrequency devices. Among the different techniques that can be exploited, Software-Based Selft-Test...
Wilson J. Perez, Jaime Velasco-Medina, Danilo Ravo...
SAC
2006
ACM
15 years 10 months ago
Simplifying transformation of software architecture constraints
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...
Chouki Tibermacine, Régis Fleurquin, Salah ...