Search Sciweavers | Sciweavers

61 search results - page 7 / 13

» Introduction to ACM TIST

click to vote

SIGCSE
1997
ACM

137views Education» more SIGCSE 1997»

Compiling: a high-level introduction using Scheme

15 years 2 months ago

Download www.cs.indiana.edu

Christopher T. Haynes

claim paper

Read More »

click to vote

DAC
2001
ACM

121views Computer Architecture» more DAC 2001»

MetaCores: Design and Optimization Techniques

15 years 11 months ago

Download www.cs.ucla.edu

Currently, hardware intellectual property (IP) is delivered at vels of abstraction: hard, firm, and soft. In order to further enhance performance, efficiency, and flexibility of I...

Seapahn Meguerdichian, Farinaz Koushanfar, Advait ...

claim paper

Read More »

click to vote

ICFP
2000
ACM

113views Programming Languages» more ICFP 2000»

Intersection types and computational effects

15 years 2 months ago

Download www.cs.cmu.edu

We show that standard formulations of intersection type systems are unsound in the presence of computational eﬀects, and propose a solution similar to the value restriction for ...

Rowan Davies, Frank Pfenning

claim paper

Read More »

112

click to vote

SIGCSE
1998
ACM

364views Education» more SIGCSE 1998»

Multithreaded programming in an introduction to operating systems course

15 years 2 months ago