14.05.2012 |
1:41:45 |
progr. |
advanced building block |
расширенный конструктивный блок |
14.05.2012 |
1:41:45 |
progr. |
advanced building block |
усовершенствованный конструктивный блок |
14.05.2012 |
1:30:28 |
progr. |
basic building blocks |
базовые конструктивные блоки |
14.05.2012 |
1:28:35 |
gen. |
basic building block |
основа |
14.05.2012 |
1:27:00 |
progr. |
building blocks |
конструктивные блоки |
14.05.2012 |
1:21:51 |
progr. |
building blocks |
компоновочные блоки |
14.05.2012 |
1:14:17 |
progr. |
interfaces to standard devices |
интерфейсы к стандартным устройствам |
14.05.2012 |
1:13:43 |
progr. |
standard devices |
стандартные устройства |
14.05.2012 |
1:13:22 |
progr. |
standard device |
стандартное устройство |
14.05.2012 |
1:07:23 |
progr. |
blind control |
управление жалюзи |
14.05.2012 |
0:47:13 |
progr. |
open source for debugging |
открытые исходные тексты для отладки |
14.05.2012 |
0:47:13 |
progr. |
open source for debugging |
открытый исходный код для отладки |
14.05.2012 |
0:37:35 |
progr. |
text format for easy import in other systems |
текстовый формат для легкого импорта в другие системы |
14.05.2012 |
0:34:32 |
progr. |
text format |
текстовый формат |
14.05.2012 |
0:19:20 |
progr. |
OSCAT works together with most other libraries |
OSCAT работает с большинством других библиотек |
14.05.2012 |
0:18:36 |
progr. |
work together with most other libraries |
работать с большинством других библиотек |
13.05.2012 |
23:59:01 |
progr. |
verification under different development systems |
проверка под различными системами разработки программ |
13.05.2012 |
23:56:28 |
progr. |
different development systems |
различные системы разработки программ |
13.05.2012 |
23:37:23 |
progr. |
test program for all functions |
тестирование программы по всем функциям |
13.05.2012 |
23:36:00 |
progr. |
test program |
тестирование программы |
13.05.2012 |
23:30:44 |
progr. |
test of math functions to 6 digits resolution |
тестирование математических функций до точности 6-ти знаков |
13.05.2012 |
23:29:41 |
progr. |
to 6 digits resolution |
до точности 6-ти знаков |
13.05.2012 |
23:22:25 |
progr. |
test of math functions |
тестирование математических функций |
13.05.2012 |
23:21:12 |
progr. |
math functions |
математические функции |
13.05.2012 |
23:18:33 |
progr. |
math function |
математическая функция |
13.05.2012 |
23:05:54 |
progr. |
runtime check |
проверка в процессе исполнения (т.ж. динамическая проверка; обычно автоматически проверяются границы массива, переполнение стека, деление на ноль и т.п.) |
13.05.2012 |
23:05:54 |
progr. |
runtime check |
проверка в процессе исполнения программы (обычно автоматически проверяются границы массива, переполнение стека, деление на ноль и т.п.) |
13.05.2012 |
22:41:15 |
progr. |
runtime tests |
контроль времени выполнения (напр., программы) |
13.05.2012 |
22:38:20 |
progr. |
runtime tests |
тесты времени выполнения |
13.05.2012 |
22:24:51 |
sport. |
tests |
контроль |
13.05.2012 |
22:06:45 |
progr. |
different hardware systems |
различные системы аппаратного обеспечения |
13.05.2012 |
22:06:45 |
progr. |
different hardware systems |
различные аппаратные системы |
13.05.2012 |
22:03:06 |
progr. |
hardware systems |
аппаратные системы |
13.05.2012 |
22:01:12 |
progr. |
hardware systems |
системы аппаратного обеспечения |
13.05.2012 |
21:59:06 |
progr. |
hardware system |
аппаратные средства системы |
13.05.2012 |
21:36:22 |
progr. |
testing with random patterns |
тестирование со случайными наборами данных |
13.05.2012 |
21:35:17 |
progr. |
random patterns |
случайные наборы данных (при тестировании) |
13.05.2012 |
21:34:13 |
progr. |
random pattern |
случайный набор данных (при тестировании) |
13.05.2012 |
21:32:16 |
progr. |
pattern |
набор данных |
13.05.2012 |
21:28:01 |
progr. |
patterns |
наборы данных |
13.05.2012 |
21:22:21 |
progr. |
development on different systems assures independence of code |
разработка на различных системах гарантирует независимость кода |
13.05.2012 |
21:21:07 |
progr. |
development on different systems |
разработка на различных системах |
13.05.2012 |
21:19:13 |
progr. |
different systems |
различные системы |
13.05.2012 |
21:15:25 |
progr. |
independence of code |
независимость кода |
13.05.2012 |
21:12:44 |
progr. |
continuous improvement of code |
непрерывное совершенствование кода |
13.05.2012 |
21:09:44 |
progr. |
continuous improvement |
непрерывное улучшение (программного кода) |
13.05.2012 |
21:08:20 |
progr. |
continuous improvement of code |
непрерывное улучшение кода |
13.05.2012 |
21:04:02 |
progr. |
most complete library |
наиболее полная библиотека |
13.05.2012 |
20:46:47 |
progr. |
overshoot |
положительный выброс (на фронте импульса) |
13.05.2012 |
19:11:10 |
progr. |
frequence at target time |
конечное значение частоты |
13.05.2012 |
19:08:25 |
progr. |
target time |
время изменения частоты |
13.05.2012 |
19:04:20 |
progr. |
initial frequence |
начальная частота |
13.05.2012 |
18:53:56 |
progr. |
wave form |
сигнал |
13.05.2012 |
18:53:56 |
progr. |
wave form |
форма сигнала (Раздельное написание встречается в различных англоязычных технических руководствах, напр., в руководстве по техобслуживанию самолетов А380.) |
13.05.2012 |
18:51:13 |
progr. |
random |
случайный сигнал |
13.05.2012 |
18:46:57 |
progr. |
sawtooth |
пилообразный сигнал |
13.05.2012 |
18:41:54 |
progr. |
square |
прямоугольный сигнал |
13.05.2012 |
18:32:24 |
progr. |
sample time |
шаг модельного времени |
13.05.2012 |
18:32:24 |
progr. |
sample time |
время выборки |
13.05.2012 |
18:30:51 |
progr. |
sample time |
шаг квантования по времени (выходного сигнала) |
13.05.2012 |
18:24:55 |
progr. |
sample-based |
по величине шага модельного времени (о способе формирования сигнала) |
13.05.2012 |
18:22:17 |
progr. |
time-based |
по текущему времени (о способе формирования сигнала) |
13.05.2012 |
17:15:47 |
progr. |
insert and retrieve from buffer |
вставка и выборка из буфера |
13.05.2012 |
17:12:53 |
progr. |
initialization and clear |
инициализация и очистка (напр., буфера) |
13.05.2012 |
17:06:31 |
progr. |
modules to handle large arrays of byte |
модули для обработки больших байтовых массивов |
13.05.2012 |
17:04:38 |
progr. |
large arrays of byte |
большие байтовые массивы |
13.05.2012 |
17:03:54 |
progr. |
large array of byte |
большой байтовый массив |
13.05.2012 |
17:01:42 |
progr. |
arrays of byte |
байтовые массивы |
13.05.2012 |
17:00:50 |
progr. |
array of byte |
байтовый массив |
13.05.2012 |
15:50:15 |
progr. |
insert and retrieve from list |
вставка и выборка из списка |
13.05.2012 |
15:46:32 |
progr. |
retrieve |
возврат (в прежнее состояние или на прежнее место) |
13.05.2012 |
15:45:40 |
progr. |
retrieve |
поиск и выборка |
13.05.2012 |
15:29:31 |
progr. |
evaluate length of list |
получение длины списка |
13.05.2012 |
15:27:15 |
progr. |
length of list |
длина списка |
13.05.2012 |
15:23:01 |
progr. |
clean list from empty elements |
очистка списка от пустых элементов |
13.05.2012 |
15:15:18 |
progr. |
empty elements |
пустые элементы |
13.05.2012 |
15:13:23 |
progr. |
empty element |
пустой элемент (в списке) |
13.05.2012 |
14:59:04 |
progr. |
modules to handle lists |
модули для обработки списков |
13.05.2012 |
14:39:16 |
progr. |
list management |
подготовка списков (т.ж. управление списками; напр., выявление потенциальных покупателей с целью продажи готовых списков их имён и адресов для прямого маркетинга. Компьютерные программы для работы со списками (list-manipulating program) содержат специальные средства сортировки и устранения дублирования данных) |
13.05.2012 |
14:39:16 |
progr. |
list management |
составление списков (т.ж. управление списками; напр., выявление потенциальных покупателей с целью продажи готовых списков их имён и адресов для прямого маркетинга. Компьютерные программы для работы со списками (list-manipulating program) содержат специальные средства сортировки и устранения дублирования данных) |
13.05.2012 |
13:57:31 |
progr. |
hyper-threading |
гиперпотоковость (название технологии, реализованной в процессоре Pentium 4 и более поздних, позволяющей ЦП параллельно исполнять два потока. Она использует возможности незадействованных регистров и блоков процессора, позволяя ему работать с выигрышем в производительности до 30%. Благодаря этому настольный ПК может выполнять два разных приложения одновременно или одно приложение, но быстрее, чем однопроцессорная система. Для операционной системы этот процессор выглядит как два параллельно работающих процессора) |
13.05.2012 |
3:58:56 |
progr. |
number of occurrences of events |
количество произошедших событий |
13.05.2012 |
3:52:07 |
progr. |
complex timing property |
сложное временное свойство |
13.05.2012 |
3:47:27 |
progr. |
complex timing properties |
сложные временные свойства |
13.05.2012 |
3:46:04 |
progr. |
timing property |
временное свойство |
13.05.2012 |
3:45:17 |
progr. |
timing properties |
временные свойства |
13.05.2012 |
3:35:23 |
progr. |
number of occurrences of arbitrary events in the system |
количество произошедших в системе произвольных событий |
13.05.2012 |
3:33:03 |
progr. |
arbitrary events |
произвольные события |
13.05.2012 |
3:26:16 |
progr. |
checking for properties |
проверка свойств |
13.05.2012 |
3:23:47 |
progr. |
not a trivial task in general |
в общем случае непростая задача |
13.05.2012 |
3:23:15 |
progr. |
trivial task |
простая задача |
13.05.2012 |
3:16:00 |
progr. |
systems that do not have a regular communication pattern |
системы, не имеющие регулярного шаблона взаимодействия |
13.05.2012 |
3:12:20 |
progr. |
regular communication pattern |
регулярный шаблон взаимодействия |
13.05.2012 |
3:11:23 |
progr. |
communication pattern |
шаблон взаимодействия |
13.05.2012 |
3:07:07 |
progr. |
verifying distributed systems |
верификация распределённых систем |
13.05.2012 |
3:07:07 |
progr. |
verifying distributed systems |
проверка распределённых систем |
13.05.2012 |
3:00:57 |
progr. |
kinds of properties that can be verified |
типы проверяемых свойств |
13.05.2012 |
2:57:35 |
progr. |
kinds of properties |
типы свойств |
13.05.2012 |
2:52:29 |
progr. |
Recent work has extended this theory to more general classes of processes, but limitations still exist |
Недавние работы распространили эту теорию на более общие классы процессов, но ограничения всё ещё существуют |
13.05.2012 |
2:51:03 |
progr. |
limitations still exist |
ограничения всё ещё существуют |