A Shared Memory Computer Display System
From MaRDI portal
Publication:5524887
DOI10.1109/PGEC.1966.264564zbMath0147.15002MaRDI QIDQ5524887
Publication date: 1966
Published in: IEEE Transactions on Electronic Computers (Search for Journal in Brave)
Related Items
Unnamed Item ⋮ Verifying the correctness of distributed systems via mergeable parallelism ⋮ Scalable and structured scheduling ⋮ Parallélisation sémantique ⋮ On formulating simultaneity for studying parallelism and synchronization ⋮ Data-race and concurrent-write freedom are undecidable. ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ Unnamed Item ⋮ A generalized notion of semantic independence ⋮ Defining conditional independence using collapses ⋮ A tight analysis and near-optimal instances of the algorithm of Anderson and Woll ⋮ The identification of parallel micro-operations ⋮ Simple section interchange and properties of non-computable functions ⋮ Parallel operator schemata over variable arrays and the maximal parallelism problem ⋮ Implementing stochastic control software on supercomputing machines ⋮ Models of central capacity and concurrency
