checking system
1automatic checking system — automatinės kontrolės sistema statusas T sritis automatika atitikmenys: angl. automatic checking system; automatic checkout system vok. automatisches Prüfsystem, n rus. система автоматического контроля, f pranc. système de contrôle automatique, m …
2automatic checking system — automatinio tikrinimo sistema statusas T sritis automatika atitikmenys: angl. automatic checking system vok. automatisches Kontrollsystem, n rus. система автоматического контроля, f pranc. système à contrôle automatique, m …
3System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… …
4System programming — Systems programming (or system programming) is the activity of programming system software. The primary distinguishing characteristic of systems programming when compared to application programming is that application programming aims to produce… …
5System accident — A system accident is an unanticipated interaction of multiple failures in a complex system. This complexity can either be technological or organizational, and often is both.[1] A system accident can be very easy to see in hindsight, but very… …
6checking chip — patikros lustas statusas T sritis radioelektronika atitikmenys: angl. checking chip; expert system chip vok. Expertensystem Chip, n rus. кристалл ИС экспертной системы, m pranc. puce de système expert, f …
7Spring (operating system) — Spring was an experimental microkernel based object oriented operating system developed at Sun Microsystems in the early 1990s. Using technology substantially similar to concepts developed in the Mach kernel, Spring concentrated on providing a… …
8automatic checkout system — automatinės kontrolės sistema statusas T sritis automatika atitikmenys: angl. automatic checking system; automatic checkout system vok. automatisches Prüfsystem, n rus. система автоматического контроля, f pranc. système de contrôle automatique, m …
9Type 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 …
10Model 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… …
