166 search results - page 24 / 34 » Timed Behavior Trees and Their Application to Verifying Real... |
EMSOFT
2006
Springer
13 years 10 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
RTCSA
2007
IEEE
14 years 2 months ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
RTAS
2002
IEEE
14 years 1 months ago
2002
IEEE
End-to-end predictability of operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufactu...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
ICCAD
1995
IEEE
14 years 4 days ago
1995
IEEE
In this paper we investigate activity-driven clock trees to reduce the dynamic power consumption of synchronous digital CMOS circuits. Sections of an activity-driven clock tree ca...