readers-writers problem

en-noun

readers-writers problem (plural readers-writers problems)

(computing theory) Any of a class of problems in which many concurrent threads of execution try to access the same shared resource at one time, with constraints on which threads may read from and write to the resource.


finite automaton

finite automaton (plural finite automata)

finite-state machine
finite-state machine#English

(computing theory) Synonym of finite-state machine.


Turing equivalent

(computing theory, of a computing system) Capable of computing precisely the same set of functions as a Turing machine can compute.


Prim's algorithm

Named after computer scientist Robert C. Prim, who rediscovered and published it in 1957.

minimum spanning tree
minimum spanning tree

(computing theory) A greedy algorithm that finds a minimum spanning tree for a weighted undirected graph.


Prim-Jarník algorithm

Prim's algorithm
Prim's algorithm#English

(computing theory) Synonym of Prim's algorithm.


Jarník's algorithm

It was developed in 1930 by Czech mathematician Vojtěch Jarník.


DJP algorithm

Short for Dijkstra, Jarník, Prim; see the other names and explanations at Prim's algorithm.


linear congruential generator

linear congruential generator (plural linear congruential generators)

(computing theory) An algorithm that yields a sequence of pseudo-randomized numbers calculated with a discontinuous piecewise linear equation.


Chaitin's algorithm

(computing theory) A bottom-up graph coloring register allocation algorithm that uses cost/degree as its spill metric.


precedence rule

precedence rule (plural precedence rules)

(computing theory, programming) A set of rules specifying the order in which parts of an expression are parsed, especially when parentheses are not present.


quadkey

(computing theory) A key into a quadtree data structure.


linearitminen

linearitminen (nominative singular)
linearitmiset (nominative plural)
linearitminen (accusative nominative singular)
linearitmiset (accusative nominative plural)
linearitmisen (accusative genitive singular)
linearitmiset (accusative genitive plural)
linearitmisen (genitive singular)
linearitmisten (genitive plural)
linearitmisien (genitive plural)
linearitmista (partitive singular)
linearitmisia (partitive plural)
linearitmisessa (inessive singular)
linearitmisissa (inessive plural)
linearitmisesta (elative singular)
linearitmisista (elative plural)
linearitmiseen (illative singular)
linearitmisiin (illative plural)
linearitmisella (adessive singular)
linearitmisilla (adessive plural)
linearitmiselta (ablative singular)
linearitmisilta (ablative plural)
linearitmiselle (allative singular)
linearitmisille (allative plural)
linearitmisena (essive singular)
linearitmisina (essive plural)
linearitmiseksi (singular translative)
linearitmisiksi (plural translative)
linearitmisetta (abessive singular)
linearitmisitta (abessive plural)
linearitmisin (instructive plural)
linearitmisine (comitative plural)
linearitmiseni (nominative singular)
linearitmiseni (nominative plural)
linearitmiseni (accusative nominative singular)
linearitmiseni (accusative nominative plural)
linearitmiseni (accusative genitive singular)
linearitmiseni (accusative genitive plural)
linearitmiseni (genitive singular)
linearitmisteni (genitive plural)
linearitmisieni (genitive plural)
linearitmistani (partitive singular)
linearitmisiani (partitive plural)
linearitmisessani (inessive singular)
linearitmisissani (inessive plural)
linearitmisestani (elative singular)
linearitmisistani (elative plural)
linearitmiseeni (illative singular)
linearitmisiini (illative plural)
linearitmisellani (adessive singular)
linearitmisillani (adessive plural)
linearitmiseltani (ablative singular)
linearitmisiltani (ablative plural)
linearitmiselleni (allative singular)
linearitmisilleni (allative plural)
linearitmisenani (essive singular)
linearitmisinani (essive plural)
linearitmisekseni (singular translative)
linearitmisikseni (plural translative)
linearitmisettani (abessive singular)
linearitmisittani (abessive plural)
linearitmisineni (comitative plural)
linearitmisesi (nominative singular)
linearitmisesi (nominative plural)
linearitmisesi (accusative nominative singular)
linearitmisesi (accusative nominative plural)
linearitmisesi (accusative genitive singular)
linearitmisesi (accusative genitive plural)
linearitmisesi (genitive singular)
linearitmistesi (genitive plural)
linearitmisiesi (genitive plural)
linearitmistasi (partitive singular)
linearitmisiasi (partitive plural)
linearitmisessasi (inessive singular)
linearitmisissasi (inessive plural)
linearitmisestasi (elative singular)
linearitmisistasi (elative plural)
linearitmiseesi (illative singular)
linearitmisiisi (illative plural)
linearitmisellasi (adessive singular)
linearitmisillasi (adessive plural)
linearitmiseltasi (ablative singular)
linearitmisiltasi (ablative plural)
linearitmisellesi (allative singular)
linearitmisillesi (allative plural)
linearitmisenasi (essive singular)
linearitmisinasi (essive plural)
linearitmiseksesi (singular translative)
linearitmisiksesi (plural translative)
linearitmisettasi (abessive singular)
linearitmisittasi (abessive plural)
linearitmisinesi (comitative plural)
linearitmisemme (nominative singular)
linearitmisemme (nominative plural)
linearitmisemme (accusative nominative singular)
linearitmisemme (accusative nominative plural)
linearitmisemme (accusative genitive singular)
linearitmisemme (accusative genitive plural)
linearitmisemme (genitive singular)
linearitmistemme (genitive plural)
linearitmisiemme (genitive plural)
linearitmistamme (partitive singular)
linearitmisiamme (partitive plural)
linearitmisessamme (inessive singular)
linearitmisissamme (inessive plural)
linearitmisestamme (elative singular)
linearitmisistamme (elative plural)
linearitmiseemme (illative singular)
linearitmisiimme (illative plural)
linearitmisellamme (adessive singular)
linearitmisillamme (adessive plural)
linearitmiseltamme (ablative singular)
linearitmisiltamme (ablative plural)
linearitmisellemme (allative singular)
linearitmisillemme (allative plural)
linearitmisenamme (essive singular)
linearitmisinamme (essive plural)
linearitmiseksemme (singular translative)
linearitmisiksemme (plural translative)
linearitmisettamme (abessive singular)
linearitmisittamme (abessive plural)
linearitmisinemme (comitative plural)
linearitmisenne (nominative singular)
linearitmisenne (nominative plural)
linearitmisenne (accusative nominative singular)
linearitmisenne (accusative nominative plural)
linearitmisenne (accusative genitive singular)
linearitmisenne (accusative genitive plural)
linearitmisenne (genitive singular)
linearitmistenne (genitive plural)
linearitmisienne (genitive plural)
linearitmistanne (partitive singular)
linearitmisianne (partitive plural)
linearitmisessanne (inessive singular)
linearitmisissanne (inessive plural)
linearitmisestanne (elative singular)
linearitmisistanne (elative plural)
linearitmiseenne (illative singular)
linearitmisiinne (illative plural)
linearitmisellanne (adessive singular)
linearitmisillanne (adessive plural)
linearitmiseltanne (ablative singular)
linearitmisiltanne (ablative plural)
linearitmisellenne (allative singular)
linearitmisillenne (allative plural)
linearitmisenanne (essive singular)
linearitmisinanne (essive plural)
linearitmiseksenne (singular translative)
linearitmisiksenne (plural translative)
linearitmisettanne (abessive singular)
linearitmisittanne (abessive plural)
linearitmisinenne (comitative plural)
linearitmisensa (nominative singular)
linearitmisensa (nominative plural)
linearitmisensa (accusative nominative singular)
linearitmisensa (accusative nominative plural)
linearitmisensa (accusative genitive singular)
linearitmisensa (accusative genitive plural)
linearitmisensa (genitive singular)
linearitmistensa (genitive plural)
linearitmisiensa (genitive plural)
linearitmistaan (partitive singular)
linearitmistansa (partitive singular)
linearitmisiaan (partitive plural)
linearitmisiansa (partitive plural)
linearitmisessaan (inessive singular)
linearitmisessansa (inessive singular)
linearitmisissaan (inessive plural)
linearitmisissansa (inessive plural)
linearitmisestaan (elative singular)
linearitmisestansa (elative singular)
linearitmisistaan (elative plural)
linearitmisistansa (elative plural)
linearitmiseensa (illative singular)
linearitmisiinsa (illative plural)
linearitmisellaan (adessive singular)
linearitmisellansa (adessive singular)
linearitmisillaan (adessive plural)
linearitmisillansa (adessive plural)
linearitmiseltaan (ablative singular)
linearitmiseltansa (ablative singular)
linearitmisiltaan (ablative plural)
linearitmisiltansa (ablative plural)
linearitmiselleen (allative singular)
linearitmisellensa (allative singular)
linearitmisilleen (allative plural)
linearitmisillensa (allative plural)
linearitmisenaan (essive singular)
linearitmisenansa (essive singular)
linearitmisinaan (essive plural)
linearitmisinansa (essive plural)
linearitmisekseen (singular translative)
linearitmiseksensa (singular translative)
linearitmisikseen (plural translative)
linearitmisiksensa (plural translative)
linearitmisettaan (abessive singular)
linearitmisettansa (abessive singular)
linearitmisittaan (abessive plural)
linearitmisittansa (abessive plural)
linearitmisineen (comitative plural)
linearitmisinensa (comitative plural)

Blend of lineaarinen + logaritminen; calque of English linearithmic


Lamport timestamp

Lamport timestamp (plural Lamport timestamps)

Named after the creator, Leslie Lamport.

(computing theory) A timestamp generated by a certain algorithm used to determine the order of events in a distributed system.


Cook-Levin theorem

Named after Stephen Cook and Leonid Levin.

(computing theory) A theorem stating that the Boolean satisfiability problem is NP-complete.


Cook's theorem

Cook-Levin theorem
Cook-Levin theorem#English

(computing theory) Synonym of Cook-Levin theorem.


PSPACE

First, the hierarchy theorems tell us that a Turing machine can decide more languages in EXPSPACE than it can in PSPACE.

1997, Michael Sipser, Introduction to the Theory of Computation, Boston, M.A.: PWS Publishing Company, →ISBN, page 313:

(computing theory) The set of all decision problems that can be solved by a Turing machine using an amount of memory which is a polynomial function of the input size.


EXPSPACE

(computing theory) The set of all decision problems that can be solved by a Turing machine using O(2ᵖ⁽ⁿ⁾) units of memory, where p(n) is a polynomial function of the input size.


reheap

en-verb

reheap (third-person singular simple present reheaps, present participle reheaping, simple past and past participle reheaped)

reheaps (present singular third-person)
reheaping (participle present)
reheaped (participle past)
reheaped (past)

(transitive, computing theory) To restructure (a modified binary tree) as a heap.