Geometric Software: Robustness Issues and Model of Computation

Author(s):  
André Lieutier
2018 ◽  
Vol 63 (2) ◽  
pp. 393-413
Author(s):  
Yannick Forster ◽  
Gert Smolka

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

Author(s):  
Joseph Goguen ◽  
Claude Kirchner ◽  
José Meseguer

Author(s):  
Pascal Fradet ◽  
Alain Girault ◽  
Leila Jamshidian ◽  
Xavier Nicollin ◽  
Arash Shafiei

Author(s):  
Giuseppe Primiero

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