DAGSTUHL 2008 | Sciweavers

32

click to vote

DAGSTUHL
2008

117views Software Engineering» more DAGSTUHL 2008»

Present and Future of Practical SAT Solving

14 years 1 months ago

Download www.swan.ac.uk

Oliver Kullmann

claim paper

Read More »

39

click to vote

DAGSTUHL
2008

118views Software Engineering» more DAGSTUHL 2008»

Constraint Satisfaction Problems with Infinite Templates

14 years 1 months ago

Download www.lix.polytechnique.fr

Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...

Manuel Bodirsky

claim paper

Read More »

18

click to vote

DAGSTUHL
2008

84views Software Engineering» more DAGSTUHL 2008»

Robustness and Randomness

14 years 1 months ago

Download drops.dagstuhl.de

Dominique Michelucci, Jean-Michel Moreau, Sebti Fo...

claim paper

Read More »

29

click to vote

DAGSTUHL
2008

114views Software Engineering» more DAGSTUHL 2008»

Interval Arithmetic Using SSE-2

14 years 1 months ago

Download www.brics.dk

ABSTRACT. We present an implementation of double precision interval arithmetic using the single-instruction-multiple-data SSE-2 instruction and register set extensions. The impleme...

Branimir Lambov

claim paper

Read More »

37

click to vote

DAGSTUHL
2008

102views Software Engineering» more DAGSTUHL 2008»

Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling

14 years 1 months ago

Download www.iro.umontreal.ca

An overall approach to the problem of error analysis in the context of solid modelling, analogous to the standard forward/backward error analysis of Numerical Analysis, was describ...

Neil F. Stewart, Malika Zidani

claim paper

Read More »

30

click to vote

DAGSTUHL
2008

94views Software Engineering» more DAGSTUHL 2008»

Real Algebraic Numbers: Complexity Analysis and Experimentation

14 years 1 months ago

Download cgi.di.uoa.gr

Abstract. We present algorithmic, complexity and implementation results concerning real root isolation of a polynomial of degree d, with integer coefficients of bit size , using S...

Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsig...

claim paper

Read More »

27

click to vote

DAGSTUHL
2008

101views Software Engineering» more DAGSTUHL 2008»

Interval Subroutine Library Mission

14 years 1 months ago

Download interval.louisiana.edu

We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific computing with routines using interval technique...

George F. Corliss, R. Baker Kearfott, Nedialko S. ...

claim paper

Read More »

19

click to vote

DAGSTUHL
2008

83views Software Engineering» more DAGSTUHL 2008»

Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format

14 years 1 months ago