checkers

Thus, assertions/properties can be used as checkers/monitors or as targets of formal proofs, and they are usually used to identify/trap undesirable behavior.

Таким образом, свойства/утверждения могут использоваться в качестве средств проверки и (или) наблюдения или в качестве объектов формальных доказательств, а часто для выявления и локализации недопустимого поведения устройства.

Maxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and FlowsМаксфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Максфилд, Клайв

© Издательский дом «Додэка-XXI», 2007

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, Clive

© 2004, Mentor Graphics Corporation and Xilinx, Inc.

What the hell ya think we did all night—play checkers, for Chrissake?”

Что мы с ней — в шашки играли весь вечер, как, по-твоему?

Salinger, Jerome / The Catcher in the RyeСэлинджер, Джером / Над пропастью во ржи

Над пропастью во ржи

Сэлинджер, Джером

© Р. Райт-Ковалева (наследник), перевод, 1967

© "Азбука-классика", 2004

The Catcher in the Rye

Salinger, Jerome

© 1945, 1946, 1951 by J. D. Salinger

© renewed 1979 by J. D. Salinger

The vortex of gas and air flows provides full burning of gas up to the inlet into the checker-work and uniform flow distribution along the checker-work.

Закрутка потоков обеспечивает полное выгорание газа до входа в насадку и равномерное распределение потока по насадке.

http://www.patentlens.net/ 11/6/2011

http://www.patentlens.net/ 11/6/2011

I have coursed many creatures in many countries during my checkered career, but never did sport give me such a wild thrill as this mad, flying man-hunt down the Thames.

За годы моей полной приключений армейской жизни мне не раз приходилось участвовать в погоне, но никогда я не испытывал такого жгучего волнения, как во время этой бешеной гонки по Темзе.

Conan Doyle, Arthur / The Sign of FourКонан Дойль, Артур / Знак четырех

Знак четырех

Конан Дойль, Артур

© Издательство "Вышэйшая школа", 1984

The Sign of Four

Conan Doyle, Arthur

© 2006 by Leslie S. Klinger

Mo'amba passed close by Ashley's side as he thumped over to his red-and-yellow-checkered pillow.

Мимо Эшли, тяжело ступая, прошел Мо'амба и, подойдя к своей подушке в красно-желтую клетку, уселся на нее.

Rollins, James / SubterraneanРоллинс, Джеймс / Пещера

Пещера

Роллинс, Джеймс

© 1999 by Jim Czajkowski

© А. Новиков, перевод, 2008

© ООО "Издательство "Эксмо", издание на русском языке, 2008

Subterranean

Rollins, James

© 1999 by Jim Czajkowski

During blast period the cold blast is supplied into the checker-work 3 bottom-up and, passing upwards, is heated up.

В дутьевой период холодное дутье поступает в насадку 3 снизу и, проходя ее верх, нагревается.

http://www.patentlens.net/ 11/6/2011

http://www.patentlens.net/ 11/6/2011

"Why don't you use the spelling checker?

– Почему бы тебе не воспользоваться контрольным аппаратом?

Duane, Diane / Spock's WorldДуэйн, Диана / Мир Спока

Мир Спока

Дуэйн, Диана

Spock's World

Duane, Diane

© 1988 Paramount Pictures

Remove Registry entries for applications or drivers that are deemed incompatible by the upgrade compatibility checker.

Удаления записей приложений и драйверов из системного реестра, несовместимых с новой операционной системой.

Boswell, William / Inside Windows Server 2003Бозуэлл, Уилльям / Внутренный мир Windows Server 2003, SP1 и R2

Внутренный мир Windows Server 2003, SP1 и R2

Бозуэлл, Уилльям

© Издательский дом "Вильямс", 2006

© Pearson Education, Inc., 2003

Inside Windows Server 2003

Boswell, William

© 2003 by Pearson Education, Inc.

Over his knees he had a checkered woollen plaid reaching to the floor, though it was warm in the room.

На коленях его был развернут до полу шерстяной клетчатый плэд, хотя в комнате было тепло.

Dostoevsky, Fyodor / The possessedДостоевский, Фёдор / Бесы

Бесы

Достоевский, Фёдор

© Издательство "Художественная литература", 1989

The possessed

Dostoevsky, Fyodor

It doesn’t take long before a system’s size grows beyond the practical limitations of a model checker.

Очень скоро наступит ситуация, когда рост размеров системы превысит практические ограничения, присущие системе верификации моделей.

Maxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and FlowsМаксфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Максфилд, Клайв

© Издательский дом «Додэка-XXI», 2007

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, Clive

© 2004, Mentor Graphics Corporation and Xilinx, Inc.

Suddenly your adversary's checker disappears beneath the board, and the problem is to place yours nearest to where his will appear again.

Шашка противника неожиданно ныряет под доску, а тебе надо сделать такой ход, чтобы очутиться возможно ближе к месту, где она вынырнет.

Thoreau, Henry David / WaldenТоро, Генри Дэвид / Уолден

Уолден

Торо, Генри Дэвид

© Издательство Академии Наук СССР, 1962

Walden

Thoreau, Henry David

© 2008 Megalodon Entertainment LLC.

Peveril broke off in extreme surprise; for as he spake the last words, the bright red beams of the family beacon began again to glimmer from its wonted watch-tower, checkering the pale moonbeam with a ruddier glow.

Джулиан в изумлении умолк, ибо едва он произнес последние слова, как яркое пламя фамильного маяка Певерилов вновь блеснуло на сторожевой башне, освещая бледный луч луны своим красноватым заревом.

Scott, Walter / Peveril of the PeakСкотт, Вальтер / Певерил Пик

Певерил Пик

Скотт, Вальтер

© Издательство "Художественная литература", 1964

Peveril of the Peak

Scott, Walter

© 2006 BiblioBazaar

Behind the bar, Teddy was loudly blowing his nose into a checkered handkerchief.

За стойкой Тэдди шумно сморкался в клетчатый носовой платок.

Strugatsky, Arkady,Strugatsky, Boris / The Ugly SwansСтругацкий, Аркадий,Стругацкий, Борис / Гадкие лебеди

Гадкие лебеди

Стругацкий, Аркадий,Стругацкий, Борис

The Ugly Swans

Strugatsky, Arkady,Strugatsky, Boris

© 1979 by Macmillan Publishing Co., Inc.

Around the hind legs of his horse the hounds gambolled like a cluster of checkered, restless balls.

Около задних ног его лошади пестрым, волнующимся клубком бежали сомкнутые гончие.

Толстой, Л.Н. / ДетствоTolstoy, Leo / Childhood

Childhood

Tolstoy, Leo

© 2007 Objective Systems Pty Ltd

Детство

Толстой, Л.Н.

© Издательство "Художественная литература", 1960

The hot blast connecting pipe 4 is located above checker-work 3 on distance up to its axis not less than 1 diameter of its flow area section.

Штуцер горячего дутья 4 расположен над насадкой 3 на расстоянии до его оси не менее 1 диаметра его проходного сечения.

http://www.patentlens.net/ 11/6/2011

http://www.patentlens.net/ 11/6/2011