- checking practice
-
ведение (доменной печи) с периодическим снижением дутья
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
Checking whether a coin is fair — In statistics, the question of checking whether a coin is fair is one whose importance lies, firstly, in providing a simple problem on which to illustrate basic ideas of statistical inference and, secondly, in providing a simple problem that can… … Wikipedia
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Bounds-checking elimination — In computer science, bounds checking elimination is a compiler optimization useful in programming languages or runtimes that enforce bounds checking, the practice of consistently checking every index into an array to verify that the index is… … Wikipedia
Dead checking — is U.S. military jargon for the practice of verifying the death of Iraqi insurgents and the subsequent killing of those who remain alive when U.S. Armed Forces enter an insurgent house in hot battle as part of Operation Iraqi Freedom. The term… … Wikipedia
Negative checking — is a process by which producers of film, television and radio programs will attempt to ensure that the names of fictional characters cannot be confused with real life people. For instance, during the making of the series Inspector Morse, the… … Wikipedia
Microburst — Illustration of a microburst. Note the downward motion of the air until it hits ground level. It then spreads outward in all directions. The wind regime in a microburst is opposite to that of a tornado … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
Money supply — Finance Financial markets Bond market … Wikipedia
Penalty (ice hockey) — A penalty in ice hockey is a punishment for inappropriate behavior. Most penalties are enforced by detaining the offending player within a penalty box for a set number of minutes, during which, the player can not participate in play. The… … Wikipedia
Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… … Wikipedia