Search Sciweavers | Sciweavers

10575 search results - page 384 / 2115

» Programming Languages

149

click to vote

PLPV
2009
ACM

101views Programming Languages» more PLPV 2009»

Type invariants for Haskell

16 years 3 months ago

Download www.cs.kuleuven.be

Haskell’s multi-parameter type classes, together with functional dependencies, allow the speciﬁcation of complex type-level opera

Tom Schrijvers, Louis-Julien Guillemette, Stefan M...

claim paper

Read More »

173

click to vote

TOOLS
2009
IEEE

150views Programming Languages» more TOOLS 2009»

Fast Simulation Techniques for Design Space Exploration

16 years 1 months ago

Download www.mdd4dres.info

— In this paper, we present our current work on a UML based environment providing efﬁcient means for system

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet

claim paper

Read More »

120

click to vote

ASPLOS
2006
ACM

85views Programming Languages» more ASPLOS 2006»

Log-based architectures for general-purpose monitoring of deployed code

16 years 22 days ago

Download www.ece.cmu.edu

Shimin Chen, Babak Falsafi, Phillip B. Gibbons, Mi...

claim paper

Read More »

144

click to vote

ASPLOS
2006
ACM

100views Programming Languages» more ASPLOS 2006»

PicoServer: using 3D stacking technology to enable a compact energy efficient chip multiprocessor

16 years 22 days ago

Download www.eecs.umich.edu

Taeho Kgil, Shaun D'Souza, Ali G. Saidi, Nathan L....

claim paper

Read More »

123

click to vote

PLDI
2005
ACM

70views Programming Languages» more PLDI 2005»

Optimising aspectJ

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers