mutual exclusion
71Server Message Block — In computer networking, Server Message Block (SMB), also known as Common Internet File System (CIFS, /ˈsɪfs …
72Lamport — may refer to:;Places *Lamport, Buckinghamshire, England. *Lamport, Northamptonshire, England. **Lamport Hall is nearby **Northampton Lamport Railway also nearby;People *Allan A. Lamport, Mayor of Toronto, 1952 ndash;1954 *Leslie Lamport, American …
73Lock-free and wait-free algorithms — In contrast to algorithms that protect access to shared data with locks, lock free and wait free algorithms are specially designed to allow multiple threads to read and write shared data concurrently without corrupting it. Lock free refers to the …
74Heterogeneous Element Processor — The Heterogeneous Element Processor (HEP) was introduced by Denelcor in 1982 as the world s first commercial MIMD computer. A HEP system, as the name implies, was pieced together from many heterogeneous components processors, data memory modules …
75XNU — Infobox Software name = XNU kernel caption = developer = Apple Inc. latest release version = latest release date = operating system = Darwin Mac OS X genre = Kernel kernel type = Hybrid license = Apple Public Source License 2.0 working state = In …
76Burroughs MCP — Master Control Program redirects here. For the fictitious computer program villain, see Master Control Program (Tron). MCP Company / developer Burroughs / Unisys Programmed in ESPOL, NEWP OS family Not Applicable Working state Current …
77English Electric KDF9 — KDF9 was an early British computer designed and built by English Electric, later English Electric Leo Marconi, EELM, later still incorporated into ICL. It first came into service in 1964 and was still in use in 1980 in at least one installation.… …
78Netscape Portable Runtime — Infobox Software name = Netscape Portable Runtime caption = programming language = C developer = Mozilla Foundation / Mozilla Corporation latest release version = 4.7.1 latest release date = release date|2008|05|15 operating system = Cross… …
79Message passing — This article is about the computer science concept. For other uses, see Message passing (disambiguation). Message passing in computer science is a form of communication used in parallel computing, object oriented programming, and interprocess… …
80Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… …
