2000 search results - page 306 / 400 » Program Transformation and Proof Transformation |
127
Voted
DLS
2007
15 years 7 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...
154
Voted
FPL
2009
Springer
15 years 7 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...
137
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We derive a recursive general-radix pruned Cooley-Tukey fast Fourier transform (FFT) algorithm in Kronecker product notation. The algorithm is compatible with vectorization and pa...
111
Voted
AGILEDC
2004
IEEE
15 years 7 months ago
2004
IEEE
Agile processes such as XP (eXtreme Programming) have been recognised for their potential benefits of improving software. During adoption of the XP process, teams can misapply the...
128
Voted
CC
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...