16.05.2012 |
16:16:08 |
progr. |
authentication and authorization |
аутентификация и авторизация |
16.05.2012 |
16:03:34 |
astr. |
transit of sun |
солнечный переход |
16.05.2012 |
15:59:47 |
progr. |
big endian |
тупоконечный (формат) |
16.05.2012 |
15:59:47 |
progr. |
big endian |
с обратным порядком байтов |
16.05.2012 |
2:53:52 |
progr. |
algorithms to compute quantitative timing information |
алгоритмы вычисления количественных временных характеристик |
16.05.2012 |
2:49:03 |
progr. |
quantitative timing information |
количественные временные характеристики |
16.05.2012 |
2:48:13 |
progr. |
timing information |
временные характеристики |
16.05.2012 |
2:48:13 |
progr. |
timing information |
синхроданные |
16.05.2012 |
2:48:13 |
progr. |
timing information |
синхрослова |
16.05.2012 |
2:37:38 |
progr. |
fine-tuning the behavior of the system |
тонкая настройка поведения этой системы |
16.05.2012 |
2:37:38 |
progr. |
fine-tuning the behavior of the system |
тонкая настройка поведения системы |
16.05.2012 |
2:35:21 |
progr. |
behavior of the system |
поведение этой системы |
16.05.2012 |
2:31:00 |
progr. |
Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not |
Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
16.05.2012 |
2:23:41 |
progr. |
a constraint on response time for some operation |
некоторое ограничение на время реакции для той или иной операции |
16.05.2012 |
2:22:58 |
progr. |
some operation |
та или иная операция |
16.05.2012 |
2:20:43 |
progr. |
some |
тот или иной |
16.05.2012 |
2:15:59 |
progr. |
a constraint on response time |
некоторое ограничение на время реакции |
16.05.2012 |
2:15:19 |
progr. |
a constraint |
некоторое ограничение |
16.05.2012 |
2:06:46 |
progr. |
formal verification algorithms |
алгоритмы формальной верификации |
16.05.2012 |
1:57:40 |
progr. |
bounded until operator |
оператор ограниченного ожидания |
16.05.2012 |
1:57:13 |
progr. |
bounded until |
ограниченное ожидание |
16.05.2012 |
1:51:50 |
progr. |
much more compact and convenient way of expressing such properties |
намного более компактный и удобный способ задания таких свойств |
16.05.2012 |
1:48:55 |
progr. |
such properties |
такие свойства |
16.05.2012 |
1:48:28 |
progr. |
such property |
такое свойство |
16.05.2012 |
1:43:29 |
gen. |
convenient way |
удобный способ |
16.05.2012 |
1:42:49 |
progr. |
much more compact and convenient way |
намного более компактный и удобный способ |
16.05.2012 |
1:31:07 |
progr. |
bounded operators |
ограниченные операторы |
16.05.2012 |
1:29:08 |
progr. |
expressive power |
выразительные возможности |
16.05.2012 |
1:23:51 |
progr. |
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) |
16.05.2012 |
1:20:35 |
progr. |
introduce bounds |
вносить ограничения |
16.05.2012 |
1:13:50 |
progr. |
allow the verification of time bounded properties |
позволять верифицировать свойства с ограничениями по времени |
16.05.2012 |
1:10:42 |
progr. |
time bounded properties |
свойства с ограничениями по времени |
16.05.2012 |
1:08:44 |
progr. |
temporal operators |
темпоральные операторы |
16.05.2012 |
1:07:30 |
progr. |
temporal operator |
темпоральный оператор |
16.05.2012 |
0:59:00 |
progr. |
simple and effective way |
простой и эффективный способ |
16.05.2012 |
0:46:29 |
progr. |
more complex verification techniques based on continuous time |
более сложные методы верификации, основанные на непрерывном времени |
16.05.2012 |
0:45:41 |
progr. |
more complex verification techniques |
более сложные методы верификации |
16.05.2012 |
0:43:43 |
progr. |
verification techniques based on continuous time |
методы верификации, основанные на непрерывном времени |
16.05.2012 |
0:41:57 |
progr. |
verification techniques |
методы верификации |
16.05.2012 |
0:40:54 |
progr. |
verification technique |
метод проверки |
16.05.2012 |
0:40:10 |
progr. |
verification technique |
метод верификации |
16.05.2012 |
0:34:06 |
progr. |
Some systems, however, are inherently asynchronous in nature |
Некоторые системы, однако, существенно асинхронны по своей природе |
16.05.2012 |
0:33:23 |
progr. |
some systems |
некоторые системы |
16.05.2012 |
0:26:44 |
progr. |
techniques based on discrete time |
методы, основанные на дискретном времени |
16.05.2012 |
0:13:26 |
progr. |
asynchronous circuit |
асинхронная микросхема (последовательностная микросхема, которая срабатывает (становится активной) при любом изменении входных сигналов) |
16.05.2012 |
0:06:44 |
progr. |
asynchronous behavior |
рассинхронизация (нарушение синхронизации – создаёт проблемы в системах с синхронным режимом передачи данных) |
16.05.2012 |
0:05:17 |
progr. |
asynchronous behavior |
асинхронность |
16.05.2012 |
0:03:23 |
progr. |
asynchronous behavior |
асинхронное поведение (поведение системы, процесса или объекта, в котором присутствует асинхронность действий (asynchronous action)) |
16.05.2012 |
0:03:23 |
progr. |
asynchronous behavior |
асинхронность поведения |
15.05.2012 |
23:53:32 |
progr. |
asynchronous design techniques |
методы асинхронного проектирования |
15.05.2012 |
23:53:03 |
progr. |
asynchronous design |
асинхронное проектирование |
15.05.2012 |
23:47:38 |
progr. |
tight timing constraints |
жёсткие временные ограничения |
15.05.2012 |
23:10:18 |
progr. |
computer circuits and protocols |
компьютерные микросхемы и протоколы |
15.05.2012 |
23:09:05 |
progr. |
computer circuits |
компьютерные микросхемы |
15.05.2012 |
23:06:39 |
progr. |
computer circuit |
компьютерная микросхема |
15.05.2012 |
23:04:42 |
progr. |
computer circuit |
схема компьютера |
15.05.2012 |
23:04:42 |
progr. |
computer circuit |
схема вычислительного устройства |
15.05.2012 |
2:18:29 |
progr. |
number of computation steps between events |
количество вычислительных шагов между событиями |
15.05.2012 |
2:17:48 |
progr. |
number of computation steps |
количество вычислительных шагов |
15.05.2012 |
2:16:07 |
progr. |
computation steps |
вычислительные шаги |
15.05.2012 |
2:15:07 |
progr. |
computation step |
вычислительный шаг |
15.05.2012 |
2:11:12 |
progr. |
important characteristic |
важная характеристика |
15.05.2012 |
2:03:17 |
progr. |
actual implementation |
настоящая реализация |
15.05.2012 |
1:58:37 |
progr. |
development costs |
расходы на разработку |
15.05.2012 |
1:54:41 |
progr. |
analyze the performance of the modified design |
анализ производительности изменённого проекта (системы) |
15.05.2012 |
1:49:09 |
progr. |
modified design |
изменённый проект |
15.05.2012 |
1:43:23 |
progr. |
behavior of the system |
поведение системы |
15.05.2012 |
1:41:02 |
progr. |
several other parameters of the system |
некоторые другие параметры системы |
15.05.2012 |
1:39:23 |
progr. |
reaction times to events |
время реакции на события |
15.05.2012 |
1:32:19 |
progr. |
schedulability of the tasks of the system |
существование расписания для задач системы |
15.05.2012 |
1:30:22 |
progr. |
tasks of the system |
задачи системы |
15.05.2012 |
1:29:54 |
progr. |
task of the system |
задача системы |
15.05.2012 |
1:20:38 |
progr. |
information produced |
полученная информация |
15.05.2012 |
1:04:27 |
progr. |
benefit of this approach |
достоинство этого подхода |
15.05.2012 |
1:04:27 |
progr. |
benefit of this approach |
преимущество этого подхода |
15.05.2012 |
0:58:28 |
progr. |
compute quantitative information about the model |
вычисление количественной информации о модели |
15.05.2012 |
0:55:20 |
progr. |
quantitative information about the model |
количественная информация о модели |
15.05.2012 |
0:37:36 |
progr. |
discrete-time models |
модели с дискретным временем |
15.05.2012 |
0:31:49 |
progr. |
restricted quantitative analysis |
ограниченный количественный анализ |
15.05.2012 |
0:28:27 |
progr. |
given property |
заданное свойство |
15.05.2012 |
0:25:13 |
progr. |
symbolic model-checking techniques |
символьные методы верификации моделей |
15.05.2012 |
0:17:44 |
progr. |
computing the set of reachable states |
вычисление множества достижимых состояний |
15.05.2012 |
0:15:07 |
progr. |
deadline |
директивный срок |
15.05.2012 |
0:10:10 |
progr. |
special exception state |
особое состояние исключения |
15.05.2012 |
0:07:26 |
progr. |
exception state |
состояние исключения |
14.05.2012 |
23:52:35 |
progr. |
algorithms for computing the set of reachable states of a finite-state system |
алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний |
14.05.2012 |
23:48:47 |
progr. |
algorithms for computing the set of reachable states |
алгоритмы вычисления множества достижимых состояний |
14.05.2012 |
23:46:03 |
progr. |
algorithms for computing |
алгоритмы вычисления |
14.05.2012 |
23:44:30 |
progr. |
algorithm for computing |
алгоритм вычисления |
14.05.2012 |
23:43:44 |
progr. |
approaches to schedulability analysis |
подходы к анализу составления расписаний |
14.05.2012 |
23:42:24 |
progr. |
schedulability analysis |
анализ составления расписаний |
14.05.2012 |
23:37:04 |
progr. |
set of reachable states |
множество достижимых состояний |
14.05.2012 |
23:33:17 |
progr. |
reachable states |
достижимые состояния |
14.05.2012 |
1:55:30 |
progr. |
standard interface for reading the system timer |
стандартный интерфейс для чтения системного таймера |
14.05.2012 |
1:53:16 |
progr. |
reading the system timer |
чтение системного таймера |
14.05.2012 |
1:51:56 |
progr. |
system timer |
системный таймер |
14.05.2012 |
1:43:53 |
progr. |
advanced building blocks |
дополнительные конструктивные блоки |
14.05.2012 |
1:43:53 |
progr. |
advanced building blocks |
расширенные конструктивные блоки |
14.05.2012 |
1:43:53 |
progr. |
advanced building blocks |
усовершенствованные конструктивные блоки |
14.05.2012 |
1:41:45 |
progr. |
advanced building block |
дополнительный конструктивный блок |