3104 search results - page 3 / 621 » Using quantitative analysis to implement autonomic IT system... |
ICRA
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
DATE
2003
IEEE
14 years 22 days ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
ICIAR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...
ITSSA
2006
13 years 7 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...