- consistency operation
- операция доопределения (при моделировании логических схем)
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Operation Eagle Claw — Operation Rice Bowl redirects here. It is not to be confused with the Catholic Relief Services program to end hunger and poverty. Operation Eagle Claw Part of Iran Hostage Crisis … Wikipedia
Operation Orchard — Orchard/Bustan Part of Arab–Israeli Conflict Before and after photo of target released by the U.S. government … Wikipedia
Local consistency — In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… … Wikipedia
Data consistency — summarizes the validity, accuracy, usability and integrity of related data between applications and across an IT enterprise. This ensures that each user observes a consistent view of the data, including visible changes made by the user s own… … Wikipedia
Weak consistency — The name weak consistency may be used in two senses. In the first sense, strict and more popular, the weak consistency is one of the consistency models used in the domain of the concurrent programming (e.g. in distributed shared memory,… … Wikipedia
Flexible single master operation — Flexible Single Master Operations (FSMO, F is sometimes floating ; pronounced Fiz mo), or just single master operation or operations master, is a feature of Microsoft s Active Directory (AD).[1] As of 2005, the term FSMO has been deprecated… … Wikipedia
Release consistency — is one of the consistency models used in the domain of the concurrent programming (e.g in distributed shared memory, distributed transactions etc). Systems of this kind are characterised by the existence of two special synchronisation operations … Wikipedia
Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… … Wikipedia
Causal consistency — is one of the consistency models used in the domain of the concurrent programming (e.g in distributed shared memory, distributed transactions etc).A system provides causal consistency if writes that potentially are causally related are seen by… … Wikipedia
Delta consistency — is one of the consistency models used in the domain of parallel programming, for example in distributed shared memory, distributed transactions, and Optimistic replication The delta consistency model states that an update will propagate through… … Wikipedia
Operational transformation — Operation Transformation redirects here. For the cross media event, see Operation Transformation (TV series). Operational transformation (OT) is a technology for supporting a range of collaboration functionalities in advanced groupware systems.… … Wikipedia