1882 search results - page 290 / 377 » Transformational Programming and Forests |
157
Voted
LCPC
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. Loop fusion is a program transformation that merges multiple loops into one. It is e ective for reducing the synchronization overhead of parallel loops and for improving ...
153
click to vote
ICS
1992
Tsinghua U.
15 years 9 months ago
1992
Tsinghua U.
Previous research has used program transformation to introduce parallelism and to exploit data locality. Unfortunately,these twoobjectives have usuallybeen considered independentl...
138
click to vote
DLS
2007
15 years 9 months ago
2007
This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...
159
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
168
click to vote
FPL
2009
Springer
15 years 8 months ago
2009
Springer
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...