Instruction Sequences for Computer Science: 2 (Atlantis Studies in Computing, 2) - Tapa dura

Bergstra, Jan A; Middelburg, Cornelis A.

 
9789491216640: Instruction Sequences for Computer Science: 2 (Atlantis Studies in Computing, 2)

Sinopsis

This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9789462390492: Instruction Sequences for Computer Science: 2 (Atlantis Studies in Computing)

Edición Destacada

ISBN 10:  9462390495 ISBN 13:  9789462390492
Editorial: Atlantis Press, 2014
Tapa blanda