Sciweavers

10666 search results - page 129 / 2134

» Quantum programming languages

22

APLAS
2008
ACM

88views Programming Languages» more APLAS 2008»

A Sound Floating-Point Polyhedra Abstract Domain

14 years 8 days ago

A Sound Floating-Point Polyhedra Abstract Domain

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Patrick Cousot

claim paper

Read More »

26

APLAS
2008
ACM

104views Programming Languages» more APLAS 2008»

Harnessing the Multicores: Nested Data Parallelism in Haskell

14 years 8 days ago

Harnessing the Multicores: Nested Data Parallelism in Haskell

Download www.cse.unsw.edu.au

Simon L. Peyton Jones

claim paper

Read More »

20

ASPLOS
2008
ACM

114views Programming Languages» more ASPLOS 2008»

14 years 8 days ago

Download www.azulsystems.com

Cliff Click

claim paper

Read More »

29

ICALP
2010
Springer

150views Programming Languages» more ICALP 2010»

Informative Labeling Schemes

14 years 8 days ago

Informative Labeling Schemes

Download www.cucse.org

Pierre Fraigniaud

claim paper

Read More »

26

ECOOP
2008
Springer

103views Programming Languages» more ECOOP 2008»

MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments

14 years 1 days ago

MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments

Download www.cs.ucsb.edu

Sunil Soman, Chandra Krintz, Laurent Daynès

claim paper

Read More »

« Prev « First page 129 / 2134 Last » Next »