33 search results - page 4 / 7 » Adjoint Folds and Unfolds |
JCDCG
2000
Springer
14 years 8 days ago
2000
Springer
ACL
2007
13 years 10 months ago
2007
CONCUR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
FCCM
2004
IEEE
14 years 13 days ago
2004
IEEE
ended abstract presents further results from the word-length optimization system Right-Size described at FCCM 2003. The system is used to quantify the compiletime specialization s...
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...