Sciweavers

10575 search results - page 111 / 2115

» Programming Languages

48

APLAS
2008
ACM

88views Programming Languages» more APLAS 2008»

A Sound Floating-Point Polyhedra Abstract Domain

14 years 12 months ago

A Sound Floating-Point Polyhedra Abstract Domain

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Patrick Cousot

claim paper

Read More »

59

APLAS
2008
ACM

104views Programming Languages» more APLAS 2008»

Harnessing the Multicores: Nested Data Parallelism in Haskell

14 years 12 months ago

Harnessing the Multicores: Nested Data Parallelism in Haskell

Download www.cse.unsw.edu.au

Simon L. Peyton Jones

claim paper

Read More »

56

ASPLOS
2008
ACM

114views Programming Languages» more ASPLOS 2008»

14 years 12 months ago

Download www.azulsystems.com

Cliff Click

claim paper

Read More »

65

ICALP
2010
Springer

117views Programming Languages» more ICALP 2010»

The Compositional Structure of Multipartite Quantum Entanglement

14 years 12 months ago

The Compositional Structure of Multipartite Quantum Entanglement

Download www.perimeterinstitute.ca

Bob Coecke, Aleks Kissinger

claim paper

Read More »

72

ICALP
2010
Springer

150views Programming Languages» more ICALP 2010»

Informative Labeling Schemes

14 years 12 months ago

Informative Labeling Schemes

Download www.cucse.org

Pierre Fraigniaud

claim paper

Read More »

« Prev « First page 111 / 2115 Last » Next »