900 search results - page 106 / 180 » A Tool-Supported Approach to Testing UML Design Models |
138
Voted
ICCD
2006
IEEE
16 years 18 days ago
2006
IEEE
Circuit activity is a function of input patterns. When circuit activity changes abruptly, it can cause sudden drop or rise in power supply voltage. This change is known as power d...
104
Voted
ICECCS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
124
Voted
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
Grid computing is becoming the natural way to aggregate and share large sets of heterogeneous resources. With the infrastructure becoming ready for the challenge, current grid dev...
137
Voted
INFORMATICALT
2002
15 years 3 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
114
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...