1878 search results - page 88 / 376 » Efficient Performance Models in Component-Based Software Eng... |
138
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
132
click to vote
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
113
click to vote
EUROMICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
101
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
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...
128
click to vote
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...