443 search results - page 24 / 89 » Compensation-Aware Runtime Monitoring |
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
MPI has emerged as a popular way to write architecture
85
Voted
RV
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
102
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
113
Voted
COMAD
2008
15 years 2 months ago
2008
In data stream processing systems, Quality of Service (or QoS) requirements, as specified by users, are extremely important. Unlike in a database management system (DBMS), a query...
96
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
Design-time decisions can often only cover certain scenarios and fail in efficiency when hard-to-predict system scenarios occur. This drives the development of run-time adaptive s...