Search Sciweavers | Sciweavers

1145 search results - page 14 / 229

» The Correctness of an Optimized Code Generation

click to vote

ISSS
1995
IEEE

100views Hardware» more ISSS 1995»

Optimal code generation for embedded memory non-homogeneous register architectures

13 years 11 months ago

Download delivery.acm.org

This paper examines the problem of code-generation for expression trees on non-homogeneous register set architectures. It proposes and proves the optimality of an O(n) algorithm f...

Guido Araujo, Sharad Malik

claim paper

Read More »

click to vote

ISCAS
1999
IEEE

132views Hardware» more ISCAS 1999»

Dynamic trellis diagrams for optimized DSP code generation

13 years 11 months ago

Download froehli.ch

In this paper, we present the application of dynamic trellis diagrams (DTDs) to automatic translation of data flow graphs (DFGs) into highly optimized programs for digital signal ...

Stefan Fröhlich, Martin Gotschlich, Udo Krebe...

claim paper

Read More »

click to vote

PST
2008

102views Security Privacy» more PST 2008»

Encoding the Program Correctness Proofs as Programs in PCC Technology

13 years 9 months ago

Download users.encs.concordia.ca

One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...

Heidar Pirzadeh, Danny Dubé

claim paper

Read More »

click to vote

DATE
2005
IEEE

169views Hardware» more DATE 2005»

Optimized Generation of Data-Path from C Codes for FPGAs

14 years 1 months ago