24.02.2013 |
20:01:21 |
gen. |
clear-cut solution |
чёткое решение |
24.02.2013 |
19:57:42 |
progr. |
CUDA programming model |
модель программирования графических процессоров с архитектурой унифицированного вычислительного устройства |
24.02.2013 |
19:49:25 |
progr. |
software development tool |
инструментальное средство разработки программного обеспечения |
24.02.2013 |
19:48:34 |
IT |
compute unified device |
унифицированное вычислительное устройство |
24.02.2013 |
19:47:52 |
IT |
high-performance parallel computing |
высокопроизводительные параллельные вычисления |
24.02.2013 |
19:46:56 |
IT |
GPU architecture |
архитектура графического процессора |
24.02.2013 |
19:45:42 |
IT |
mass-produced |
серийно производимый |
24.02.2013 |
19:44:49 |
IT |
mass-produced CPU |
серийно производимый центральный процессор |
24.02.2013 |
19:36:14 |
IT |
chief computational scientist |
главный специалист по теории вычислений |
24.02.2013 |
19:35:14 |
IT |
computational scientist |
специалист по теории вычислений |
24.02.2013 |
19:29:24 |
IT |
shared-memory model of parallel computation |
модель параллельных вычислений в системах с общей памятью |
24.02.2013 |
19:28:05 |
scient. |
scientific visualization |
научная визуализация (визуализация научных данных) |
24.02.2013 |
19:27:48 |
scient. |
scientific visualization |
визуализация научных данных |
24.02.2013 |
19:23:26 |
progr. |
numerical library |
библиотека численного анализа |
24.02.2013 |
19:21:15 |
scient. |
at the leading edge of high-performance computing |
на переднем крае высокопроизводительных вычислений |
24.02.2013 |
19:19:20 |
IT |
OpenMP |
среда многопроцессорных параллельных вычислений в кластере с разделяемой памятью |
24.02.2013 |
19:16:52 |
progr. |
asynchronous programming |
асинхронное программирование |
24.02.2013 |
19:16:01 |
progr. |
async programming |
асинхронное программирование |
24.02.2013 |
19:13:17 |
progr. |
shared memory parallel programming |
параллельное программирование в системах с общей памятью |
21.02.2013 |
21:22:29 |
progr. |
cross-task synchronization |
межзадачная синхронизация |
21.02.2013 |
21:20:36 |
progr. |
internode parallelism |
межузловой параллелизм |
21.02.2013 |
21:12:24 |
progr. |
large-scale simulation |
крупномасштабное имитационное моделирование |
21.02.2013 |
21:10:48 |
progr. |
intranode parallelism |
внутриузловой параллелизм |
21.02.2013 |
21:09:28 |
progr. |
internode communication |
межузловая передача сообщений |
21.02.2013 |
19:00:18 |
progr. |
matching operation |
операция сопоставления |
21.02.2013 |
18:59:19 |
progr. |
tree representation of terms |
древовидное представление термов |
21.02.2013 |
18:58:36 |
progr. |
resulting instantiation |
результирующее инстанцирование |
21.02.2013 |
18:57:22 |
progr. |
execution of consecutive goal |
выполнение последовательных целей |
21.02.2013 |
18:56:40 |
progr. |
consecutive goal |
последовательная цель |
21.02.2013 |
18:55:46 |
progr. |
general instantiation |
общее инстанцирование |
21.02.2013 |
18:54:23 |
scient. |
research on the interfaces between |
исследование на стыке (таких-то научных дисциплин (указывается их перечень, напр., через запятую)) |
21.02.2013 |
18:51:48 |
scient. |
research on the interfaces between logic and linguistics |
исследование на стыке логики и лингвистики |
21.02.2013 |
14:10:35 |
progr. |
atom |
нечисленная константа (в языке программирования Prolog) |
21.02.2013 |
14:06:59 |
progr. |
lexical scope of variable names |
лексическая область видимости имён переменных |
21.02.2013 |
13:41:54 |
scient. |
as neat as possible |
с максимально возможной ясностью |
21.02.2013 |
13:39:17 |
progr. |
count the number of items in a list |
выполнить подсчёт количества элементов списка |
21.02.2013 |
13:38:28 |
progr. |
non-numeric computation |
нечисленное вычисление (символьное, аналитическое вычисление) |
21.02.2013 |
13:36:59 |
gen. |
be heavily used |
быть интенсивно используемым |
21.02.2013 |
13:36:36 |
gen. |
be heavily used |
интенсивно использоваться |
21.02.2013 |
13:34:48 |
progr. |
predefined meaning |
предопределённое значение |
21.02.2013 |
13:31:54 |
progr. |
classification fo data objects |
классификация объектов данных |
21.02.2013 |
13:31:02 |
progr. |
structured object |
структурированный объект |
21.02.2013 |
13:30:21 |
progr. |
simple data object |
простой объект данных |
21.02.2013 |
13:29:54 |
progr. |
simple data structure |
простая структура данных |
20.02.2013 |
23:30:46 |
IT |
big data |
неопределённо структурированные данные большого объёма (англ. термин взят из документа корпорации Cray) |
20.02.2013 |
18:55:11 |
progr. |
instantiation of a variable |
инстанцирование переменной (в языке программирования Prolog) |
20.02.2013 |
18:53:52 |
progr. |
explore among alternatives |
выполнять изучение альтернатив |
20.02.2013 |
18:46:06 |
progr. |
list of goals |
список целей (в языке программирования Prolog) |
20.02.2013 |
18:42:12 |
progr. |
in the order in which they are written |
в том порядке, в котором они записаны |
20.02.2013 |
18:39:39 |
progr. |
original goal |
исходная цель (в языке программирования Prolog) |
20.02.2013 |
18:37:12 |
progr. |
proof sequence |
последовательность доказывания фактов (в языке программирования Prolog) |
20.02.2013 |
18:32:21 |
progr. |
asserted fact |
исходный факт (в языке программирования Prolog) |
20.02.2013 |
18:18:46 |
progr. |
set of clauses |
множество дизъюнктов (специфицирующее одно и то же отношение, именуется процедурой в языке программирования Prolog) |
20.02.2013 |
18:10:45 |
progr. |
without the use of recursion |
без использования рекурсии |
20.02.2013 |
17:39:10 |
progr. |
be universally quantified |
быть связанным квантором общности |
20.02.2013 |
17:38:33 |
math. |
universally quantified |
связанный квантором общности |
20.02.2013 |
17:16:15 |
progr. |
conjunction of the conditions |
конъюнкция условий |
20.02.2013 |
17:12:49 |
progr. |
become instantiated |
становиться инстанциированным |
20.02.2013 |
16:58:25 |
law |
asserted fact |
утверждение о факте |
20.02.2013 |
16:12:24 |
progr. |
become instantiated |
инстанцироваться (to ... / as follows ...) |
20.02.2013 |
14:29:52 |
IT |
native-code compilation |
компиляция в код аппаратной платформы |
20.02.2013 |
14:27:14 |
IT |
native code |
аппаратно-зависимый код |
17.02.2013 |
17:49:17 |
progr. |
perform search based on backtracking |
выполнять поиск на основе перебора с возвратами |
17.02.2013 |
17:36:42 |
scient. |
logic programming community |
сообщество специалистов по логическому программированию |
17.02.2013 |
16:37:38 |
IT |
conventional computing machine |
классическая вычислительная машина (т.е. не являющаяся квантовым компьютером) |
17.02.2013 |
16:36:08 |
scient. |
whole brain emulation |
полномасштабное имитационное моделирование головного мозга |
17.02.2013 |
1:32:14 |
progr. |
highly parallel application |
приложение с высокой степенью параллелизма |
17.02.2013 |
1:31:46 |
progr. |
highly parallel |
с высокой степенью параллелизма |
17.02.2013 |
1:28:45 |
progr. |
fork-join |
разветвление-соединение (параллельный цикл, который предназначен для обработки каждой независимой итерации в цикле параллельно microsoft.com) |
17.02.2013 |
1:27:03 |
IT |
highly parallel application |
приложение с высокой степенью распараллеливания |
17.02.2013 |
1:26:36 |
IT |
highly parallel |
с высокой степенью распараллеливания |
17.02.2013 |
1:23:36 |
progr. |
two-step dance |
топтание потоков на месте (microsoft.com) |
17.02.2013 |
1:22:58 |
progr. |
lock convoy |
очередь на блокировке (microsoft.com) |
17.02.2013 |
1:20:34 |
progr. |
state-machine-based |
на основе конечного автомата |
17.02.2013 |
1:20:17 |
progr. |
state-machine-based rewrite capabilities |
средства перезаписи на основе конечного автомата |
17.02.2013 |
1:18:26 |
progr. |
dataflow network |
сеть потоков данных |
17.02.2013 |
1:17:51 |
progr. |
data propagator |
распространитель данных |
17.02.2013 |
1:17:08 |
progr. |
dataflow block |
блок потоков данных |
14.02.2013 |
1:49:30 |
mil. |
STUAS |
малая тактическая беспилотная воздушная система (сокр. от "small tactical unmanned air system") |
14.02.2013 |
1:48:21 |
mil. |
small tactical unmanned air system |
малая тактическая беспилотная воздушная система |
14.02.2013 |
1:47:21 |
mil. |
unmanned air system |
беспилотная воздушная система |
14.02.2013 |
1:45:03 |
mil. |
small tactical unmanned air system |
малый тактический беспилотный летательный аппарат |
14.02.2013 |
1:44:30 |
mil. |
STUAS |
малый тактический БПЛА (сокр. от "small tactical unmanned air system") |
13.02.2013 |
21:50:38 |
ling. |
рreferential attachment |
предпочтительное связывание (лексем друг с другом и образование со временем устойчивых словосочетаний) |
11.02.2013 |
1:00:59 |
progr. |
refactoring wizard |
мастер реорганизации кода |
11.02.2013 |
0:48:51 |
progr. |
compositional refactoring |
композиционная реорганизация кода |
11.02.2013 |
0:28:29 |
progr. |
compositional paradigm |
композиционная парадигма |
11.02.2013 |
0:08:44 |
progr. |
quantum code |
квантовый код |
11.02.2013 |
0:08:19 |
adv. |
code in quantum |
квантовый код |
10.02.2013 |
22:46:52 |
progr. |
workspace folder |
папка рабочего пространства |
10.02.2013 |
21:32:41 |
comp., net. |
service engineering |
инженерия сервисов |
10.02.2013 |
21:30:35 |
comp. |
machine-to-machine |
межкомпьютерный |
10.02.2013 |
21:29:04 |
comp., net. |
service-oriented system |
сервис-ориентированная система |
10.02.2013 |
21:20:41 |
comp., net. |
service invocation |
вызов сервиса (приложением, разработанном на основе сервис-ориентированной архитектуры) |
10.02.2013 |
21:19:35 |
scient. |
make intelligent decisions |
принимать интеллектуальные решения |
10.02.2013 |
21:18:21 |
progr. |
programming language for service-oriented agents |
язык программирования сервис-ориентированных агентов (напр., JADL++) |
10.02.2013 |
21:08:36 |
AI. |
service-oriented agent |
агент, реализованный как служба (интеллектуальный агент, спроектированный и реализованный как веб-служба с интерфейсом WSDL) |
10.02.2013 |
21:00:25 |
progr. |
model-driven |
на основе моделей (напр., разработка приложений) |
10.02.2013 |
20:50:04 |
IT |
MAS |
многоагентная система (сокр. от "multi-agent system") |
10.02.2013 |
20:48:31 |
IT |
complex distributed system |
сложная распределенная система |