2482 search results - page 394 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...
ICDCSW
2008
IEEE
14 years 2 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...
CC
2007
Springer
14 years 2 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Code size and energy consumption are critical design concerns for embedded processors as they determine the cost of the overall system. Techniques such as reduced length instructi...