29.04.2011 |
20:50:47 |
progr. |
conditional assertion |
условное утверждение |
29.04.2011 |
20:50:14 |
progr. |
built-in assertion |
встроенное утверждение |
29.04.2011 |
20:48:58 |
progr. |
assertion of consequent |
доказательство истинности основания методом обращения следствия (логическая ошибка) |
29.04.2011 |
20:46:41 |
progr. |
assertion |
факт, добавленный в базу данных (при исполнении программы) |
29.04.2011 |
20:46:41 |
progr. |
assertion |
правило, добавленное в базу данных (при исполнении программы) |
29.04.2011 |
20:45:01 |
progr. |
assertion |
утвердительное суждение |
29.04.2011 |
20:45:01 |
progr. |
assertion |
подтверждение |
29.04.2011 |
20:45:01 |
progr. |
assertion |
оператор подтверждения отсутствия ошибок |
29.04.2011 |
20:45:01 |
progr. |
assertion |
постулирование существования |
29.04.2011 |
20:45:01 |
progr. |
assertion |
доказательство существования |
29.04.2011 |
20:41:37 |
progr. |
assertions |
утверждения |
29.04.2011 |
20:23:21 |
progr. |
failure continuation |
продолжение неудачи |
29.04.2011 |
20:19:47 |
progr. |
success continuation |
продолжение успеха |
29.04.2011 |
20:16:23 |
progr. |
continuation procedures |
процедуры продолжения |
29.04.2011 |
20:15:09 |
progr. |
continuation procedure |
процедура продолжения |
29.04.2011 |
20:11:57 |
progr. |
continuation punch |
пробивка признака продолжения |
29.04.2011 |
20:09:30 |
progr. |
continuation notation |
многоточие |
29.04.2011 |
20:09:30 |
progr. |
continuation notation |
символ |
29.04.2011 |
20:02:00 |
progr. |
truth maintenance |
поддержание истины |
29.04.2011 |
19:55:23 |
progr. |
dependency-directed backtracking |
поиск с возвратом, управляемый зависимостями |
29.04.2011 |
19:48:32 |
progr. |
chronological backtracking |
хронологический поиск с возвратом |
29.04.2011 |
19:30:35 |
progr. |
nondeterministic choice point |
точка недетерминистского выбора |
29.04.2011 |
19:29:41 |
progr. |
nondeterministic choice |
недетерминистский выбор |
29.04.2011 |
19:19:50 |
progr. |
upward-compatible extension |
совместимое снизу вверх расширение |
29.04.2011 |
19:04:02 |
progr. |
call by sharing |
вызов подпрограммы или функции в соответствии с условиями разделения ресурса |
29.04.2011 |
19:03:01 |
progr. |
call by reference |
вызов подпрограммы с передачей параметров по ссылке |
29.04.2011 |
19:03:01 |
progr. |
call by reference |
вызов функции с передачей параметров по ссылке |
29.04.2011 |
19:01:35 |
progr. |
call by pattern |
вызов подпрограммы или функции по образцу |
29.04.2011 |
18:59:40 |
progr. |
call by name |
вызов подпрограммы или функции по имени |
29.04.2011 |
18:49:44 |
progr. |
execution procedure |
исполнительная процедура |
29.04.2011 |
18:39:46 |
progr. |
recursion theory |
теория рекурсии |
29.04.2011 |
17:22:43 |
progr. |
output prompt |
подсказка вывода |
29.04.2011 |
17:18:34 |
progr. |
driver unit |
задатчик |
29.04.2011 |
17:14:38 |
progr. |
driver reinforcement |
стимулирование |
29.04.2011 |
17:14:38 |
progr. |
driver reinforcement |
алгоритм типа "кнут и пряник" (напр., для обучения нейронных сетей) |
29.04.2011 |
17:13:03 |
progr. |
driver object |
драйверный объект (загрузочный образ драйвера, используемый в привилегированном режиме для определения нужных точек входа драйвера) |
29.04.2011 |
17:11:55 |
progr. |
driver hook |
возможность внесения пользователем изменений в драйвер |
29.04.2011 |
17:11:55 |
progr. |
driver hook |
выход на пользователя в драйвере |
29.04.2011 |
17:09:41 |
progr. |
driver loops |
управляющие циклы |
29.04.2011 |
17:07:04 |
progr. |
driver loop |
управляющий цикл |
29.04.2011 |
17:05:29 |
progr. |
driver |
управляющий |
29.04.2011 |
16:57:35 |
progr. |
lexicographic semi-ordering |
лексикографическое полуупорядочение |
29.04.2011 |
16:57:35 |
progr. |
lexicographic semi-ordering |
частичное лексикографическое упорядочение |
29.04.2011 |
16:55:11 |
progr. |
lexicographic extremum |
лексикографический экстремум |
29.04.2011 |
16:51:01 |
progr. |
lexical idiom |
лексическая идиома |
29.04.2011 |
16:49:07 |
progr. |
lexical depth |
лексическая глубина |
29.04.2011 |
16:48:12 |
progr. |
lexical analyzer generator |
генератор лексических анализаторов |
29.04.2011 |
16:45:04 |
progr. |
lexical addressing |
лексическая адресация |
29.04.2011 |
16:38:29 |
progr. |
derived expressions |
производные выражения |
29.04.2011 |
16:36:51 |
progr. |
derived expression |
производное выражение |
29.04.2011 |
16:24:37 |
progr. |
abstract syntax |
общий синтаксис (абстрактный синтаксис: а) набор правил для формирования команд, применение которого не ограничивается только одним приложением или платформой (Internet) б) описание структуры данных, не зависящее от аппаратной платформы и способа кодирования) |
29.04.2011 |
16:24:37 |
progr. |
abstract syntax |
общеприменимый синтаксис (абстрактный синтаксис: а) набор правил для формирования команд, применение которого не ограничивается только одним приложением или платформой (Internet) б) описание структуры данных, не зависящее от аппаратной платформы и способа кодирования) |
29.04.2011 |
16:16:45 |
progr. |
metacircular |
метациклический |
29.04.2011 |
16:08:44 |
progr. |
nondeterministic Turing machine |
недетерминированная машина Тьюринга |
29.04.2011 |
16:07:08 |
progr. |
nondeterministic polynomial time problem |
NP-задача |
29.04.2011 |
16:07:08 |
progr. |
nondeterministic polynomial time problem |
полиномиальная для недетерминированной машины Тьюринга задача (о принятии решения) |
29.04.2011 |
16:07:08 |
progr. |
nondeterministic polynomial time problem |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача (о принятии решения) |
29.04.2011 |
16:07:08 |
progr. |
nondeterministic polynomial time problem |
полиномиальная для недетерминированной машины Тьюринга задача (о принятии решения) |
29.04.2011 |
16:07:08 |
progr. |
nondeterministic polynomial time problem |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача (о принятии решения) |
29.04.2011 |
16:05:26 |
progr. |
nondeterministic polynomial time hard problem |
NP-трудная задача |
29.04.2011 |
16:05:26 |
progr. |
nondeterministic polynomial time hard problem |
полиномиальная для недетерминированной машины Тьюринга задача (поиска) |
29.04.2011 |
16:05:26 |
progr. |
nondeterministic polynomial time hard problem |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача (поиска) |
29.04.2011 |
16:05:26 |
progr. |
nondeterministic polynomial time hard problem |
полиномиальная для недетерминированной машины Тьюринга задача (поиска) |
29.04.2011 |
16:05:26 |
progr. |
nondeterministic polynomial time hard problem |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача (поиска) |
29.04.2011 |
16:03:25 |
progr. |
nondeterministic polynomial time complete problem |
NP-полная задача |
29.04.2011 |
16:03:25 |
progr. |
nondeterministic polynomial time complete problem |
полиномиальная для недетерминированной машины Тьюринга задача (поиска и принятия решения) |
29.04.2011 |
16:03:25 |
progr. |
nondeterministic polynomial time complete problem |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача (поиска и принятия решения) |
29.04.2011 |
16:03:25 |
progr. |
nondeterministic polynomial time complete problem |
полиномиальная для недетерминированной машины Тьюринга задача (поиска и принятия решения) |
29.04.2011 |
16:03:25 |
progr. |
nondeterministic polynomial time complete problem |
решаемая за полиномиальное время на недетерминированной машине Тьюринга задача (поиска и принятия решения) |
29.04.2011 |
16:01:33 |
math. |
nondeterministic polynomial |
недетерминированный полином |
29.04.2011 |
15:58:41 |
progr. |
nondeterministic computing |
недетерминистские вычисления |
29.04.2011 |
15:48:58 |
progr. |
metalinguistic abstraction |
метаязыковая абстракция |
29.04.2011 |
15:39:54 |
progr. |
type inference |
вывод типа |
29.04.2011 |
15:36:19 |
el. |
series RLC circuit |
последовательный резонансный контур |
29.04.2011 |
15:28:44 |
progr. |
sequence control |
контроль последовательности операций |
29.04.2011 |
15:26:22 |
progr. |
sequence checking program |
программа проверки последовательности |
29.04.2011 |
15:03:09 |
progr. |
sequence check |
контроль упорядочения (напр., данных) |
29.04.2011 |
14:59:33 |
progr. |
sequence accelerator |
ускоритель последовательности |
29.04.2011 |
14:26:57 |
progr. |
delayed object |
задержанный объект |
29.04.2011 |
14:20:35 |
progr. |
rendezvous |
механизм взаимодействия и синхронизации процессов в языке Ада |
29.04.2011 |
14:19:12 |
progr. |
rendezvous |
встреча рандеву (способ взаимодействия между двумя параллельными задачами – обе они приостанавливаются в определённом месте, чтобы обменяться данными, а затем продолжить индивидуальную работу. Эта концепция поддерживается в ряде языков параллельного программирования, в частности в языке Ada, где для этого предусматриваются специальные конструкции) |
29.04.2011 |
14:19:12 |
progr. |
rendezvous |
точка синхронизации |
29.04.2011 |
14:19:12 |
progr. |
rendezvous |
точка обмена данными |
29.04.2011 |
14:14:09 |
progr. |
fuzzy barrier |
нечёткий барьер (пара особых (барьерных) точек в программе, которые служат для барьерной синхронизации – ни один из процессов, принадлежащих явной или неявной группе, не может пройти вторую точку программы, пока все остальные процессы не достигнут первой) |
29.04.2011 |
14:14:09 |
progr. |
fuzzy barrier |
размытый барьер (пара особых (барьерных) точек в программе, которые служат для барьерной синхронизации – ни один из процессов, принадлежащих явной или неявной группе, не может пройти вторую точку программы, пока все остальные процессы не достигнут первой) |
29.04.2011 |
14:11:53 |
progr. |
barrier synchronization |
барьерная синхронизация (класс алгоритмов синхронизации параллельных процессов в многозадачных и многопотоковых архитектурах; предусматривает остановку (блокировку) всех процессов, принадлежащих явной или неявной группе, в определённом месте программы (хотя и на различных промежуточных этапах выполнения) – у барьера, после чего выполнение продолжается. Это позволяет не допускать чрезмерного отставания медленных процессов. В некоторых микропроцессорах (напр., в PowerPC) предусмотрены специальные машинные команды, помогающие осуществлять барьерную синхронизацию) |
29.04.2011 |
14:08:24 |
progr. |
deadly embrace |
взаимная блокировка |
29.04.2011 |
14:01:23 |
progr. |
deadlock recovery |
выход из тупика |
29.04.2011 |
13:55:35 |
progr. |
mutual exclusion |
объект с функцией взаимного исключения (параллельных процессов) |
29.04.2011 |
13:53:07 |
comp.sl. |
mutex |
мьютекс (объект, который поддерживает две операции: его можно захватить (acquire) и его можно освободить (release)) |
29.04.2011 |
13:42:51 |
progr. |
serializers |
сериализаторы |
29.04.2011 |
13:39:11 |
el. |
serially independent |
сериально независимый |
29.04.2011 |
13:37:18 |
math. |
serially |
сериями |
29.04.2011 |
13:37:18 |
math. |
serially |
сериально |
29.04.2011 |
13:32:22 |
progr. |
serializer |
сериализатор |
29.04.2011 |
13:32:22 |
progr. |
serializer |
преобразователь данных в последовательную форму (параллельно-последовательный преобразователь) |
29.04.2011 |
13:24:14 |
progr. |
cacheable mode |
режим кэширования |
29.04.2011 |
13:24:14 |
progr. |
cacheable mode |
режим, допускающий кэширование |
29.04.2011 |
13:22:44 |
progr. |
cacheable block |
кэшируемый блок (памяти) |