Title :
Modelling of computer architectures
Author :
Albrecht, Rudolf F.
Author_Institution :
Innsbruck Univ., Austria
Abstract :
The goal of this article is to present a general theoretical framework for modelling the logical and physical structures underlying computer architectures. The reasoning is based on general system theory and the mathematical theory of constructive computation. Fundamental are discrete functional systems, their partitions, and algorithms on them. For modelling processes in general “time sets” are introduced and the mutual dependences of processes are discussed. In correspondence to the mathematical objects considered, a model of physical computational systems is given. From this a whole range of architectural concepts can be derived
Keywords :
computer architecture; set theory; system theory; computer architecture modelling; constructive computation; discrete functional systems; logical structures; mathematical objects; mathematical theory; partitions; physical structures; system theory; time sets; Associative memory; Computer architecture; Computer science; Connectors; Hierarchical systems; Indexing; Mathematical model; Physics computing; Reactive power; Tin;
Conference_Titel :
Massively Parallel Computing Systems, 1994., Proceedings of the First International Conference on
Conference_Location :
Ischia
Print_ISBN :
0-8186-6322-7
DOI :
10.1109/MPCS.1994.367047
