Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel programming (Computer science) --- Programmation parallèle (Informatique) --- 681.3*C12 --- 681.3*F12 --- 681.3*G1 --- Computer programming --- Parallel processing (Electronic computers) --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Numerical analysis --- 681.3*G1 Numerical analysis --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Programmation parallèle (Informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, MFCS '90, held at Banská Bystrica, Czechoslovakia, August 27-31, 1990. Previous MFCS proceedings have also been published in the Lecture Notes in Computer Science. This symposium is the 15th in a series of international meetings which have taken place in Czechoslovakia and Poland. The aim of these symposia is to bring together specialists in theoretical fields of computer science from various countries and to stimulate mathematical research in theoretical computer science. These proceedings consist of 10 invited papers and 52 communications selected by the international Program Committee. The papers present the latest results in key areas of computer science by authors from Europe, USA, Japan and China.

681.3*F1 --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- Computer science --- Mathematics --- Congresses --- Computer science - Mathematics - Congresses. --- Computer science. --- Information theory. --- Computer software. --- Logic design. --- Computation by Abstract Devices. --- Theory of Computation. --- Mathematics of Computing. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

#KVIV:BB --- 681.3*C12 --- 681.3*F12 --- 681.3*G1 --- 681.3*G1 Numerical analysis --- Numerical analysis --- 681.3*F12 Modes of computation: alternation and nondeterminism parallelism probabilistic computation relations among modes relativized computation --- Modes of computation: alternation and nondeterminism parallelism probabilistic computation relations among modes relativized computation --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD SIMD pipeline and parallel processors array-, vector-, associative processors interconnection architectures: common bus, multiport memory, crossbar switch --- Multiple data stream architectures (multiprocessors): MIMD SIMD pipeline and parallel processors array-, vector-, associative processors interconnection architectures: common bus, multiport memory, crossbar switch --- Patroonherkenningssystemen --- Reconnaissance de configuration (Informatique) --- Bildverarbeitung --- Hypercube --- Paralleler Algorithmus --- Mustererkennung --- Parallelverarbeitung --- Algorithmus --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Parallel processing (Electronic computers) --- Image processing --- Digital techniques --- Pattern recognition systems --- Algorithms. --- Hypercube networks (Computer networks) --- Image processing - Digital techniques. --- Pattern recognition systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*D31 --- 681.3*D33 --- 681.3*F1 --- 681.3*F3 --- 681.3*F4 --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Computation by abstract devices --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F1 Computation by abstract devices --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43}

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Equations --- Algebra --- Numerical solutions --- Data processing. --- Linear equations --- Systems --- Numerical solution --- Computation by computer systems --- Computation by computer systems. --- Analyse numérique. --- Algèbre linéaire. --- Numerical analysis --- Algebras, Linear --- Itération (mathématiques) --- Iterative methods (Mathematics) --- Analyse numérique --- Algèbre linéaire --- Numerical analysis. --- Algebras, Linear. --- Itération (mathématiques) --- Programmation mathematique --- Programmation lineaire