1338 search results - page 63 / 268 » Consistent Code Generation from UML Models |
99
Voted
CAV
2010
Springer
15 years 6 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...
135
Voted
CC
2006
Springer
15 years 6 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 ...
134
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
121
Voted
JBCB
2010
15 years 1 months ago
2010
: Scattering of neutrons and x-rays from molecules in solution offers alternative approaches to the studying of a wide range of macromolecular structures in their solution state w...
113
Voted
ER
2003
Springer
15 years 7 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...