Sciweavers

74 search results - page 5 / 15
» Interval Arithmetic Using SSE-2
Sort
View
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
13 years 6 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King
CAGD
2002
98views more  CAGD 2002»
13 years 7 months ago
Comparison of interval methods for plotting algebraic curves
This paper compares the performance and efficiency of different function range interval methods for plotting f(x, y) = 0 on a rectangular region based on a subdivision scheme, whe...
Ralph R. Martin, Huahao Shou, Irina Voiculescu, Ad...
DAGSTUHL
2008
13 years 9 months ago
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...
Frithjof Blomquist, Werner Hofschuster, Walter Kr&...
RC
2006
87views more  RC 2006»
13 years 7 months ago
Robust Control for Two-Time-Scale Discrete Interval Systems
The problem of designing robust controller for discrete two-time-scale interval systems, conveniently represented using interval matrix notion, is considered. The original full ord...
Balasaheb Patre, Bijnan Bandyopadhyay
DAGSTUHL
2008
13 years 9 months ago
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
Eva Dyllong