Author:
Publisher:
ISBN:
Category : Application software
Languages : en
Pages : 1288
Book Description
Byte
Author:
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 1758
Book Description
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 1758
Book Description
Computer Arithmetic and Self-Validating Numerical Methods
Author: Christian Ullrich
Publisher: Academic Press
ISBN: 1483267814
Category : Computers
Languages : en
Pages : 316
Book Description
Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at the first international conference on "Computer Arithmetic and Self-Validating Numerical Methods, held in Basel from October 2 to 6, 1989. This book begins by providing a tutorial introduction to computer arithmetic with operations of maximum accuracy, differentiation arithmetic and enclosure methods, and programming languages for self-validating numerical methods. The rest of the chapters discuss the determination of guaranteed bounds for eigenvalues by variational methods and guaranteed inclusion of solutions of differential equations. An appendix covering the IMACS-GAMM resolution on computer arithmetic is provided at the end of this publication. This volume is recommended for researchers and professionals working on computer arithmetic and self-validating numerical methods.
Publisher: Academic Press
ISBN: 1483267814
Category : Computers
Languages : en
Pages : 316
Book Description
Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at the first international conference on "Computer Arithmetic and Self-Validating Numerical Methods, held in Basel from October 2 to 6, 1989. This book begins by providing a tutorial introduction to computer arithmetic with operations of maximum accuracy, differentiation arithmetic and enclosure methods, and programming languages for self-validating numerical methods. The rest of the chapters discuss the determination of guaranteed bounds for eigenvalues by variational methods and guaranteed inclusion of solutions of differential equations. An appendix covering the IMACS-GAMM resolution on computer arithmetic is provided at the end of this publication. This volume is recommended for researchers and professionals working on computer arithmetic and self-validating numerical methods.
Ada
Author: Narain Gehani
Publisher: Silicon Press
ISBN: 9780929306087
Category : Computers
Languages : en
Pages : 236
Book Description
Publisher: Silicon Press
ISBN: 9780929306087
Category : Computers
Languages : en
Pages : 236
Book Description
NIST Serial Holdings
Author: National Institute of Standards and Technology (U.S.)
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 268
Book Description
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 268
Book Description
Scientific Computing with Automatic Result Verification
Author: Adams
Publisher: Academic Press
ISBN: 0080958753
Category : Computers
Languages : en
Pages : 626
Book Description
Scientific Computing with Automatic Result Verification
Publisher: Academic Press
ISBN: 0080958753
Category : Computers
Languages : en
Pages : 626
Book Description
Scientific Computing with Automatic Result Verification
Dr. Dobb's Journal for Users of Small Computer Systems
Author:
Publisher:
ISBN:
Category : Application software
Languages : en
Pages : 1288
Book Description
Publisher:
ISBN:
Category : Application software
Languages : en
Pages : 1288
Book Description
New Serial Titles
Author:
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 1760
Book Description
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 1760
Book Description
Data Communication Systems and Their Performance
Author: G. Pujolle
Publisher: Elsevier
ISBN: 1483298418
Category : Technology & Engineering
Languages : en
Pages : 514
Book Description
The research papers in this volume describe recent, original developments in techniques, tools and applications in the area of communication system performance. Involved in the project are researchers from the world's leading universities, research institutes and companies.
Publisher: Elsevier
ISBN: 1483298418
Category : Technology & Engineering
Languages : en
Pages : 514
Book Description
The research papers in this volume describe recent, original developments in techniques, tools and applications in the area of communication system performance. Involved in the project are researchers from the world's leading universities, research institutes and companies.
Dependable and Historic Computing
Author: Cliff B. Jones
Publisher: Springer
ISBN: 3642245412
Category : Computers
Languages : en
Pages : 531
Book Description
This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. Two biographical papers are followed by the six invited papers that were presented at the conference 'Dependable and Historic Computing: The Randell Tales', held during April 7-8, 2011 at Newcastle University, UK. The remaining contributions are authored by former scientific colleagues of Brian Randell. The papers focus on the core of Brian Randell’s work: the development of computing science and the study of its history. Moreover, his wider interests are reflected and so the collection comprises papers on software engineering, storage fragmentation, computer architecture, programming languages and dependability. There is even a paper that echoes Randell’s love of maps. After an early career with English Electric and then with IBM in New York and California, Brian Randell joined Newcastle University. His main research has been on dependable computing in all its forms, especially reliability, safety and security aspects, and he has led several major European collaborative projects.
Publisher: Springer
ISBN: 3642245412
Category : Computers
Languages : en
Pages : 531
Book Description
This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. Two biographical papers are followed by the six invited papers that were presented at the conference 'Dependable and Historic Computing: The Randell Tales', held during April 7-8, 2011 at Newcastle University, UK. The remaining contributions are authored by former scientific colleagues of Brian Randell. The papers focus on the core of Brian Randell’s work: the development of computing science and the study of its history. Moreover, his wider interests are reflected and so the collection comprises papers on software engineering, storage fragmentation, computer architecture, programming languages and dependability. There is even a paper that echoes Randell’s love of maps. After an early career with English Electric and then with IBM in New York and California, Brian Randell joined Newcastle University. His main research has been on dependable computing in all its forms, especially reliability, safety and security aspects, and he has led several major European collaborative projects.
Parallel Computing
Author: Eduard L Lafferty
Publisher: William Andrew
ISBN: 1437744931
Category : Computers
Languages : en
Pages : 146
Book Description
Parallel Computing
Publisher: William Andrew
ISBN: 1437744931
Category : Computers
Languages : en
Pages : 146
Book Description
Parallel Computing