26.09.2014 |
18:33:38 |
progr. |
automated formal verification of software |
автоматическая формальная верификация программного обеспечения |
26.09.2014 |
18:33:11 |
progr. |
semi-automated formal verification of software |
полуавтоматическая формальная верификация программного обеспечения |
26.09.2014 |
18:32:38 |
proj.manag. |
project lead |
начальник проектной группы |
26.09.2014 |
18:32:26 |
proj.manag. |
project lead |
руководитель проекта |
26.09.2014 |
18:31:53 |
progr. |
automated program analysis |
автоматизированный анализ программы |
26.09.2014 |
18:31:03 |
scient. |
team lead |
начальник группы |
26.09.2014 |
18:30:18 |
progr. |
production cryptographic code |
криптографический код, пригодный для промышленной эксплуатации |
26.09.2014 |
18:29:07 |
progr. |
verification engineer |
инженер-программист по верификации программного обеспечения |
26.09.2014 |
18:28:31 |
progr. |
cryptographic implementation |
криптографическая реализация |
26.09.2014 |
18:28:16 |
progr. |
cryptographic implementation |
реализация криптографического алгоритма |
26.09.2014 |
16:01:47 |
softw. |
SAW |
АРМ для анализа программного обеспечения (SAW – сокр. от "software analysis workbench", АРМ – сокр. от "автоматизированное рабочее место") |
26.09.2014 |
15:56:30 |
softw. |
software analysis workbench |
АРМ для анализа программного обеспечения (АРМ – сокр. от "автоматизированное рабочее место") |
26.09.2014 |
15:53:32 |
law |
original spec |
исходная спецификация |
26.09.2014 |
14:50:29 |
inf. |
Sberbank of Russia |
Сберушка (Savings Bank of Russia) |
26.09.2014 |
13:26:09 |
names |
Matthews |
Мэтьюc |
26.09.2014 |
13:25:22 |
names |
Hurd |
Хёрд |
26.09.2014 |
13:24:21 |
names |
Carlsson |
Карлссон |
26.09.2014 |
13:22:54 |
names |
Weaver |
Уивер |
26.09.2014 |
13:22:21 |
names |
Shields |
Шилдс |
26.09.2014 |
13:21:49 |
names |
Finne |
Финн |
26.09.2014 |
13:21:23 |
names |
Sigbjorn |
Сигбьёрн |
26.09.2014 |
13:20:39 |
names |
Teisher |
Тейшер |
26.09.2014 |
13:19:25 |
names |
Casburn |
Касбёрн |
26.09.2014 |
13:17:04 |
names |
Tullsen |
Таллсен |
26.09.2014 |
13:15:47 |
names |
Hendrix |
Хендрикс |
26.09.2014 |
13:13:15 |
names |
Sottile |
Соттил |
26.09.2014 |
13:11:50 |
names |
Tomb |
Тум |
26.09.2014 |
13:06:48 |
names |
Launchbury |
Лончбери |
26.09.2014 |
13:05:33 |
names |
Diatchki |
Дячки |
26.09.2014 |
13:05:01 |
names |
Kiniry |
Кинири |
26.09.2014 |
13:04:39 |
names |
McNamee |
Макнами |
26.09.2014 |
12:24:52 |
progr. |
extension to the type system |
расширение системы типов (языка программирования) |
26.09.2014 |
11:54:09 |
scient. |
trusted systems research group |
научно-исследовательская группа по защищённым системам |
26.09.2014 |
11:46:20 |
progr. |
Cryptol code |
код на языке программирования Cryptol |
26.09.2014 |
11:45:01 |
progr. |
automated random testing |
автоматизированное выборочное тестирование |
26.09.2014 |
11:44:18 |
progr. |
high-assurance programming |
программирование высоконадёжных приложений |
26.09.2014 |
11:41:39 |
progr. |
polymorphic property |
полиморфное свойство |
26.09.2014 |
11:39:38 |
progr. |
type synonym |
синоним типа |
26.09.2014 |
11:38:45 |
progr. |
monomorphic type |
мономорфный тип |
26.09.2014 |
11:38:13 |
progr. |
homogeneous collection |
гомогенная коллекция |
26.09.2014 |
11:37:52 |
progr. |
heterogeneous collection |
гетерогенная коллекция |
26.09.2014 |
11:35:46 |
quot.aph. |
for over a decade |
в течение более десяти лет |
26.09.2014 |
11:13:00 |
AI. |
built-in base theory |
встроенная базовая теория |
26.09.2014 |
11:12:36 |
AI. |
first-order logic with polymorphic types |
логика первого порядка с полиморфными типами |
26.09.2014 |
11:11:30 |
softw. |
stand-alone tool |
независимое инструментальное средство |
26.09.2014 |
11:10:24 |
AI. |
core system architecture |
архитектура базовой системы |
26.09.2014 |
11:09:31 |
AI. |
built-in logical theory |
встроенная логическая теория |
26.09.2014 |
11:07:29 |
AI. |
automatic theorem prover for satisfiability modulo theories problems |
автоматический доказатель теорем для задач выполнимости формул в теориях |
26.09.2014 |
11:05:55 |
AI. |
automatic theorem prover for satisfiability modulo theories |
автоматический доказатель теорем о выполнимости формул в теориях |
26.09.2014 |
10:47:46 |
AI. |
automatic theorem prover |
автоматический доказатель теорем (Microsoft) |
26.09.2014 |
10:45:21 |
progr. |
stream processing function |
функция обработки потока данных |
26.09.2014 |
10:44:57 |
progr. |
stream processing |
потоковая обработка |
25.09.2014 |
22:01:56 |
progr. |
compilation environment |
среда компиляции (University of Melbourne, Австралия) |
25.09.2014 |
22:00:51 |
progr. |
stand-alone interface |
автономный интерфейс (University of Melbourne, Австралия) |
25.09.2014 |
21:58:50 |
progr. |
foreign language interface |
интерфейс межоперационной совместимости с кодом на других языках программирования (University of Melbourne, Австралия) |
25.09.2014 |
21:51:35 |
progr. |
target code compilation |
компиляция в код на целевом языке программирования (University of Melbourne, Австралия) |
25.09.2014 |
21:51:07 |
progr. |
target code compiler |
компилятор в код на целевом языке программирования (University of Melbourne, Австралия) |
25.09.2014 |
21:48:57 |
progr. |
medium-level |
среднеуровневый (University of Melbourne, Австралия) |
25.09.2014 |
21:41:32 |
progr. |
host architecture |
инструментальная платформа (University of Melbourne, Австралия; контекстуальный перевод на русс. язык) |
25.09.2014 |
21:41:04 |
progr. |
target architecture |
целевая платформа (University of Melbourne, Австралия; контекстуальный перевод на русс. язык) |
25.09.2014 |
18:39:22 |
progr. |
automatic parallelism |
автоматический параллелизм (University of Melbourne, Австралия) |
25.09.2014 |
18:37:10 |
progr. |
optional feature |
факультативная возможность |
25.09.2014 |
16:09:41 |
progr. |
high-level data structure |
высокоуровневая структура данных (University of Melbourne, Австралия) |
25.09.2014 |
16:09:25 |
progr. |
low-level intermediate code |
низкоуровневый промежуточный код (University of Melbourne, Австралия) |
25.09.2014 |
12:35:07 |
progr. |
portable assembler |
машинонезависимый ассемблер (University of Melbourne, Австралия) |
25.09.2014 |
12:32:41 |
progr. |
it was bootstrapped |
его раскрутка выполнена (говоря о компиляторе нового языка программирования; using ... – с помощью ... / с использованием ...; University of Melbourne, Австралия) |
25.09.2014 |
12:26:30 |
progr. |
type, mode, and determinism inference |
вывод типов, режима передачи параметров и детерминизма предикатов (University of Melbourne, Австралия) |
25.09.2014 |
12:22:47 |
progr. |
determinism declaration |
объявление детерминизма (University of Melbourne, Австралия) |
25.09.2014 |
12:20:46 |
progr. |
call to the predicate |
вызов предиката (University of Melbourne, Австралия) |
25.09.2014 |
12:15:50 |
progr. |
parametric polymorphism |
параметрический полиморфизм (позволяет определять функцию или тип данных обобщённо, чтобы значения могли обрабатываться идентично вне зависимости от их типа, он делает язык программирования более выразительным, сохраняя при этом полную статическую типобезопасность; University of Melbourne, Австралия) |
25.09.2014 |
12:15:38 |
progr. |
many-sorted logic with parametric polymorphism |
многосортная логика с параметрическим полиморфизмом (University of Melbourne, Австралия) |
25.09.2014 |
12:11:44 |
progr. |
back-end compilation |
постпроцессорная компиляция (University of Melbourne, Австралия) |
25.09.2014 |
12:06:37 |
progr. |
grade component |
компонент набора средств компиляции (University of Melbourne, Австралия) |
25.09.2014 |
12:01:50 |
progr. |
grade |
набор средств компиляции (в код на другом языке программирования; University of Melbourne, Австралия) |
25.09.2014 |
11:53:47 |
progr. |
code for an abstract machine |
код для абстрактной машины (University of Melbourne, Австралия) |
25.09.2014 |
11:52:46 |
progr. |
target language |
выходной язык программирования |
25.09.2014 |
11:51:18 |
progr. |
garbage collection strategy |
стратегия сборки мусора (University of Melbourne, Австралия) |
25.09.2014 |
11:50:03 |
progr. |
compilation model |
модель компиляции (University of Melbourne, Австралия) |
25.09.2014 |
11:35:54 |
progr. |
termination analysis |
анализ кода на отсутствие бесконечных циклов и рекурсий (University of Melbourne, Австралия) |
25.09.2014 |
11:29:39 |
law |
reporting entity |
подотчётный субъект |
25.09.2014 |
11:28:38 |
law |
designated services |
специально определённые услуги |
25.09.2014 |
11:28:10 |
law |
designated |
специально определённый |
25.09.2014 |
11:25:59 |
progr. |
race condition |
гонка потоков |
25.09.2014 |
11:25:38 |
progr. |
race condition |
ситуация гонки потоков |
25.09.2014 |
11:23:37 |
law |
Anti-Money Laundering and Counter-Terrorism Financing Act 2006 |
Закон "О противодействии отмыванию денег и финансированию терроризма" от 2006 г. |
25.09.2014 |
11:18:38 |
law |
anti-money laundering and counter-terrorism financing compliance |
нормативно-правовое соответствие в сфере противодействия отмыванию денег и финансированию терроризма |
25.09.2014 |
11:17:41 |
law |
AML/CTF compliance |
нормативно-правовое соответствие в сфере противодействия отмыванию денег и финансированию терроризма |
25.09.2014 |
11:08:20 |
progr. |
output |
генерация выходных файлов (University of Melbourne, Австралия; контекстуальный перевод на русс. язык) |
25.09.2014 |
11:08:03 |
progr. |
output |
выходные файлы (контекстуальный перевод на русс. язык) |
25.09.2014 |
11:00:05 |
progr. |
verbosity |
детализация |
24.09.2014 |
22:44:54 |
progr. |
time profiling |
профилирование производительности (University of Melbourne, Австралия; контекстуальный перевод на русс. язык) |
24.09.2014 |
22:10:17 |
progr. |
memory allocation profiling |
профилирование выделения памяти (в приложениях; University of Melbourne, Австралия) |
24.09.2014 |
22:08:30 |
progr. |
time profiling |
профилирование по времени (University of Melbourne, Австралия) |
24.09.2014 |
22:06:00 |
progr. |
logic coverage testing |
тестирование покрытия логики |
24.09.2014 |
22:04:42 |
progr. |
requirements coverage |
покрытие требований (оценка покрытия тестами функциональных и нефункциональных требований к продукту путем построения матриц покрытия) |
24.09.2014 |
22:04:11 |
progr. |
code coverage |
покрытие тестами кода |
24.09.2014 |
22:03:38 |
progr. |
traceability matrix |
матрица трассировки |
24.09.2014 |
22:01:25 |
progr. |
dice |
оценка шансов (University of Melbourne, Австралия) |
24.09.2014 |
21:59:55 |
progr. |
dicing |
оценивание шансов (University of Melbourne, Австралия) |
24.09.2014 |
21:22:00 |
progr. |
trace count |
счётчик трассировки (University of Melbourne, Австралия) |