Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642015908, 9783642015915

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some Applications of Interval Arithmetic in Hierarchical Solid Modeling

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_8 ◽

2009 ◽

pp. 133-144

Author(s):

Eva Dyllong

Keyword(s):

Interval Arithmetic ◽

Solid Modeling

Download Full-text

Continued Fractions for Special Functions: Handbook and Software

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_3 ◽

2009 ◽

pp. 27-40

Author(s):

Annie Cuyt ◽

Franky Backeljauw ◽

Stefan Becuwe ◽

Michel Colman ◽

Tom Docx ◽

...

Keyword(s):

Continued Fractions ◽

Special Functions

Download Full-text

Mathematica Connectivity to Interval Libraries filib++ and C-XSC

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_7 ◽

2009 ◽

pp. 117-132 ◽

Cited By ~ 3

Author(s):

Evgenija D. Popova

Download Full-text

Numerical Verification Assessment in Computational Biomechanics

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_9 ◽

2009 ◽

pp. 145-160 ◽

Cited By ~ 3

Author(s):

Ekaterina Auer ◽

Wolfram Luther

Keyword(s):

Numerical Verification ◽

Computational Biomechanics

Download Full-text

Error-Free Transformation in Rounding Mode toward Zero

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_14 ◽

2009 ◽

pp. 217-229

Author(s):

Stef Graillat ◽

Jean-Luc Lamotte ◽

Diep Nguyen Hong

Download Full-text

Robustness of Boolean Operations on Subdivision-Surface Models

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_10 ◽

2009 ◽

pp. 161-174 ◽

Cited By ~ 2

Author(s):

Di Jiang ◽

Neil F. Stewart

Keyword(s):

Subdivision Surface ◽

Boolean Operations ◽

Surface Models

Download Full-text

Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_12 ◽

2009 ◽

pp. 189-202 ◽

Cited By ~ 1

Author(s):

Michel Kieffer

Keyword(s):

State Estimation ◽

Bounded Error ◽

Error Parameter

Download Full-text

Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_11 ◽

2009 ◽

pp. 175-188 ◽

Cited By ~ 3

Author(s):

Andreas Rauh ◽

Johanna Minisini ◽

Eberhard P. Hofer

Keyword(s):

Interval Arithmetic ◽

Computer Aided Design ◽

Control Engineering ◽

Computer Aided ◽

Aided Design

Download Full-text

A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_4 ◽

2009 ◽

pp. 41-67 ◽

Cited By ~ 9

Author(s):

Frithjof Blomquist ◽

Werner Hofschuster ◽

Walter Krämer

Download Full-text

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01591-5_1 ◽

2009 ◽

pp. 1-6 ◽

Cited By ~ 1

Author(s):

R. Baker Kearfott ◽

John Pryce ◽

Nathalie Revol

Keyword(s):

Interval Arithmetic

Download Full-text

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Some Applications of Interval Arithmetic in Hierarchical Solid Modeling

Continued Fractions for Special Functions: Handbook and Software

Mathematica Connectivity to Interval Libraries filib++ and C-XSC

Numerical Verification Assessment in Computational Biomechanics

Error-Free Transformation in Rounding Mode toward Zero

Robustness of Boolean Operations on Subdivision-Surface Models

Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors

Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering

A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021

Numerical Validation in Current Hardware Architectures - Lecture Notes in Computer Science
Latest Publications