Search Sciweavers | Sciweavers

3056 search results - page 87 / 612

» Compiling Embedded Languages

click to vote

ENTCS
2007

130views more ENTCS 2007»

Specify, Compile, Run: Hardware from PSL

13 years 8 months ago

Download www.doc.ic.ac.uk

We propose to use a formal speciﬁcation language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...

Roderick Bloem, Stefan Galler, Barbara Jobstmann, ...

claim paper

Read More »

click to vote

ICFP
2001
ACM

163views Programming Languages» more ICFP 2001»

Contification Using Dominators

14 years 8 months ago

Download www.cs.purdue.edu

Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...

Matthew Fluet, Stephen Weeks

claim paper

Read More »

click to vote

MICRO
1996
IEEE

106views Hardware» more MICRO 1996»

Optimization of Machine Descriptions for Efficient Use

14 years 10 days ago

Download www.cs.princeton.edu

A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...

John C. Gyllenhaal, Wen-mei W. Hwu, B. Ramakrishna...

claim paper

Read More »

click to vote

ASPLOS
2006
ACM

83views Programming Languages» more ASPLOS 2006»

Mapping esterel onto a multi-threaded embedded processor

13 years 12 months ago

Download rtsys.informatik.uni-kiel.de

Xin Li, Marian Boldt, Reinhard von Hanxleden

claim paper

Read More »