Sciweavers

31387 search results - page 331 / 6278

» Abstracting abstract machines

134

CORR
2010
Springer

134views Education» more CORR 2010»

Abstract Certification of Global Non-Interference in Rewriting Logic

15 years 6 months ago

Abstract Certification of Global Non-Interference in Rewriting Logic

Download users.dsic.upv.es

Mauricio Alba-Castro, María Alpuente, Santi...

claim paper

Read More »

115

CORR
2010
Springer

85views Education» more CORR 2010»

Vertex Sparsifiers and Abstract Rounding Algorithms

15 years 6 months ago

Vertex Sparsifiers and Abstract Rounding Algorithms

Download www.cs.princeton.edu

Moses Charikar, Tom Leighton, Shi Li, Ankur Moitra

claim paper

Read More »

159

CONSTRAINTS
2008

79views more CONSTRAINTS 2008»

Expressive power and abstraction in Essence

15 years 6 months ago

Expressive power and abstraction in Essence

Download www.cs.sfu.ca

David G. Mitchell, Eugenia Ternovska

claim paper

Read More »

169

CONSTRAINTS
2008

70views more CONSTRAINTS 2008»

Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling

15 years 6 months ago

Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling

Download www.crt.umontreal.ca

Alan M. Frisch, Ian Miguel

claim paper

Read More »

83

CORR
2010
Springer

96views Education» more CORR 2010»

Geometry of abstraction in quantum computation

15 years 6 months ago

Geometry of abstraction in quantum computation

Download www.comlab.ox.ac.uk

ion Dusko Pavlovic

Dusko Pavlovic

claim paper

Read More »

« Prev « First page 331 / 6278 Last » Next »