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.
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.
Computer
Author: Martin Campbell-Kelly
Publisher: Hachette UK
ISBN: 081334591X
Category : Science
Languages : en
Pages : 349
Book Description
Computer: A History of the Information Machine traces the history of the computer and shows how business and government were the first to explore its unlimited, information-processing potential. Old-fashioned entrepreneurship combined with scientific know-how inspired now famous computer engineers to create the technology that became IBM. Wartime needs drove the giant ENIAC, the first fully electronic computer. Later, the PC enabled modes of computing that liberated people from room-sized, mainframe computers. This third edition provides updated analysis on software and computer networking, including new material on the programming profession, social networking, and mobile computing. It expands its focus on the IT industry with fresh discussion on the rise of Google and Facebook as well as how powerful applications are changing the way we work, consume, learn, and socialize. Computer is an insightful look at the pace of technological advancement and the seamless way computers are integrated into the modern world. Through comprehensive history and accessible writing, Computer is perfect for courses on computer history, technology history, and information and society, as well as a range of courses in the fields of computer science, communications, sociology, and management.
Publisher: Hachette UK
ISBN: 081334591X
Category : Science
Languages : en
Pages : 349
Book Description
Computer: A History of the Information Machine traces the history of the computer and shows how business and government were the first to explore its unlimited, information-processing potential. Old-fashioned entrepreneurship combined with scientific know-how inspired now famous computer engineers to create the technology that became IBM. Wartime needs drove the giant ENIAC, the first fully electronic computer. Later, the PC enabled modes of computing that liberated people from room-sized, mainframe computers. This third edition provides updated analysis on software and computer networking, including new material on the programming profession, social networking, and mobile computing. It expands its focus on the IT industry with fresh discussion on the rise of Google and Facebook as well as how powerful applications are changing the way we work, consume, learn, and socialize. Computer is an insightful look at the pace of technological advancement and the seamless way computers are integrated into the modern world. Through comprehensive history and accessible writing, Computer is perfect for courses on computer history, technology history, and information and society, as well as a range of courses in the fields of computer science, communications, sociology, and management.
John von Neumann and the Origins of Modern Computing
Author: William Aspray
Publisher: MIT Press
ISBN: 0262518856
Category : Computers
Languages : en
Pages : 397
Book Description
William Aspray provides the first broad and detailed account of von Neumann's many different contributions to computing. John von Neumann (1903-1957) was unquestionably one of the most brilliant scientists of the twentieth century. He made major contributions to quantum mechanics and mathematical physics and in 1943 began a new and all-too-short career in computer science. William Aspray provides the first broad and detailed account of von Neumann's many different contributions to computing. These, Aspray reveals, extended far beyond his well-known work in the design and construction of computer systems to include important scientific applications, the revival of numerical analysis, and the creation of a theory of computing.Aspray points out that from the beginning von Neumann took a wider and more theoretical view than other computer pioneers. In the now famous EDVAC report of 1945, von Neumann clearly stated the idea of a stored program that resides in the computer's memory along with the data it was to operate on. This stored program computer was described in terms of idealized neurons, highlighting the analogy between the digital computer and the human brain. Aspray describes von Neumann's development during the next decade, and almost entirely alone, of a theory of complicated information processing systems, or automata, and the introduction of themes such as learning, reliability of systems with unreliable components, self-replication, and the importance of memory and storage capacity in biological nervous systems; many of these themes remain at the heart of current investigations in parallel or neurocomputing.Aspray allows the record to speak for itself. He unravels an intricate sequence of stories generated by von Neumann's work and brings into focus the interplay of personalities centered about von Neumann. He documents the complex interactions of science, the military, and business and shows how progress in applied mathematics was intertwined with that in computers. William Aspray is Director of the Center for the History of Electrical Engineering at The Institute of Electrical and Electronics Engineers.
Publisher: MIT Press
ISBN: 0262518856
Category : Computers
Languages : en
Pages : 397
Book Description
William Aspray provides the first broad and detailed account of von Neumann's many different contributions to computing. John von Neumann (1903-1957) was unquestionably one of the most brilliant scientists of the twentieth century. He made major contributions to quantum mechanics and mathematical physics and in 1943 began a new and all-too-short career in computer science. William Aspray provides the first broad and detailed account of von Neumann's many different contributions to computing. These, Aspray reveals, extended far beyond his well-known work in the design and construction of computer systems to include important scientific applications, the revival of numerical analysis, and the creation of a theory of computing.Aspray points out that from the beginning von Neumann took a wider and more theoretical view than other computer pioneers. In the now famous EDVAC report of 1945, von Neumann clearly stated the idea of a stored program that resides in the computer's memory along with the data it was to operate on. This stored program computer was described in terms of idealized neurons, highlighting the analogy between the digital computer and the human brain. Aspray describes von Neumann's development during the next decade, and almost entirely alone, of a theory of complicated information processing systems, or automata, and the introduction of themes such as learning, reliability of systems with unreliable components, self-replication, and the importance of memory and storage capacity in biological nervous systems; many of these themes remain at the heart of current investigations in parallel or neurocomputing.Aspray allows the record to speak for itself. He unravels an intricate sequence of stories generated by von Neumann's work and brings into focus the interplay of personalities centered about von Neumann. He documents the complex interactions of science, the military, and business and shows how progress in applied mathematics was intertwined with that in computers. William Aspray is Director of the Center for the History of Electrical Engineering at The Institute of Electrical and Electronics Engineers.
Funding a Revolution
Author: National Research Council
Publisher: National Academies Press
ISBN: 0309062780
Category : Computers
Languages : en
Pages : 300
Book Description
The past 50 years have witnessed a revolution in computing and related communications technologies. The contributions of industry and university researchers to this revolution are manifest; less widely recognized is the major role the federal government played in launching the computing revolution and sustaining its momentum. Funding a Revolution examines the history of computing since World War II to elucidate the federal government's role in funding computing research, supporting the education of computer scientists and engineers, and equipping university research labs. It reviews the economic rationale for government support of research, characterizes federal support for computing research, and summarizes key historical advances in which government-sponsored research played an important role. Funding a Revolution contains a series of case studies in relational databases, the Internet, theoretical computer science, artificial intelligence, and virtual reality that demonstrate the complex interactions among government, universities, and industry that have driven the field. It offers a series of lessons that identify factors contributing to the success of the nation's computing enterprise and the government's role within it.
Publisher: National Academies Press
ISBN: 0309062780
Category : Computers
Languages : en
Pages : 300
Book Description
The past 50 years have witnessed a revolution in computing and related communications technologies. The contributions of industry and university researchers to this revolution are manifest; less widely recognized is the major role the federal government played in launching the computing revolution and sustaining its momentum. Funding a Revolution examines the history of computing since World War II to elucidate the federal government's role in funding computing research, supporting the education of computer scientists and engineers, and equipping university research labs. It reviews the economic rationale for government support of research, characterizes federal support for computing research, and summarizes key historical advances in which government-sponsored research played an important role. Funding a Revolution contains a series of case studies in relational databases, the Internet, theoretical computer science, artificial intelligence, and virtual reality that demonstrate the complex interactions among government, universities, and industry that have driven the field. It offers a series of lessons that identify factors contributing to the success of the nation's computing enterprise and the government's role within it.
Milestones in Analog and Digital Computing
Author: Herbert Bruderer
Publisher: Springer Nature
ISBN: 3030409740
Category : Computers
Languages : en
Pages : 2072
Book Description
This Third Edition is the first English-language edition of the award-winning Meilensteine der Rechentechnik; illustrated in full color throughout in two volumes. The Third Edition is devoted to both analog and digital computing devices, as well as the world's most magnificient historical automatons and select scientific instruments (employed in astronomy, surveying, time measurement, etc.). It also features detailed instructions for analog and digital mechanical calculating machines and instruments, and is the only such historical book with comprehensive technical glossaries of terms not found in print or in online dictionaries. The book also includes a very extensive bibliography based on the literature of numerous countries around the world. Meticulously researched, the author conducted a worldwide survey of science, technology and art museums with their main holdings of analog and digital calculating and computing machines and devices, historical automatons and selected scientific instruments in order to describe a broad range of masterful technical achievements. Also covering the history of mathematics and computer science, this work documents the cultural heritage of technology as well.
Publisher: Springer Nature
ISBN: 3030409740
Category : Computers
Languages : en
Pages : 2072
Book Description
This Third Edition is the first English-language edition of the award-winning Meilensteine der Rechentechnik; illustrated in full color throughout in two volumes. The Third Edition is devoted to both analog and digital computing devices, as well as the world's most magnificient historical automatons and select scientific instruments (employed in astronomy, surveying, time measurement, etc.). It also features detailed instructions for analog and digital mechanical calculating machines and instruments, and is the only such historical book with comprehensive technical glossaries of terms not found in print or in online dictionaries. The book also includes a very extensive bibliography based on the literature of numerous countries around the world. Meticulously researched, the author conducted a worldwide survey of science, technology and art museums with their main holdings of analog and digital calculating and computing machines and devices, historical automatons and selected scientific instruments in order to describe a broad range of masterful technical achievements. Also covering the history of mathematics and computer science, this work documents the cultural heritage of technology as well.
Dependable Network Computing
Author: Dimiter R. Avresky
Publisher: Springer Science & Business Media
ISBN: 1461545498
Category : Computers
Languages : en
Pages : 463
Book Description
Dependable Network Computing provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques. Also included is material on routing protocols, QoS, and dead- and live-lock free related issues. All chapters are written by leading specialists in their respective fields. Dependable Network Computing provides useful information for scientists, researchers, and application developers building networks based on commercially off-the-shelf components.
Publisher: Springer Science & Business Media
ISBN: 1461545498
Category : Computers
Languages : en
Pages : 463
Book Description
Dependable Network Computing provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques. Also included is material on routing protocols, QoS, and dead- and live-lock free related issues. All chapters are written by leading specialists in their respective fields. Dependable Network Computing provides useful information for scientists, researchers, and application developers building networks based on commercially off-the-shelf components.
The Social Design of Technical Systems
Author: Brian Whitworth
Publisher:
ISBN: 9788792964090
Category : Information technology
Languages : en
Pages : 258
Book Description
Hundreds of millions of people use social technologies like Wikipedia, Facebook and YouTube every day, but what makes them work? And what is the next step? The Social Design of Technical Systems explores the path from computing revolution to social evolution. Based on the assumption that it is essential to consider social as well as technological requirements, as we move to create the systems of the future, this book explores the ways in which technology fits, or fails to fit, into the social reality of the modern world. Important performance criteria for social systems, such as fairness, synergy, transparency, order and freedom, are clearly explained for the first time from within a comprehensive systems framework, making this book invaluable for anyone interested in socio-technical systems, especially those planning to build social software. This book reveals the social dilemmas that destroy communities, exposes the myth that computers are smart, analyses social errors like the credit meltdown, proposes online rights standards and suggests community-based business models. If you believe that our future depends on merging social virtue and technology power, you should read this book.
Publisher:
ISBN: 9788792964090
Category : Information technology
Languages : en
Pages : 258
Book Description
Hundreds of millions of people use social technologies like Wikipedia, Facebook and YouTube every day, but what makes them work? And what is the next step? The Social Design of Technical Systems explores the path from computing revolution to social evolution. Based on the assumption that it is essential to consider social as well as technological requirements, as we move to create the systems of the future, this book explores the ways in which technology fits, or fails to fit, into the social reality of the modern world. Important performance criteria for social systems, such as fairness, synergy, transparency, order and freedom, are clearly explained for the first time from within a comprehensive systems framework, making this book invaluable for anyone interested in socio-technical systems, especially those planning to build social software. This book reveals the social dilemmas that destroy communities, exposes the myth that computers are smart, analyses social errors like the credit meltdown, proposes online rights standards and suggests community-based business models. If you believe that our future depends on merging social virtue and technology power, you should read this book.
Software as Hermeneutics
Author: Luca M. Possati
Publisher: Springer Nature
ISBN: 3030636100
Category : Philosophy
Languages : en
Pages : 198
Book Description
This book claims that continental philosophy gives us a new understanding of digital technology, and software in particular; its main thesis being that software is like a text, so it involves a hermeneutic process. A hermeneutic understanding of software allows us to explain those aspects of software that escape a strictly technical definition, such as the relationship with the user, the human being, and the social and cultural transformations that software produces. The starting point of the book is the fracture between living experience and the code. In the first chapter, the author argues that the code is the origin of the digital experience, while remaining hidden, invisible. The second chapter explores how the software can be seen as a text in Ricoeur’s sense. Before being an algorithm, code or problem solving, software is an act of interpretation. The third chapter connects software to the history of writing, following Kittler’s suggestions. The fourth chapter unifies the two parts of the book, the historical and the theoretical, from a Kantian perspective. The central thesis is that software is a form of reflective judgment, namely, digital reflective judgement.
Publisher: Springer Nature
ISBN: 3030636100
Category : Philosophy
Languages : en
Pages : 198
Book Description
This book claims that continental philosophy gives us a new understanding of digital technology, and software in particular; its main thesis being that software is like a text, so it involves a hermeneutic process. A hermeneutic understanding of software allows us to explain those aspects of software that escape a strictly technical definition, such as the relationship with the user, the human being, and the social and cultural transformations that software produces. The starting point of the book is the fracture between living experience and the code. In the first chapter, the author argues that the code is the origin of the digital experience, while remaining hidden, invisible. The second chapter explores how the software can be seen as a text in Ricoeur’s sense. Before being an algorithm, code or problem solving, software is an act of interpretation. The third chapter connects software to the history of writing, following Kittler’s suggestions. The fourth chapter unifies the two parts of the book, the historical and the theoretical, from a Kantian perspective. The central thesis is that software is a form of reflective judgment, namely, digital reflective judgement.
First Draft of a Report on the EDVAC
Author: John Von Neumann
Publisher: Hassell Street Press
ISBN: 9781014439192
Category :
Languages : en
Pages : 56
Book Description
This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Publisher: Hassell Street Press
ISBN: 9781014439192
Category :
Languages : en
Pages : 56
Book Description
This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Mechanizing Proof
Author: Donald MacKenzie
Publisher: MIT Press
ISBN: 9780262632959
Category : Social Science
Languages : en
Pages : 448
Book Description
Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants. MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated proof—the need to predict the behavior of the computer systems upon which human life and security depend—and explores the involvement of powerful organizations such as the National Security Agency. He concludes that in mechanizing proof, and in pursuing dependable computer systems, we do not obviate the need for trust in our collective human judgment.
Publisher: MIT Press
ISBN: 9780262632959
Category : Social Science
Languages : en
Pages : 448
Book Description
Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants. MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated proof—the need to predict the behavior of the computer systems upon which human life and security depend—and explores the involvement of powerful organizations such as the National Security Agency. He concludes that in mechanizing proof, and in pursuing dependable computer systems, we do not obviate the need for trust in our collective human judgment.