Search Sciweavers | Sciweavers

3056 search results - page 63 / 612

» Compiling Embedded Languages

click to vote

ESTIMEDIA
2007
Springer

129views Multimedia» more ESTIMEDIA 2007»

Data-Parallel Code Generation from Synchronous Dataflow Specification of Multimedia Applications

14 years 2 months ago

Download peace.snu.ac.kr

Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...

Seongnam Kwon, Choonseung Lee, Soonhoi Ha

claim paper

Read More »

click to vote

IJWGS
2006

125views more IJWGS 2006»

Compiling business processes: untangling unstructured loops in irreducible flow graphs

13 years 8 months ago

Download students.cis.uab.edu

: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...

Wei Zhao, Rainer Hauser, Kamal Bhattacharya, Barre...

claim paper

Read More »

click to vote

ISOLA
2004
Springer

80views Formal Methods» more ISOLA 2004»

On the Correctness of Transformations in Compiler Back-Ends

14 years 1 months ago

Download i12www.ira.uka.de

This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Veriﬁx. Compiler back-ends transform intermediate la...

Wolf Zimmermann

claim paper

Read More »

click to vote

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

14 years 8 months ago

Download www.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »