Sciweavers

1133 search results - page 119 / 227
» Compiling for Speculative Architectures
Sort
View
146
Voted
MBEES
2010
15 years 5 months ago
Towards Architectural Programming of Embedded Systems
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
DAC
1998
ACM
16 years 5 months ago
Software Synthesis of Process-Based Concurrent Programs
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
Bill Lin
DAC
2003
ACM
16 years 5 months ago
Compiler-generated communication for pipelined FPGA applications
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
Heidi E. Ziegler, Mary W. Hall, Pedro C. Diniz
POPL
2007
ACM
16 years 4 months ago
Data parallel Haskell: a status report
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simo...
PPAM
2007
Springer
15 years 10 months ago
A Container-Iterator Parallel Programming Model
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speciļ¬...
Gerhard W. Zumbusch