Dr. Dobb's Journal for Users of Small Computer Systems

Dr. Dobb's Journal for Users of Small Computer Systems PDF Author:
Publisher:
ISBN:
Category : Application software
Languages : en
Pages : 1288

Get Book Here

Book Description

Byte

Byte PDF Author:
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 1758

Get Book Here

Book Description


Computer Arithmetic and Self-Validating Numerical Methods

Computer Arithmetic and Self-Validating Numerical Methods PDF Author: Christian Ullrich
Publisher: Academic Press
ISBN: 1483267814
Category : Computers
Languages : en
Pages : 316

Get Book Here

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

Ada PDF Author: Narain Gehani
Publisher: Silicon Press
ISBN: 9780929306087
Category : Computers
Languages : en
Pages : 236

Get Book Here

Book Description


NIST Serial Holdings

NIST Serial Holdings PDF Author: National Institute of Standards and Technology (U.S.)
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 268

Get Book Here

Book Description


Scientific Computing with Automatic Result Verification

Scientific Computing with Automatic Result Verification PDF Author: Adams
Publisher: Academic Press
ISBN: 0080958753
Category : Computers
Languages : en
Pages : 626

Get Book Here

Book Description
Scientific Computing with Automatic Result Verification

Dr. Dobb's Journal for Users of Small Computer Systems

Dr. Dobb's Journal for Users of Small Computer Systems PDF Author:
Publisher:
ISBN:
Category : Application software
Languages : en
Pages : 1288

Get Book Here

Book Description


New Serial Titles

New Serial Titles PDF Author:
Publisher:
ISBN:
Category : Periodicals
Languages : en
Pages : 1760

Get Book Here

Book Description


Data Communication Systems and Their Performance

Data Communication Systems and Their Performance PDF Author: G. Pujolle
Publisher: Elsevier
ISBN: 1483298418
Category : Technology & Engineering
Languages : en
Pages : 514

Get Book Here

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

Dependable and Historic Computing PDF Author: Cliff B. Jones
Publisher: Springer
ISBN: 3642245412
Category : Computers
Languages : en
Pages : 531

Get Book Here

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

Parallel Computing PDF Author: Eduard L Lafferty
Publisher: William Andrew
ISBN: 1437744931
Category : Computers
Languages : en
Pages : 146

Get Book Here

Book Description
Parallel Computing