2520 search results - page 373 / 504 » Model-checking behavioral programs |
ICDCSW
2008
IEEE
14 years 4 months ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
AHS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we present a new approach for automatic synthesis of fault detection modules for autonomous mobile robots. The method relies on the fact that hardware faults typica...
IEEEPACT
2007
IEEE
14 years 4 months ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
IPCCC
2007
IEEE
14 years 4 months ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
EUROGP
2007
Springer
14 years 4 months ago
2007
Springer
A Genetic Programming based boosting ensemble method for the classification of distributed streaming data is proposed. The approach handles flows of data coming from multiple loc...