Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Parallel processing (Electronic computers) --- Computer programs --- Parallélisme (Informatique) --- Correctness --- -Parallel processing (Electronic computers) --- 681.3*C12 --- 681.3*D4 --- 681.3*F12 --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Operating systems--See also {681.3*C} --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D4 Operating systems--See also {681.3*C} --- 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 --- Correctness of computer programs --- Program correctness (Computer science) --- Debugging in computer science --- Logic, Symbolic and mathematical --- Computer programs - Correctness