Sciweavers

10666 search results - page 129 / 2134

» Quantum programming languages

79

Voted

APLAS
2008
ACM

88views Programming Languages» more APLAS 2008»

A Sound Floating-Point Polyhedra Abstract Domain

15 years 5 months ago

A Sound Floating-Point Polyhedra Abstract Domain

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Patrick Cousot

claim paper

Read More »

95

Voted

APLAS
2008
ACM

104views Programming Languages» more APLAS 2008»

Harnessing the Multicores: Nested Data Parallelism in Haskell

15 years 5 months ago

Harnessing the Multicores: Nested Data Parallelism in Haskell

Download www.cse.unsw.edu.au

Simon L. Peyton Jones

claim paper

Read More »

92

ASPLOS
2008
ACM

114views Programming Languages» more ASPLOS 2008»

15 years 5 months ago

Download www.azulsystems.com

Cliff Click

claim paper

Read More »

114

ICALP
2010
Springer

150views Programming Languages» more ICALP 2010»

Informative Labeling Schemes

15 years 5 months ago

Informative Labeling Schemes

Download www.cucse.org

Pierre Fraigniaud

claim paper

Read More »

118

Voted

ECOOP
2008
Springer

103views Programming Languages» more ECOOP 2008»

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

15 years 5 months 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 »