English | Russian |
A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
as we will see, this unsurprisingly is a convenient value for a range of simple timing applications, using software delay loops and the counter/timer | как мы увидим позже, это – очень удобное значение для многих простых задач, опирающихся на синхронизацию, в которых используются программные циклы временной задержки и счётчики / таймеры |
in the case of a simple vending machine, there are two kinds of event | в случае простого торгового автомата существуют два вида событий |
in the simplest case, you may load a set of C programming abstractions, which will let you write C code | в частности, если взять наиболее простой случай, загрузка набора программных абстракций C позволяет писать на этом языке код (см. Generative Programming: Methods, Tools, and Applications / Krzysztof Czarnecki, Ulrich Eisenecker) |
one of the simplest industrial serial data transmission interfaces | один из наиболее простых промышленных интерфейсов для последовательной передачи данных (ssn) |
simple applications of the ADT queue | некоторые применения абстрактной очереди (ssn) |
simple applications of the ADT stack | простые примеры использования абстрактного стека (ssn) |
simple box containing the timer mode | простой блочный элемент, содержащий режим таймера (ssn) |
simple member-by-member copy of the source object | простое копирование всех членов исходного объекта (ssn) |
simple microwave oven equipped with buttons to set the power and the timer and to start the system | простая микроволновая печь, оборудованная кнопками включения питания, таймера и запуска системы (ssn) |
simple ways to improve the readability of code | простые способы облегчить читаемость кода (ssn) |
simplest variant of the lazy load pattern | самый простой вариант паттерна "загрузка по требованию" (ssn) |
state machine model of a simple microwave oven equipped with buttons to set the power and the timer and to start the system | модель конечного автомата простой микроволновой печи, оборудованной кнопками включения питания, таймера и запуска системы (ssn) |
the BCD format is similar to the hexadecimal presentation, with the simple difference that only values between 0 and 99 can be stored in a BCD byte, whereas a hexadecimal byte reaches from 0 to FF | формат BCD подобен шестнадцатеричному представлению с ограничением диапазона чисел 0..99 вместо 0..FF (ssn) |
the behavior of the automatic version is to perform a simple member-by-member copy of the source object | Работа автоматической версии состоит в выполнении простого копирования всех членов исходного объекта |
the design of automatic digital computers is not a simple matter | Проектирование автоматических цифровых компьютеров – непростое дело |
the design of automatic digital computers is not a simple matter | Проектирование автоматических цифровых компьютеров непростое дело |
the simple name declared by a type declaration denotes the declared type, unless the type declaration declares both a base type and a subtype of the base type | Простое имя, стоящее в объявлении типа, обозначает описываемый тип при условии, что это объявление не описывает одновременно базовый тип и подтип этого базового типа (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual) |
the simple Petri net view of a system concentrates on two primitive concepts: events and conditions | Простое представление системы сетью Петри основано на двух основополагающих понятиях: событиях и условиях |
the simplest | простейший (напр., тип двоичных чисел ssn) |
the simplest form of class definition looks like this | Простейшая модель определения класса выглядит следующим образом: |
the sum procedure is only the simplest of a vast number of similar abstractions that can be captured as higher-order procedures | Процедура sum – всего лишь простейшая из обширного множества подобных абстракций, которые можно выразить через процедуры высших порядков (см. Harold Abelson and Gerald Jay Sussman with Julie Sussman 1999, Structure and Interpretation of Computer Programs) |
the sum procedure is only the simplest of a vast number of similar abstractions that can be captured as higher-order procedures | Процедура sum всего лишь простейшая из обширного множества подобных абстракций, которые можно выразить через процедуры высших порядков (см. Harold Abelson and Gerald Jay Sussman with Julie Sussman 1999, Structure and Interpretation of Computer Programs) |
theoretically the issue is simple | теоретически проблема проста (ssn) |
this simple pattern is at the heart of episodic computation | этот простой паттерн – самая суть эпизодических вычислений |
this simple pattern is at the heart of episodic computation | этот простой паттерн самая суть эпизодических вычислений |
trace of the simple vending machine | протокол простого торгового автомата (ssn) |
trace of the simple vending machine at the moment it has completed service of its first two customers | протокол простого торгового автомата в момент завершения обслуживания первых двух покупателей (ssn) |
using the delegation model in a simple multithreaded program | использование модели делегирования в простой многопоточной программе (ssn) |