Jump to main content

yr 〜
yr

Search results 31

Computer arithmetic

Computer arithmetic
Paper図書
editor, Earl E Swartzlander.World Scientific[2015]<M159-D3>
National Diet Library
  • Subject HeadingComputer programming. Floating-point arithmetic. Computer arithmet...

ΔΣ ADC Linearity Testing Technology and Floating-Point Arithmetic Algorithms with Taylor-Series Expansion

ΔΣ ADC Linearity Testing Technology and Floating-Point Arithmetic Algorithms with Taylor-Series Expansion
Digital博士論文障害者向け資料あり
魏, 江林2022-03-23
National Diet Library
  • Subject HeadingΔΣADC Linearity Testing Floating-point Arithmetic Taylor-Series Expa...

Formal verification of floating-point hardware design : a mathematical approach : [hardback] 2nd ed

Formal verification of floating-point hardware design : a mathematical approach : [hardback] 2nd ed
Paper図書
David M. RussinoffSpringerc2022
Other Libraries in Japan
  • Subject HeadingFormal methods (Computer science) Floating-point arithmetic
  • Subject Heading (ID)Formal methods (Computer science) Floating-point arithmetic

Handbook of floating-point arithmetic 2nd ed

Handbook of floating-point arithmetic 2nd ed
Paper図書
Jean-Michel Muller ... [et al.]Birkhäuserc2018
Other Libraries in Japan
  • Subject HeadingFloating-point arithmetic
  • Subject Heading (ID)Floating-point arithmetic

Software-Hardware Co-design and its Evaluation Framework for Decimal Multiplication

Software-Hardware Co-design and its Evaluation Framework for Decimal Multiplication
Digital博士論文
Riaz-ul-Haque, MianNara Institute of Science and Technology2021-03-31
Other Libraries in Japan
  • Subject Heading...cation Decimal Floating-point accelerator Decimal co-design...

Handbook of floating-point arithmetic : hbk

Handbook of floating-point arithmetic : hbk
Paper図書
Jean-Michel Muller ... [et al.]Birkhäuserc2010
Other Libraries in Japan
  • Subject HeadingFloating-point arithmetic
  • Subject Heading (ID)Floating-point arithmetic

Computer arithmetic and validity : theory, implementation, and applications

Computer arithmetic and validity : theory, implementation, and applications
Paper図書
Ulrich KulischWalter De Gruyterc2008
Other Libraries in Japan
  • Subject HeadingComputer arithmetic Computer arithmetic and logic units Floating-point arithmetic
  • Subject Heading (ID)Computer arithmetic Computer arithmetic and logic units Floating-point arithmetic

Numerical computing with IEEE floating point arithmetic

Numerical computing with IEEE floating point arithmetic
Paper図書
Michael L. OvertonSociety for Industrial and Applied Mathematics2001
Other Libraries in Japan
  • Subject HeadingComputer arithmetic Floating-point arithmetic Numerical calculat...
  • Subject Heading (ID)Computer arithmetic Floating-point arithmetic Numerical calculat...

Symbolic algebraic methods and verification methods

Symbolic algebraic methods and verification methods
Paper図書
Götz Alefeld ... [et al.] (eds.)Springerc2001
Other Libraries in Japan
  • Subject HeadingComputer arithmetic Floating-point arithmetic Numerical calculat...
  • Subject Heading (ID)Computer arithmetic Floating-point arithmetic Numerical calculat...

Proceedings, 16th IEEE Symposium on Computer Arithmetic, ARITH-16 2003, 15-18 June 2003, Santiago de Compostela, Spain

Proceedings, 16th IEEE Symposium on Computer Arithmetic, ARITH-16 2003, 15-18 June 2003, Santiago de Compostela, Spain
Paper図書
sponsored by IEEE Computer Society Technical Committee on VLSIIEEE Computer Societyc2003
Other Libraries in Japan
  • Subject Heading... -- Congresses Floating-point arithmetic -- Congresses Comp...
  • Subject Heading (ID)... -- Congresses Floating-point arithmetic -- Congresses Comp...

Proceedings / Symposium on Computer Arithmetic.

Proceedings / Symposium on Computer Arithmetic.
Paper図書
IEEE Computer Societyc1978-<M164-6>
National Diet Library
  • Subject Heading...-- Congresses. Floating-point arithmetic -- Congresses. Com...

Proceedings : 15th IEEE Symposium on Computer Arithmetic, ARITH-15 2001, Vail, Colorado 11-13 June 2001 : case

Proceedings : 15th IEEE Symposium on Computer Arithmetic, ARITH-15 2001, Vail, Colorado 11-13 June 2001 : case
Paper図書
editors, Neil Burgess, Luigi Ciminiera ; sponsored by the IEEE Computer Society Technical Committee on VLSIIEEE Computer Societyc2001
Other Libraries in Japan
  • Subject Heading... -- Congresses Floating-point arithmetic -- Congresses Comp...
  • Subject Heading (ID)... -- Congresses Floating-point arithmetic -- Congresses Comp...

Proceedings, 14th IEEE Symposium on Computer Arithmetic, April 14-16, 1999, Adelaide, Australia : case

Proceedings, 14th IEEE Symposium on Computer Arithmetic, April 14-16, 1999, Adelaide, Australia : case
Paper図書
edited by Israel Koren ; sponsored by IEEE Computer Society Technical Committee on VLSIIEEE Computer Societyc1999
Other Libraries in Japan
  • Subject Heading... -- Congresses Floating-point arithmetic -- Congresses Comp...
  • Subject Heading (ID)... -- Congresses Floating-point arithmetic -- Congresses Comp...

Proceedings, 13th IEEE Symposium on Computer Arithmetic, July 6-9, 1997, Asilomar, California, USA : case

Proceedings, 13th IEEE Symposium on Computer Arithmetic, July 6-9, 1997, Asilomar, California, USA : case
Paper図書
edited by Tomas Lang, Jean-Michel Muller, Naofumi Takagi ; sponsored by IEEE Computer Society Technical Committee on VLSIIEEE Computer Societyc1997
Other Libraries in Japan
  • Subject Heading... -- Congresses Floating-point arithmetic -- Congresses Comp...
  • Subject Heading (ID)... -- Congresses Floating-point arithmetic -- Congresses Comp...

Proceedings of the 12th Symposium on Computer Arithmetic, July 19-21, 1995, Bath, England : softbound : casebound : microfiche

Proceedings of the 12th Symposium on Computer Arithmetic, July 19-21, 1995, Bath, England : softbound : casebound : microfiche
Paper図書
edited by Simon Knowles, William H. McAllister ; sponsored by IEEE Computer Society Technical Committee on VLSIIEEE Computer Society Pressc1995
Other Libraries in Japan
  • Subject Heading... -- Congresses Floating-point arithmetic -- Congresses Comp...
  • Subject Heading (ID)... -- Congresses Floating-point arithmetic -- Congresses Comp...

Improving floating-point programming

Improving floating-point programming
Paper図書
edited by Peter J.L. WallisWileyc1990
Other Libraries in Japan
  • Subject HeadingElectronic digital computers -- Programming Floating-point arthmetic
  • Subject Heading (ID)Electronic digital computers -- Programming Floating-point arthmetic

MC68881/MC68882 floating-point coprocessor user's manual 2nd ed

MC68881/MC68882 floating-point coprocessor user's manual 2nd ed
Paper図書
Prentice Hallc1989
Other Libraries in Japan
  • Subject HeadingMotorola 68881 (Microprocessor) Motorola 68882 (Microprocessor) Floating-point arithmetic
  • Subject Heading (ID)Motorola 68881 (Microprocessor) Motorola 68882 (Microprocessor) Floating-point arithmetic

Computer arithmetic v. 1 v. 2

Computer arithmetic v. 1 v. 2
Paper図書
edited by Earl E. Swartzlander, JrIEEE Computer Society Pressc1990-
Other Libraries in Japan
  • Subject HeadingElectronic digital computers -- Programming Floating-point arithmetic Computer arithmeti...
  • Subject Heading (ID)Electronic digital computers -- Programming Floating-point arithmetic Computer arithmeti...

Proceedings : 11th Symposium on Computer Arithmetic, June 29-July 2, 1993, Windsor, Ontario : soft. : case. : micro.

Proceedings : 11th Symposium on Computer Arithmetic, June 29-July 2, 1993, Windsor, Ontario : soft. : case. : micro.
Paper図書
edited by Earl Swartzlander Jr., Mary Jane Irwin, Graham Jullien ; sponsored by IEEE Computer Society, IEEE Technical Committee on VLSIIEEE Computer Society Pressc1993
Other Libraries in Japan
  • Subject Heading... -- Congresses Floating-point arithmetic -- Congresses Comp...
  • Subject Heading (ID)... -- Congresses Floating-point arithmetic -- Congresses Comp...

Proceedings : 10th IEEE Symposium on Computer Arithmetic, June 26-28, 1991 , Grenoble, France

Proceedings : 10th IEEE Symposium on Computer Arithmetic, June 26-28, 1991 , Grenoble, France
Paper図書
sponsored by IEEE Computer Society, Technical Committee on VLSI, in cooperation with Centre National de la Recherche Scientifique (CNRS), Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG) ; edited by Peter Kornerup, David W. MatulaIEEE Computer Society Pressc1991
Other Libraries in Japan
  • Subject Heading... -- Congresses Floating-point arithmetic -- Congresses Comp...
  • Subject Heading (ID)... -- Congresses Floating-point arithmetic -- Congresses Comp...
RSS