GLOOM 发表于 2025-3-23 12:36:42

http://reply.papertrans.cn/47/4681/468084/468084_11.png

acrophobia 发表于 2025-3-23 15:45:16

Computer-Architectural Issues,This chapter concerns two subjects from the area of computer architecture which have to do with instruction sequences and instruction processing, namely instruction sequence performance and instruction set architectures.

意外的成功 发表于 2025-3-23 20:47:20

Instruction Sequences and Process Algebra,This chapter concerns two subjects related to process algebra, namely protocols to deal with remote instruction processing and instruction sequence producible processes.

离开真充足 发表于 2025-3-24 00:08:24

Variations on a Theme,This chapter concerns three variations of instruction sequences as considered in SPISA, namely polyadic instruction sequences, instruction sequences without a directional bias, and probabilistic instruction sequences.

TOXIC 发表于 2025-3-24 06:13:00

http://reply.papertrans.cn/47/4681/468084/468084_15.png

intrude 发表于 2025-3-24 07:09:23

2212-8557 truction sequences, a forgotten basic concept of computer scThis 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 computatio

Flustered 发表于 2025-3-24 12:13:20

Book 2012ter 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-unifo

Extricate 发表于 2025-3-24 17:35:10

http://reply.papertrans.cn/47/4681/468084/468084_18.png

鞠躬 发表于 2025-3-24 19:44:38

Instruction Processing,essing instructions for storing and fetching data of an auxiliary nature are typical examples of components that do not need interaction with external parties, but components that are capable of processing instructions for reading input data or showing output data need interaction with external parties.

Figate 发表于 2025-3-25 02:50:50

Book 2012The 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.
页: 1 [2] 3 4 5
查看完整版本: Titlebook: Instruction Sequences for Computer Science; Jan A. Bergstra,Cornelis A. Middelburg Book 2012 Atlantis Press 2012 computability.instruction