checking+sequence

См. также в других словарях:

• 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

• Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… …   Wikipédia en Français

• Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… …   Wikipédia en Français

• The Simpsons opening sequence — The Simpsons title screen as of 2009. The Simpsons opening sequence is an element that begins almost every episode of the American animated television series The Simpsons. Starting with the season 20 episode Take My Life, Please , the opening… …   Wikipedia

• Profibus — Infobox Fieldbus Protocol Name = PROFIBUS Type of Network = Device Bus, Process Control Physical Media = Twisted pair, fiber Network Topology = Bus Device Addressing = DIP Switch or hardware/software Governing Body = PROFIBUS PROFINET… …   Wikipedia

• PROFIBUS — (Process Field Bus) ist ein Standard für die Feldbus Kommunikation in der Automatisierungstechnik und wurde anfangs (1989) vom BMBF gefördert. Es ist nicht zu verwechseln mit dem PROFINET Standard für Industrial Ethernet. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

• FCS — abbr. File Control Services File Conversion System Frame Checking Sequence …   Dictionary of English abbreviation

• контрольная последовательность блоков данных — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN block checking sequence …   Справочник технического переводчика

• порядок проверки — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN checking sequence …   Справочник технического переводчика

• 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

• Controlled grammar — Controlled grammars[1] are a class of grammars that extend, usually, the context free grammars with additional controls on the derivations of a sentence in the language. A number of different kinds of controlled grammars exist, the four main… …   Wikipedia