Sciweavers

31387 search results - page 306 / 6278
» Abstracts
Sort
View
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 6 months ago
Abstract Fixpoint Computations with Numerical Acceleration Methods
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...
CORR
2010
Springer
134views Education» more  CORR 2010»
15 years 6 months ago
Abstract Certification of Global Non-Interference in Rewriting Logic
Mauricio Alba-Castro, María Alpuente, Santi...
CORR
2010
Springer
85views Education» more  CORR 2010»
15 years 6 months ago
Vertex Sparsifiers and Abstract Rounding Algorithms
Moses Charikar, Tom Leighton, Shi Li, Ankur Moitra
CONSTRAINTS
2008
79views more  CONSTRAINTS 2008»
15 years 6 months ago
Expressive power and abstraction in Essence
David G. Mitchell, Eugenia Ternovska