18.05.2012 |
22:20:13 |
progr. |
imperative style |
императивный стиль |
18.05.2012 |
22:18:07 |
progr. |
operation-and-type table |
таблица операций и типов |
18.05.2012 |
22:15:47 |
progr. |
russian peasant method of multiplication |
умножение методом русского крестьянина |
18.05.2012 |
22:08:38 |
progr. |
looping constructs |
циклические конструкции |
18.05.2012 |
22:08:03 |
progr. |
looping construct |
циклическая конструкция |
18.05.2012 |
22:01:42 |
progr. |
first-class elements of computation |
элементы вычисления первого класса |
18.05.2012 |
21:59:09 |
progr. |
primitive query |
элементарный запрос |
18.05.2012 |
21:55:26 |
progr. |
open coding of primitives |
явное кодирование элементарных процедур |
18.05.2012 |
21:55:26 |
progr. |
open coding of primitives |
явное кодирование примитивов |
18.05.2012 |
21:54:17 |
progr. |
open coding |
явное кодирование |
18.05.2012 |
21:53:38 |
progr. |
primitives |
примитивы |
18.05.2012 |
21:52:40 |
progr. |
primitive |
элементарная процедура |
18.05.2012 |
21:44:20 |
progr. |
interfacing compiled code to the evaluator |
связь скомпилированного кода с вычислителем |
18.05.2012 |
21:39:51 |
progr. |
example of compiled code |
пример скомпилированного кода |
18.05.2012 |
21:36:05 |
progr. |
combining instruction sequences |
сочетание последовательностей команд |
18.05.2012 |
21:35:17 |
progr. |
instruction sequences |
последовательности команд |
18.05.2012 |
21:29:28 |
progr. |
compiling combinations |
компиляция комбинаций |
18.05.2012 |
21:27:43 |
progr. |
compiling expressions |
компиляция выражений |
18.05.2012 |
21:25:53 |
progr. |
structure of the compiler |
структура компилятора |
18.05.2012 |
21:23:32 |
progr. |
running the evaluator |
запуск вычислителя |
18.05.2012 |
21:22:00 |
progr. |
conditionals, assignments, and definitions |
условные выражения, присваивания и определения |
18.05.2012 |
21:15:58 |
progr. |
sequence evaluation and tail recursion |
вычисление последовательностей и хвостовая рекурсия |
18.05.2012 |
21:15:28 |
progr. |
sequence evaluation |
вычисление последовательностей |
18.05.2012 |
21:12:00 |
progr. |
core of the explicit-control evaluator |
ядро вычислителя с явным управлением |
18.05.2012 |
21:10:54 |
progr. |
explicit-control evaluator |
вычислитель с явным управлением |
18.05.2012 |
21:08:13 |
progr. |
illusion of infinite memory |
иллюзия бесконечной памяти |
18.05.2012 |
21:07:33 |
progr. |
infinite memory |
"бесконечная" память |
18.05.2012 |
21:04:23 |
progr. |
memory as vectors |
память как векторы |
18.05.2012 |
21:01:47 |
progr. |
storage allocation and garbage collection |
выделение памяти и сборка "мусора" |
18.05.2012 |
21:01:13 |
progr. |
storage allocation |
выделение памяти |
18.05.2012 |
20:59:06 |
progr. |
monitoring machine performance |
отслеживание производительности машины |
18.05.2012 |
20:54:30 |
progr. |
generating execution procedures for instructions |
порождение исполнительных процедур для команд |
18.05.2012 |
20:53:46 |
progr. |
generating execution procedures |
порождение исполнительных процедур |
18.05.2012 |
20:49:51 |
progr. |
register-machine simulator |
программа моделирования регистровых машин |
18.05.2012 |
20:46:50 |
progr. |
instruction summary |
обзор системы команд |
18.05.2012 |
20:43:54 |
progr. |
using a stack to implement recursion |
реализация рекурсии с помощью стека |
18.05.2012 |
20:40:34 |
progr. |
subroutines |
подпрограммы |
18.05.2012 |
20:39:01 |
progr. |
abstraction in machine design |
абстракция в проектировании машин |
18.05.2012 |
20:25:14 |
progr. |
language for describing register machines |
язык для описания регистровых машин |
18.05.2012 |
20:24:44 |
progr. |
describing register machines |
описание регистровых машин |
18.05.2012 |
20:21:37 |
progr. |
designing register machines |
проектирование регистровых машин |
18.05.2012 |
20:20:18 |
progr. |
computing with register machines |
вычисления на регистровых машинах |
18.05.2012 |
20:18:51 |
progr. |
register machines |
регистровые машины |
18.05.2012 |
20:18:28 |
progr. |
register machine |
регистровая машина |
18.05.2012 |
20:14:30 |
progr. |
implementing the query system |
реализация запросной системы |
18.05.2012 |
20:13:55 |
progr. |
query system |
запросная система |
18.05.2012 |
20:09:54 |
progr. |
how the query system works |
как действует система обработки запросов |
18.05.2012 |
20:08:07 |
progr. |
query system |
система обработки запросов |
18.05.2012 |
20:08:07 |
progr. |
query system |
система запросов |
18.05.2012 |
20:02:50 |
progr. |
deductive information retrieval |
дедуктивный поиск информации |
18.05.2012 |
19:59:46 |
progr. |
examples of nondeterministic programs |
примеры недетерминистских программ |
18.05.2012 |
19:59:00 |
progr. |
nondeterministic programs |
недетерминистские программы |
18.05.2012 |
19:58:24 |
progr. |
nondeterministic program |
недетерминистская программа |
18.05.2012 |
19:53:45 |
progr. |
deterministic computations |
детерминированные вычисления |
18.05.2012 |
19:49:30 |
progr. |
nondeterministic computations |
недетерминированные вычисления (способ вычислений, при котором генерируются все возможные значения выражения, из которых затем ищутся те, которые удовлетворяют определённым ограничениям. В более общем смысле, вычисления считаются недетерминированными, если последовательность шагов и его результат непредсказуемы, т. е. при многократном исполнении программы с одним и тем же набором входных данных получаются разные результаты. Поддерживается в языках ИИ. Ant: deterministic computations) |
18.05.2012 |
19:40:32 |
progr. |
streams as lazy lists |
потоки как ленивые списки |
18.05.2012 |
19:37:15 |
progr. |
interpreter with lazy evaluation |
интерпретатор с ленивым вычислением |
18.05.2012 |
19:34:11 |
progr. |
normal order and applicative order |
нормальный порядок вычислений и аппликативный порядок вычислений |
18.05.2012 |
19:33:22 |
progr. |
applicative order |
аппликативный порядок вычислений |
18.05.2012 |
19:32:03 |
progr. |
normal order |
нормальный порядок вычислений |
18.05.2012 |
19:29:04 |
progr. |
lazy evaluation |
отложенное копирование (подход, предусматривающий копирование совместно используемой страницы памяти для отдельного процесса только в момент записи) |
18.05.2012 |
19:26:05 |
progr. |
lazy evaluation |
ленивые вычисления (т.ж. отложенные вычисления; программный механизм, реализуемый некоторыми трансляторами. В отложенных (ленивых) вычислениях операция выполняется только в случае, если потребовался её результат) |
18.05.2012 |
19:17:59 |
progr. |
separating syntactic analysis from execution |
отделение синтаксического анализа от выполнения |
18.05.2012 |
19:14:21 |
progr. |
data as programs |
данные как программы |
18.05.2012 |
19:11:46 |
progr. |
running the evaluator as a program |
выполнение интерпретатора как программы |
18.05.2012 |
19:08:38 |
progr. |
evaluator data structures |
структуры данных интерпретатора |
18.05.2012 |
19:06:40 |
progr. |
representing expressions |
представление выражений |
18.05.2012 |
19:03:32 |
progr. |
core of the evaluator |
ядро интерпретатора |
18.05.2012 |
19:00:32 |
progr. |
metacircular evaluator |
метациклический интерпретатор |
18.05.2012 |
18:52:03 |
progr. |
system evaluator |
эксперт-системотехник (участвует в разработке и внедрении систем и приложений, в выборе и оценке принимаемых решений для достижения оптимальных характеристик, в диагностике и анализе возможных проблем при эксплуатации и др.) |
18.05.2012 |
18:47:35 |
progr. |
evaluator |
алгоритм оценивания |
18.05.2012 |
18:47:35 |
progr. |
evaluator |
метод оценивания |
18.05.2012 |
18:47:35 |
progr. |
evaluator |
функция оценки |
18.05.2012 |
18:47:35 |
progr. |
evaluator |
оцениватель |
18.05.2012 |
18:47:35 |
progr. |
evaluator |
имитационная модель для оценивания параметров (напр., системы) |
18.05.2012 |
18:47:35 |
progr. |
evaluator |
имитационная модель для оценивания характеристик (напр., системы) |
18.05.2012 |
18:44:07 |
progr. |
evaluator |
интерпретатор |
18.05.2012 |
18:44:07 |
progr. |
evaluator |
средство анализа |
18.05.2012 |
18:38:41 |
progr. |
modularity of functional programs and modularity of objects |
модульность функциональных программ и модульность объектов |
18.05.2012 |
18:37:38 |
progr. |
modularity of objects |
модульность объектов |
18.05.2012 |
18:36:58 |
progr. |
modularity of functional programs |
модульность функциональных программ |
18.05.2012 |
18:35:05 |
progr. |
functional programs |
функциональные программы |
18.05.2012 |
18:33:53 |
progr. |
functional program |
функциональная программа |
18.05.2012 |
18:31:39 |
progr. |
streams and delayed evaluation |
потоки и задержанное вычисление |
18.05.2012 |
18:28:36 |
progr. |
exploiting the stream paradigm |
использование парадигмы потоков |
18.05.2012 |
18:28:00 |
progr. |
stream paradigm |
парадигма потоков |
18.05.2012 |
15:34:30 |
progr. |
unstable message |
неустойчивое сообщение |
18.05.2012 |
15:30:16 |
progr. |
leaf domain |
листовой домен |
18.05.2012 |
15:24:56 |
progr. |
client-based protocol |
клиентский протокол |
18.05.2012 |
15:22:44 |
progr. |
duplicate-request cache |
кэш дублированных запросов |
18.05.2012 |
15:19:25 |
progr. |
information bus |
информационная шина |
18.05.2012 |
15:17:20 |
progr. |
hoard walk |
инвентаризация накопления |
18.05.2012 |
15:16:30 |
progr. |
walk |
инвентаризация |
18.05.2012 |
15:11:51 |
progr. |
inbox name |
имя входа |
18.05.2012 |
15:08:19 |
progr. |
pull-push |
извлечение-продвижение |
18.05.2012 |
15:00:41 |
progr. |
replicated volume identifier |
идентификатор реплицированного тома (сокр. RVID) |
18.05.2012 |
14:59:39 |
progr. |
replicated volume |
реплицированный том |
18.05.2012 |
14:52:25 |
progr. |
originator ID |
идентификатор инициатора (сокр. OID) |
18.05.2012 |
14:49:11 |
progr. |
note ID |
идентификатор заметки |
18.05.2012 |
14:44:59 |
progr. |
service identifier |
идентификатор службы |