scholarly journals Modeling stream-based applications using the SBF model of computation

2002 ◽  
Author(s):  
B. Kienhuis ◽  
E.F. Deprettere
Keyword(s):  
Model Of Computation

Call-by-Value Lambda Calculus as a Model of Computation in Coq

2018 ◽  
Vol 63 (2) ◽  
pp. 393-413
Author(s):  
Yannick Forster ◽  
Gert Smolka
Keyword(s):  
Lambda Calculus ◽  
Model Of Computation

I/O Model of Computation

2018 ◽  
pp. 1741-1742
Author(s):  
Donghui Zhang ◽  
Vassilis J. Tsotras
Keyword(s):  
Model Of Computation

Concurrent term rewriting as a model of computation

1987 ◽  
pp. 53-93 ◽  
Author(s):  
Joseph Goguen ◽  
Claude Kirchner ◽  
José Meseguer
Keyword(s):  
Term Rewriting ◽  
Model Of Computation

Lossy Channels in a Dataflow Model of Computation

2018 ◽  
pp. 254-266
Author(s):  
Pascal Fradet ◽  
Alain Girault ◽  
Leila Jamshidian ◽  
Xavier Nicollin ◽  
Arash Shafiei
Keyword(s):  
Model Of Computation ◽  
Dataflow Model

The First Generation of Computers

2019 ◽  
pp. 117-142
Author(s):  
Giuseppe Primiero
Keyword(s):  
First Generation ◽  
Point Of View ◽  
Historical Evolution ◽  
Universal Model ◽  
Von Neumann ◽  
Model Of Computation ◽  
Von Neumann Architecture

This chapter starts with the analysis of the engineering foundation of computing which, proceeding in parallelwith themathematical foundation, led to the design and creation of physical computingmachines. It illustrates the historical evolution of the first generation of computing and their technical foundation, known as the von Neumann architecture. Fromthe conceptual point of view, the chapter clarifies the relation between the universal model of computation and the construction of an all-purpose machine.

Sign in / Sign up

Export Citation Format

Share Document