Search Sciweavers | Sciweavers

31387 search results - page 306 / 6278

» Abstracts

146

click to vote

CORR
2010
Springer

146views Education» more CORR 2010»

Abstract Fixpoint Computations with Numerical Acceleration Methods

15 years 6 months ago

Download www.lix.polytechnique.fr

Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...

Olivier Bouissou, Yassamine Seladji, Alexandre Cha...

claim paper

Read More »

134

click to vote

CORR
2010
Springer

134views Education» more CORR 2010»

Abstract Certification of Global Non-Interference in Rewriting Logic

15 years 6 months ago

Download users.dsic.upv.es

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

claim paper

Read More »

114

click to vote

CORR
2010
Springer

85views Education» more CORR 2010»

Vertex Sparsifiers and Abstract Rounding Algorithms

15 years 6 months ago

Download www.cs.princeton.edu

Moses Charikar, Tom Leighton, Shi Li, Ankur Moitra

claim paper

Read More »

159

click to vote

CONSTRAINTS
2008

79views more CONSTRAINTS 2008»

Expressive power and abstraction in Essence

15 years 6 months ago

Download www.cs.sfu.ca

David G. Mitchell, Eugenia Ternovska

claim paper

Read More »

168

click to vote

CONSTRAINTS
2008

70views more CONSTRAINTS 2008»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers