13.05.2012 |
2:41:55 |
progr. |
more general classes of processes |
более общие классы процессов |
13.05.2012 |
2:41:14 |
progr. |
more general |
более общий |
13.05.2012 |
2:38:41 |
progr. |
classes of processes |
классы процессов |
13.05.2012 |
2:38:01 |
progr. |
recent work |
недавние работы |
13.05.2012 |
2:38:01 |
progr. |
recent work |
последнее задание |
13.05.2012 |
2:26:33 |
progr. |
certain types of processes |
определённые типы процессов |
13.05.2012 |
2:25:59 |
progr. |
certain types |
определённые типы |
13.05.2012 |
2:25:17 |
progr. |
certain type |
определённый тип |
13.05.2012 |
2:23:12 |
progr. |
series of restrictions on the system being verified |
ряд ограничений на проверяемую систему |
13.05.2012 |
2:18:49 |
progr. |
system being verified |
проверяемая система |
13.05.2012 |
2:15:26 |
progr. |
series of restrictions |
ряд ограничений |
13.05.2012 |
2:11:52 |
progr. |
very important information |
очень важная информация |
13.05.2012 |
2:06:38 |
progr. |
powerful tool |
мощный инструмент |
13.05.2012 |
2:01:34 |
progr. |
schedulability is not guaranteed |
существование расписания не гарантируется |
13.05.2012 |
2:01:34 |
progr. |
schedulability is not guaranteed |
планируемость не гарантируется |
13.05.2012 |
2:01:34 |
progr. |
schedulability is not guaranteed |
диспетчируемость не гарантируется |
13.05.2012 |
1:59:51 |
progr. |
schedulability |
существование расписания |
13.05.2012 |
1:54:52 |
progr. |
a set of processes |
множество процессов |
13.05.2012 |
1:52:39 |
progr. |
below a computed threshold |
меньше некоторого вычисленного порога |
13.05.2012 |
1:52:39 |
progr. |
below a computed threshold |
меньше некоторого вычисленного граничного значения |
13.05.2012 |
1:46:28 |
progr. |
computed threshold |
вычисленное граничное значение |
13.05.2012 |
1:45:35 |
progr. |
computed threshold |
вычисленный порог |
13.05.2012 |
1:30:53 |
progr. |
schedulability test based on total CPU utilization |
тест на существование расписания, основанный на суммарной доле занятости процессора (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
13.05.2012 |
1:30:53 |
progr. |
schedulability test based on total CPU utilization |
тест на существование расписания, основанный на суммарной доле занятости ЦП (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
13.05.2012 |
1:30:53 |
progr. |
schedulability test based on total CPU utilization |
тест на планируемость, основанный на полном коэффициенте использования процессора (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
13.05.2012 |
1:30:53 |
progr. |
schedulability test based on total CPU utilization |
тест на планируемость, основанный на полном коэффициенте использования ЦП (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
13.05.2012 |
1:30:53 |
progr. |
schedulability test based on total CPU utilization |
тест на диспетчируемость, основанный на полном коэффициенте использования ЦП |
13.05.2012 |
1:20:21 |
progr. |
total CPU utilization |
суммарная доля занятости процессора (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
13.05.2012 |
1:20:21 |
progr. |
total CPU utilization |
суммарная доля занятости ЦП (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний)) |
13.05.2012 |
1:01:59 |
progr. |
schedulability test |
тест на существование расписания |
13.05.2012 |
1:01:59 |
progr. |
schedulability test |
тест на планируемость |
13.05.2012 |
1:01:59 |
progr. |
schedulability test |
тест на диспетчируемость |
13.05.2012 |
0:50:13 |
progr. |
static priority algorithms |
алгоритмы со статическими приоритетами |
13.05.2012 |
0:46:24 |
progr. |
optimal response time |
оптимальное время реакции |
13.05.2012 |
0:44:02 |
progr. |
algorithm for assigning higher priorities to processes with shorter periods |
алгоритм, назначающий более высокий приоритет процессам с более коротким периодом |
13.05.2012 |
0:42:58 |
progr. |
processes with shorter periods |
процессы с более коротким периодом |
13.05.2012 |
0:42:19 |
progr. |
shorter period |
более короткий период |
13.05.2012 |
0:33:12 |
progr. |
execution time at each instantiation |
время выполнения во время каждого запуска (напр., задачи) |
13.05.2012 |
0:33:12 |
progr. |
execution time at each instantiation |
время выполнения при каждом запуске (напр., задачи) |
13.05.2012 |
0:27:56 |
progr. |
each instantiation |
каждый запуск (напр., задачи) |
13.05.2012 |
0:17:45 |
progr. |
a set of periodic tasks |
множество периодических задач |
13.05.2012 |
0:15:07 |
progr. |
RMS theory |
теория монотонных расписаний |
13.05.2012 |
0:15:07 |
progr. |
RMS theory |
теория RMS |
13.05.2012 |
0:06:11 |
progr. |
more powerful techniques |
более мощные методы |
12.05.2012 |
23:23:33 |
progr. |
static time-slicing |
статическое квантование времени (распределяет время равномерно между всеми задачами. Каждая задача выполняется на протяжении своего интервала времени, а затем освобождает процессор) |
12.05.2012 |
23:19:04 |
progr. |
inefficient implementations |
неэффективные реализации |
12.05.2012 |
23:18:34 |
progr. |
inefficient implementation |
неэффективная реализация (напр., системы реального времени) |
12.05.2012 |
23:04:37 |
progr. |
conservative approaches |
консервативные подходы |
12.05.2012 |
23:00:59 |
progr. |
task of verifying that new applications satisfy their timing specifications |
задача проверки новых приложений на соответствие временным спецификациям |
12.05.2012 |
23:00:14 |
progr. |
task of verifying |
задача проверки (напр., новых приложений на соответствие каким-либо критериям) |
12.05.2012 |
22:55:09 |
progr. |
performance of the whole system |
производительность всей системы |
12.05.2012 |
22:52:59 |
progr. |
slow components |
медленные компоненты (системы) |
12.05.2012 |
22:50:16 |
progr. |
important factor in the success of new applications |
существенное условие успеха новых приложений |
12.05.2012 |
22:48:33 |
progr. |
important factor |
существенное условие |
12.05.2012 |
22:48:33 |
progr. |
important factor |
важный фактор |
12.05.2012 |
22:45:55 |
progr. |
success of new applications |
успех новых приложений |
12.05.2012 |
22:45:02 |
progr. |
new applications |
новые приложения |
12.05.2012 |
22:43:55 |
progr. |
new application |
новое приложение |
12.05.2012 |
22:35:57 |
progr. |
extremely complicated |
чрезвычайно сложный |
12.05.2012 |
22:33:58 |
progr. |
architecture of computer applications |
архитектура компьютерных приложений |
12.05.2012 |
22:33:21 |
progr. |
computer applications |
компьютерные приложения |
12.05.2012 |
22:32:36 |
progr. |
computer application |
компьютерное приложение |
12.05.2012 |
22:19:30 |
progr. |
important and nontrivial task |
важная и весьма непростая задача |
12.05.2012 |
22:18:46 |
progr. |
important task |
важная задача |
12.05.2012 |
22:18:01 |
progr. |
nontrivial task |
весьма непростая задача |
12.05.2012 |
22:02:10 |
progr. |
predictable response time |
предсказуемое время реакции |
12.05.2012 |
21:57:50 |
progr. |
critical applications |
критические приложения (где предсказуемое время реакции существенно для правильности работы) |
12.05.2012 |
21:54:40 |
progr. |
critical application |
критическое приложение (предсказуемое время реакции существенно для правильности работы) |
12.05.2012 |
21:50:11 |
progr. |
counting program for process... |
отсчитывающая программа для процесса ... |
12.05.2012 |
21:48:58 |
progr. |
counting program |
отсчитывающая программа |
12.05.2012 |
21:45:18 |
progr. |
colored token |
окрашенный маркер |
12.05.2012 |
21:39:21 |
progr. |
asynchronous model |
асинхронная модель (напр., вычислений) |
12.05.2012 |
21:38:43 |
progr. |
synchronous model |
синхронная модель (напр., вычислений) |
12.05.2012 |
21:36:49 |
progr. |
asynchronous model of computation |
асинхронная модель вычислений |
12.05.2012 |
21:29:24 |
progr. |
synchronous model of computation |
синхронная модель вычислений (в ней все процессы совершают переходы в каждый момент времени, а значения выходов на том или ином шаге становятся значениями соответствующих входов на следующем шаге) |
12.05.2012 |
21:24:45 |
progr. |
computation on the ring |
вычисление на кольце |
12.05.2012 |
21:16:42 |
progr. |
root process |
корневой процесс |
12.05.2012 |
21:13:16 |
progr. |
leaf |
листовая вершина (двоичного дерева) |
12.05.2012 |
21:07:49 |
progr. |
binary trees |
двоичные деревья |
12.05.2012 |
21:07:17 |
progr. |
family of binary trees |
семейство двоичных деревьев |
12.05.2012 |
21:04:06 |
progr. |
abstraction based on the specification |
абстракция на основе спецификации |
12.05.2012 |
20:58:24 |
progr. |
specific process |
специальный процесс |
12.05.2012 |
20:53:48 |
progr. |
method to derive invariants |
метод конструирования инвариантов |
12.05.2012 |
20:42:30 |
progr. |
automaton for ready |
автомат проверки готовности |
12.05.2012 |
20:40:37 |
progr. |
automaton for parity |
автомат проверки чётности |
12.05.2012 |
20:37:15 |
progr. |
internal node of the tree |
внутренняя вершина дерева |
12.05.2012 |
20:34:32 |
progr. |
internal node |
внутренняя вершина (дерева) |
11.05.2012 |
2:08:52 |
progr. |
undecidability result for a family of token rings |
неразрешимость семейства колец с маркерами |
11.05.2012 |
2:06:26 |
progr. |
family of token rings |
семейство колец с маркерами |
11.05.2012 |
2:02:33 |
progr. |
graph and network grammars |
графовые и сетевые грамматики |
11.05.2012 |
2:02:01 |
progr. |
graph grammars |
графовые грамматики |
11.05.2012 |
2:00:43 |
progr. |
network grammars |
сетевые грамматики |
11.05.2012 |
1:58:30 |
progr. |
example reconsidered |
пересмотренный пример |
11.05.2012 |
1:55:06 |
progr. |
temporal logic for infinite families |
темпоральная логика для бесконечных семейств |
11.05.2012 |
1:52:58 |
progr. |
infinite families of finite-state systems |
бесконечные семейства конечных систем |
11.05.2012 |
1:48:19 |
progr. |
verification results |
результаты верификации |
11.05.2012 |
1:36:56 |
progr. |
related methods |
родственные методы |
11.05.2012 |
1:36:26 |
progr. |
related method |
родственный метод |
11.05.2012 |
1:25:17 |
progr. |
quantitative temporal analysis |
количественный временной анализ |
11.05.2012 |
1:23:30 |
progr. |
temporal analysis |
временной анализ |