443 search results - page 20 / 89 » Compensation-Aware Runtime Monitoring |
99
Voted
GLVLSI
2006
IEEE
15 years 6 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
111
Voted
HPDC
2003
IEEE
15 years 6 months ago
2003
IEEE
Monitoring the resources of distributed systems is essential to the successful deployment and execution of grid applications, particularly when such applications have welldefined...
106
Voted
USENIX
2000
15 years 2 months ago
2000
Optimally partitioning application and filesystem functionality within a cluster of clients and servers is a difficult problem due to dynamic variations in application behavior, r...
129
Voted
JCS
2008
15 years 22 days ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
92
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is...