86 search results - page 11 / 18 » Hardware Support for Interval Arithmetic |
ICCD
2007
IEEE
14 years 4 months ago
2007
IEEE
The IEEE P754 Draft Standard for Floating-point Arithmetic provides specifications for Decimal Floating-Point (DFP) formats and operations. Based on this standard, many developer...
WLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
—We characterize the metastability measurement system [8] in which asynchronous data input and sampling clock frequencies trigger metastability. We develop the equation describin...
CAV
2003
Springer
14 years 25 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
IISWC
2009
IEEE
14 years 2 months ago
2009
IEEE
PARSEC is a reference application suite used in industry and academia to assess new Chip Multiprocessor (CMP) designs. No investigation to date has profiled PARSEC on real hardwa...