3667 search results - page 520 / 734 » Software Rejuvenation - Modeling and Analysis |
102
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
130
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes our procedure and a software application for conducting large parameter sweep experiments in genetic and evolutionary computation research. Both procedure and...
129
Voted
RE
2005
Springer
15 years 9 months ago
2005
Springer
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
115
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
124
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...