703 search results - page 80 / 141 » Automatic Generation of Block-Recursive Codes |
103
click to vote
ARC
2010
Springer
15 years 3 days ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
87
Voted
VISSOFT
2005
IEEE
15 years 5 months ago
2005
IEEE
SAB is a tool for automatic generation of class diagrams from Java code. In addition to hierarchical layout, it features a wealth of user interaction facilities for dealing with c...
ECBS
1999
IEEE
15 years 4 months ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
105
Voted
ITP
2010
15 years 3 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
DAGSTUHL
2007
15 years 1 months ago
2007
The model-based transformation of loop programs is a way of detecting fine-grained parallelism in sequential programs. One of the challenges is to agglomerate the parallelism to a...