This combination of simulation and traditional static formal verification is referred to as dynamic formal verification.

Эта комбинация системы моделирования и традиционной статической формальной верификации называется динамической формальной верификацией.

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.

For a typical wireless channel, the received signal usually consists of several discrete multipath components, causing S(t) to exhibit multiple isolated peaks, sometimes referred to as fingers or returns.

Для типичного беспроводного канала полученный сигнал обычно состоит из нескольких дискретных многолучевых компонентов, приводящих к появлению изолированных пиков S(t), называемых иногда пальцами, или отраженными сигналами.

Sklar, Bernard / Digital Communications: Fundamentals and ApplicationsСкляр, Бернард / Цифровая связь. Теоретические основы и практическое применение

Цифровая связь. Теоретические основы и практическое применение

Скляр, Бернард

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

© Prentice Hall PTR, 2001

Digital Communications: Fundamentals and Applications

Sklar, Bernard

We have audited the accounting (financial) statements for 2008 attached to this Auditor's Opinion of the Interregional Distribution Grid Company of Centre, Joint-Stock Company (hereinafter referred to as "the Company").

Мы провели аудит прилагаемой к настоящему Аудиторскому заключению бухгалтерской (финансовой) отчетности Открытого акционерного общества "Межрегиональная распределительная сетевая компания Центра" (далее - "Общество") за 2008 год.

© 2010 JSC "IDGC Holding"

http://www.holding-mrsk.ru/ 12/20/2011

© 2010 ОАО "Холдинг МРСК"

http://www.holding-mrsk.ru/ 12/20/2011

PHP also makes use of a variable type referred to as "objects," but that is a far more complicated topic than we can discuss in an introductory book. To learn about objects and how to use them, see Appendix C, PHP Resources.

В РНР используется еще один тип переменных - объекты, но это сложный вопрос, рассматривающийся в приложении С.

Ullman, Larry / PHP for the World Wide Web: Visual QuickStart GuideУльман, Ларри / Основы программирования на РНР

Основы программирования на РНР

Ульман, Ларри

© 2001 by Peachpit Press

© Перевод на русский язык ДМК Пресс, 2001

PHP for the World Wide Web: Visual QuickStart Guide

Ullman, Larry

© 2001 by Larry Ullman

Ad hoc networks are also commonly referred to as peer-to-peer networks.

Неплановые сети также часто называют одноранговыми или пиринговыми сетями (от англ, peer-to-peer).

Geier, Jim / Wireless Networks first-stepГейер, Джим / Беспроводные сети. Первый шаг

Беспроводные сети. Первый шаг

Гейер, Джим

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

© Cisco Systems, Inc., 2005

Wireless Networks first-step

Geier, Jim

© 2005 Cisco Systems, Inc.

Only one of the wavefronts corresponds precisely to the predetermined image, all the rest is referred to as noise and should be suppressed.

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

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

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

More and more new Parex banka customers now benefit from the profitability of private pension plans (hereinafter referred to as the PPF).

В высокой доходности частных пенсионных фондов (далее в тексте: ЧПФ) с каждым годом убеждаются все больше клиентов Parex banka.

http://www.parex.lv/en 11/28/2011

http://www.parex.lv/en 11/28/2011

Usually when both faces are water saturated through respective fractures, this is referred to as block totally surrounded by water or block totally immersed in water.

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

Golf-Racht, T. D. van / Fundamentals of Fractured Reservoir EngineeringГолф-Рахт, Т. Д. / Основы нефтепромысловой геологии и разработки трещиноватых коллекторов

Основы нефтепромысловой геологии и разработки трещиноватых коллекторов

Голф-Рахт, Т. Д.

© Elsevier Scientific Publishing Company, 1982

© Перевод на русский язык, издательство «Недра», 1986

Fundamentals of Fractured Reservoir Engineering

Golf-Racht, T. D. van

© Elsevier Scientific Publishing Company, 1982

The above mentioned features are achieved by derivation and application of a nonlinear of polycondensation of 1,1,3,3 -tetrahydroxy-1,3 -dimethyldisiloxane polyhydrate (hereinafter referred to as TMPH), its structural formula we can see on FIG. 1.

Указанное достигается путем получения и использования нелинейного продукта поликонденсации 1,1,3,3-тетрагидрокси-1,3- диметилдисилоксана полигидрата, (далее по тексту ТМПГ), имеющего структурную формулу, представленную на фиг. 1.

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

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

Three of the four technologies—CSS, DOM, and JavaScript—have been collectively referred to as Dynamic HTML, or DHTML for short.

Три из этих четырех технологий — CSS, DOM и JavaScript — составляют DHTML (Dynamic HTML).

Crane, Dave,Pascarello, Eric / Ajax in ActionКрейн, Дейв,Паскарелло, Эрик / Ajax в действии

Ajax в действии

Крейн, Дейв,Паскарелло, Эрик

© 2006 by Manning Publications Co.

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

Ajax in Action

Crane, Dave,Pascarello, Eric

© 2006 by Manning Publications Co.

This particular combination of days is referred to as a bearish Doji Star.

На эту частную комбинацию дней ссылаются как на медвежью доджи-звезду.

Morris, Gregory L. / Candlestick Charting ExplainedМоррис, Грегори Л. / Японские свечи: метод анализа акций и фьючерсов, проверенный

Японские свечи: метод анализа акций и фьючерсов, проверенный

Моррис, Грегори Л.

© Gregory L. Morris, 1995

© Альпина Паблишер — перевод на русский язык, оформление, 2001

Candlestick Charting Explained

Morris, Gregory L.

© 1992, 1995, 2006 by Gregory L. Morris

Therefore, the substrate side with the first n+ conductivity type doped regions provided thereon is conventionally referred to as a first side, and the opposite side of the second p+ conductivity type basic layer—as a second side.

В связи с этим первой стороной подложки условно обозначили сторону, на которой выполнены легирование области первого типа проводимости n+, а второй стороной - противоположную, относящуюся к базовому слою второго типа проводимости p+.

http://www.patentlens.net/ 10/31/2011

http://www.patentlens.net/ 10/31/2011

These are also referred to as element-based selectors, because they decide whether or not a DOM element is styled based on its element type.

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

Crane, Dave,Pascarello, Eric / Ajax in ActionКрейн, Дейв,Паскарелло, Эрик / Ajax в действии

Ajax в действии

Крейн, Дейв,Паскарелло, Эрик

© 2006 by Manning Publications Co.

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

Ajax in Action

Crane, Dave,Pascarello, Eric

© 2006 by Manning Publications Co.

Provider's service system (hereinafter referred to as “service system” or “system”) refers to a system which enables a user to access VAS-services from his mobile terminal, generally in automatic mode.

Под «ceρвиcнoй системой пpoвaйдepa» (далее — сервисная система или система) будем понимать систему, которая обеспечивает абоненту доступ с его мобильного терминала к VАS-услугам, как правило, в автоматическом режиме.

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

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

EPP is a newer specification, sometimes referred to as the Fast Mode parallel port.

Это новый тип параллельного порта, который иногда называют быстродействующим параллельным портом (Enhanced Parallel Port — ЕРР).

Mueller, Scott / Upgrading and Repairing LaptopsМюллер, Скотт / Модернизация и ремонт ноутбуков

Модернизация и ремонт ноутбуков

Мюллер, Скотт

© Que Corporation, 2004

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

Upgrading and Repairing Laptops

Mueller, Scott

© 2006 by Que Corporation