854 search results - page 106 / 171 » Addressing Dynamic Issues of Program Model Checking |
116
Voted
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
108
Voted
WSC
2004
15 years 3 months ago
2004
This paper describes an approach to real-time decisionmaking for quality of service based scheduling of distributed asynchronous data replication. The proposed approach addresses ...
114
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
139
click to vote
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Exponentially rising cooling/packaging costs due to high power density call for architectural and software-level thermal management. Dynamic thermal management (DTM) techniques co...
114
Voted
BPM
2007
Springer
15 years 8 months ago
2007
Springer
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...