866 search results - page 138 / 174 » Dynamical evolution analysis of the object-oriented software... |
RV
2010
Springer
13 years 6 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
Tiny embedded systems have not been an ideal outfit for high performance computing due to their constrained resources. Limitations in processing power, battery life, communication ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
PASTE
2004
ACM
14 years 2 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
KBSE
2000
IEEE
14 years 1 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...