2608 search results - page 70 / 522 » Subjects, Models, Languages, Transformations |
159
Voted
SIGADA
2007
Springer
15 years 10 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
137
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
151
click to vote
DSL
2009
15 years 2 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
123
Voted
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Nonlinear registration is mostly performed after initialization by a global, linear transformation (in this work, we focus on similarity transformations), computed by a linear reg...
146
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...