799 search results - page 19 / 160 » Generating Reliable Code from Hybrid-Systems Models |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
CC
2006
Springer
15 years 1 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
ISNN
2007
Springer
15 years 3 months ago
2007
Springer
This paper investigates a mechanism for reliable generation of sparse code in a sparsely connected, hierarchical, learning memory. Activity reduction is accomplished with local com...
ISSRE
2010
IEEE
14 years 8 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...