18 search results - page 4 / 4 » Coinductive Formal Reasoning in Exact Real Arithmetic |
BIRTHDAY
2009
Springer
13 years 4 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
TSMC
2010
13 years 1 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
EMSOFT
2007
Springer
14 years 14 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...