23 search results - page 5 / 5 » Formal Verification of Floating Point Trigonometric Function... |
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
ECOWS
2008
Springer
13 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...