mutual exclusion
61VxWorks — Infobox OS name = VxWorks caption = developer = Wind River Systems source model = kernel type = Micro kernel supported platforms = x86, MIPS, PowerPC, SH 4, ARM, StrongARM, xScale ui = family = Real time operating systems released = birth year… …
62Semaphore (programming) — For other uses, see Semaphore (disambiguation). In computer science, a semaphore is a variable or abstract data type that provides a simple but useful abstraction for controlling access by multiple processes to a common resource in a parallel… …
63Leslie Lamport — Infobox Scientist name = Leslie Lamport image width = 150px caption = birth date = February 7, 1941 birth place = New York City, New York death date = death place = residence = citizenship = nationality = ethnicity = field = Computer Science work …
64Mutually exclusive events — For the programming algorithms, see Mutual exclusion. In layman s terms, two events are mutually exclusive if they cannot occur at the same time. An example is tossing a coin once, which can result in either heads or tails, but not both. In the… …
65Social theory — Social analysis redirects here. For the journal, see Social Analysis (journal). Sociology …
66Rendezvous (Plan 9) — Rendezvous is a synchronization mechanism in Plan 9 from Bell Labs. It is a system call that allows two processes to exchange a single data item while synchronizing. Rendezvous call takes a tag and a value as its arguments. The tag is typically… …
67Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …
68Happened-before — The happened before relation (denoted: o) is a means of ordering events based on the causal relationship of two events in asynchronous distributed systems. It was formulated by Leslie Lamport.The happened before relation is formally defined as: * …
69Burroughs large systems — The Burroughs large systems were the largest of three series of Burroughs Corporation mainframe computers. Founded in the 1880s, Burroughs was the oldest continuously operating entity in computing, but by the late 1950s its computing equipment… …
70Sherlock (software) — Infobox Software name = Sherlock caption = Sherlock 3.6, Movies channel developer = Apple Inc. latest release version = 3.6.2 (179) latest release date = operating system = Mac OS X, Mac OS 8, 9 genre = search engine license = website = Sherlock …
