31.10.2016 |
10:43:10 |
progr. |
function-node |
точка-функция |
31.10.2016 |
10:41:50 |
progr. |
execution is determined by the structure of a graphical block diagram |
структура алгоритма определяется взаимным расположением графических блоков на чертеже алгоритма (на языке программирования с управляющей графикой) |
31.10.2016 |
10:39:31 |
progr. |
dataflow programming language |
язык программирования обработки потоков данных (в программах, предназначенных для потоковой обработки, описывается не поток команд, а поток данных) |
31.10.2016 |
10:38:01 |
progr. |
dataflow programming language |
язык программирования вычислений, управляемых потоком данных |
31.10.2016 |
10:36:47 |
progr. |
graphical language |
язык программирования с управляющей графикой |
31.10.2016 |
10:35:29 |
progr. |
embedded system design |
проектирование встроенных систем |
28.10.2016 |
18:38:50 |
progr. |
development environment for a visual programming language |
среда разработки на языке программирования с управляющей графикой |
28.10.2016 |
18:32:10 |
progr. |
remote procedure type |
удалённый процедурный тип |
28.10.2016 |
18:31:28 |
progr. |
process agent |
агент-процесс |
28.10.2016 |
18:30:43 |
progr. |
decomposed in sub-blocks |
разделённый на подблоки (напр., говоря о функциональном блоке кода) |
28.10.2016 |
18:27:47 |
progr. |
procedure type |
процедурный тип |
28.10.2016 |
18:27:31 |
progr. |
process agent |
процессный агент |
28.10.2016 |
18:25:34 |
progr. |
abstract generic type |
абстрактный обобщённый тип |
28.10.2016 |
18:25:11 |
scient. |
full formal definition |
полное формализованное определение |
28.10.2016 |
18:25:11 |
scient. |
full formal definition |
полное формальное определение |
28.10.2016 |
18:24:31 |
progr. |
concrete grammar |
конкретная грамматика (напр., языка программирования) |
28.10.2016 |
18:24:12 |
progr. |
abstract grammar |
абстрактная грамматика (языка программирования) |
28.10.2016 |
18:23:42 |
dat.proc. |
machine processing |
автоматизированная обработка данных |
28.10.2016 |
18:23:11 |
progr. |
graphical syntax |
визуальный синтаксис (языка программирования с управляющей графикой) |
28.10.2016 |
18:22:38 |
progr. |
behavior of components |
поведение компонентов |
28.10.2016 |
18:22:08 |
IT |
simulation target |
эмулятор целевой платы |
28.10.2016 |
18:22:08 |
IT |
simulation target |
эмулятор целевой аппаратной платформы |
28.10.2016 |
18:20:41 |
progr. |
GR |
визуальные управляющие конструкции (GR – сокр. от "graphic representation"; в языке программирования с управляющей графикой) |
28.10.2016 |
18:20:34 |
progr. |
GR |
графические управляющие конструкции (GR – сокр. от "graphic representation"; в языке программирования с управляющей графикой) |
28.10.2016 |
18:20:22 |
progr. |
GR |
управляющая графика (GR – сокр. от "graphic representation"; в языке программирования с управляющей графикой) |
28.10.2016 |
18:19:22 |
progr. |
underlying semantics |
базовая семантика (языка программирования) |
28.10.2016 |
18:15:29 |
progr. |
phrase representation |
текстовые управляющие конструкции (в языке программирования с управляющей графикой) |
28.10.2016 |
18:15:29 |
progr. |
phrase representation |
текстовые управляющие структуры |
28.10.2016 |
18:14:55 |
progr. |
graphic representation |
визуальные управляющие конструкции (в языке программирования с управляющей графикой) |
28.10.2016 |
18:14:50 |
progr. |
graphic representation |
графические управляющие конструкции (в языке программирования с управляющей графикой) |
28.10.2016 |
18:14:45 |
progr. |
graphic representation |
управляющая графика (в языке программирования с управляющей графикой) |
28.10.2016 |
18:13:38 |
progr. |
with a graphical notation |
с управляющей графикой (говоря о языке программирования с управляющей графикой) |
28.10.2016 |
18:09:39 |
softw. |
process control application |
автоматизированная система управления технологическим процессом |
28.10.2016 |
18:08:03 |
progr. |
unambiguous specification and description of the behaviour of |
строгое описание и спецификация поведения (the ~) |
28.10.2016 |
18:03:35 |
progr. |
3rd-party tools |
инструменты от сторонних разработчиков |
28.10.2016 |
18:03:35 |
progr. |
3rd-party tools |
инструментальные средства от сторонних разработчиков |
28.10.2016 |
18:02:56 |
progr. |
symbolic model checker |
средство символьной верификации моделей |
28.10.2016 |
18:02:25 |
softw. |
software in embedded systems |
встроенное программное обеспечение |
28.10.2016 |
18:01:55 |
IT |
at varied abstraction levels |
на разных уровнях абстракции |
28.10.2016 |
18:00:46 |
progr. |
declared at compile time |
объявляемый во время выполнения |
28.10.2016 |
18:00:11 |
progr. |
deterministic execution time and memory consumption |
детерминированное время выполнения и использование памяти |
28.10.2016 |
17:59:59 |
progr. |
guarantees of deterministic execution time and memory consumption |
гарантии детерминированного времени выполнения и использования памяти |
28.10.2016 |
17:59:01 |
progr. |
compile-time task scheduling |
диспетчеризация задач во время компиляции |
28.10.2016 |
17:58:46 |
progr. |
run-time task scheduling |
диспетчеризация задач во время выполнения |
28.10.2016 |
17:58:00 |
progr. |
guarded atomic action |
атомарная операция с охранным условием |
28.10.2016 |
17:57:35 |
progr. |
hard realtime performance |
работа в жёстком реальном времени |
28.10.2016 |
17:57:08 |
progr. |
realtime performance |
работа в реальном времени (из кн.: Ким А.К. Микропроцессоры и вычислительные комплексы семейства "Эльбрус": учебное пособие для вузов по направлению подготовки "Информатика и вычислительная техника") |
28.10.2016 |
17:55:55 |
progr. |
deterministic execution time |
детерминированное время выполнения |
28.10.2016 |
17:55:03 |
progr. |
hard realtime embedded applications |
встроенное программное обеспечение жёсткого реального времени |
28.10.2016 |
17:54:35 |
progr. |
embedded application |
встроенное приложение |
28.10.2016 |
17:53:49 |
progr. |
embedded applications |
встроенное программное обеспечение (электронном InfoWorld) |
28.10.2016 |
17:53:13 |
progr. |
embedded software engineering |
разработка встроенного программного обеспечения |
28.10.2016 |
17:52:03 |
progr. |
guarded atomic operation |
атомарная операция с охранным условием |
28.10.2016 |
17:50:55 |
progr. |
real-time embedded software designing |
проектирование встроенного программного обеспечения реального времени |
28.10.2016 |
17:50:31 |
softw. |
real-time embedded software |
встроенное программное обеспечение реального времени |
28.10.2016 |
17:49:38 |
progr. |
formalism |
представление потока данных |
28.10.2016 |
17:49:24 |
progr. |
formalisms |
представление потоков данных |
28.10.2016 |
17:48:31 |
IT |
interleaving-based non-determinism |
недетерминированное выполнение кода в режиме вытесняющей многозадачности (the statement "a||b" can be either implemented as "a;b" or as "b;a") |
28.10.2016 |
17:48:02 |
progr. |
non-determinism |
недетерминированное выполнение кода |
28.10.2016 |
17:47:56 |
progr. |
non-determinism |
недетерминированное выполнение |
28.10.2016 |
17:44:18 |
IT |
interleaving-based |
в режиме вытесняющей многозадачности |
28.10.2016 |
17:44:02 |
IT |
interleaving of concurrent behaviors |
поведение задач в режиме вытесняющей многозадачности |
28.10.2016 |
17:43:02 |
IT |
interleaving of concurrent behaviors |
вытесняющая многозадачность |
28.10.2016 |
17:40:04 |
softw. |
reactive system |
система реального времени (interacts continuously with its environment, at a speed imposed by the environment; a typical example is the automatic flight control system of modern airplanes. Reactive systems must therefore react to stimuli from the environment within strict time bounds. For this reason they are often also called real-time systems, and are found often in embedded systems) |
28.10.2016 |
17:38:14 |
progr. |
hard realtime embedded programming |
программирование встроенных систем жёсткого реального времени |
28.10.2016 |
17:36:59 |
softw. |
platform for designing safety-critical systems from models |
платформа проектирования систем с повышенными требованиями к безопасности на основе моделей |
28.10.2016 |
17:35:18 |
progr. |
mission-critical |
с особым целевым назначением (из кн.: Липаев В.В. Тестирование компонентов и комплексов программ) |
28.10.2016 |
17:34:45 |
progr. |
mission-critical system |
система с особым целевым назначением (из кн.: Липаев В.В. Тестирование компонентов и комплексов программ) |
28.10.2016 |
17:21:48 |
progr. |
automatic code generation |
автоматическое получение кода |
28.10.2016 |
17:21:23 |
tech. |
model-centric approach |
моделецентрический подход |
28.10.2016 |
17:21:08 |
tech. |
model-centric |
моделецентрический |
28.10.2016 |
17:20:45 |
tech. |
model-centric |
моделеориентированный |
28.10.2016 |
17:20:37 |
tech. |
model-centric |
моделецентричный |
28.10.2016 |
17:19:55 |
progr. |
model-centric |
на основе моделей |
28.10.2016 |
17:19:23 |
progr. |
toolchain for embedded software development |
пакет инструментальных средств разработки встроенного программного обеспечения |
28.10.2016 |
17:19:23 |
progr. |
toolchain for embedded software development |
набор инструментальных средств разработки встроенного программного обеспечения |
28.10.2016 |
17:16:49 |
progr. |
high-security system |
система с высокими требованиями по защищённости (от несанкционированного доступа) |
28.10.2016 |
17:15:48 |
progr. |
safety-critical system |
система с повышенными требованиями по безопасности |
28.10.2016 |
17:14:19 |
progr. |
generating code from models |
генерация кода по моделям |
28.10.2016 |
17:14:19 |
progr. |
generating code from models |
автоматическое получение кода на основе моделей |
28.10.2016 |
17:13:32 |
dat.proc. |
constraint query language |
язык запросов с ограничениями |
28.10.2016 |
17:12:38 |
d.b.. |
constraint query |
запрос с ограничением |
28.10.2016 |
17:11:30 |
softw. |
modeling platform |
платформа моделирования |
28.10.2016 |
17:11:04 |
dat.proc. |
data constraints |
ограничения по данным |
28.10.2016 |
17:11:04 |
dat.proc. |
data constraints |
ограничения на данные |
28.10.2016 |
17:10:29 |
avia. |
avionics system |
комплекс бортового радиоэлектронного оборудования |
28.10.2016 |
17:09:43 |
progr. |
user-defined property |
пользовательское свойство (свойство, определяемое пользователем) |
28.10.2016 |
17:05:05 |
progr. |
hard real-time computing |
вычисления в системах жёсткого реального времени |
28.10.2016 |
17:04:42 |
progr. |
safety-critical, hard real-time computing |
вычисления в критичных с точки зрения функциональной безопасности системах жёсткого реального времени (корпорации AdaCore) |
28.10.2016 |
17:04:09 |
progr. |
safety-critical computing |
вычисления в системах с особыми требованиями по функциональной безопасности (корпорации AdaCore) |
28.10.2016 |
16:33:23 |
progr. |
tasking features |
средства многозадачного программирования |
28.10.2016 |
16:32:27 |
progr. |
real-time computer programming |
программирование вычислительных систем реального времени |
28.10.2016 |
16:32:10 |
progr. |
real-time computer programming |
программирование систем реального времени |
28.10.2016 |
16:31:03 |
progr. |
deterministic garbage collector |
детерминированный механизм автоматического управления памятью (с детерминированным, чётко прогнозируемым временем освобождения динамической памяти от ненужных данных; русс. термин "автоматическое управление памятью" взят из кн.: Рихтер Дж. CLR via C#. Программирование на платформе Microsoft .NET Framework 2.0 на языке C#; Савихин О.Г Основы разработки приложений в Microsoft Visual Studio .NET) |
28.10.2016 |
16:28:46 |
progr. |
deterministic garbage collection |
детерминированный механизм автоматического управления памятью |
28.10.2016 |
16:26:02 |
progr. |
region-based memory management |
региональное управление памятью (напр., в приложениях реального времени) |
28.10.2016 |
16:23:33 |
progr. |
preemptable by the garbage collector |
выгружаемый механизмом автоматического управления памятью (русс. термин "автоматическое управление памятью" взят из кн.: Рихтер Дж. CLR via C#. Программирование на платформе Microsoft .NET Framework 2.0 на языке C#; Савихин О.Г Основы разработки приложений в Microsoft Visual Studio .NET) |
28.10.2016 |
16:22:08 |
progr. |
area of memory that is not subject to garbage collection |
область памяти, где отключён механизм автоматического управления памятью (русс. термин "автоматическое управление памятью" взят из кн.: Рихтер Дж. CLR via C#. Программирование на платформе Microsoft .NET Framework 2.0 на языке C#; Савихин О.Г Основы разработки приложений в Microsoft Visual Studio .NET) |
28.10.2016 |
16:16:35 |
progr. |
be plugged into the VM |
быть подключённым к виртуальной машине |
28.10.2016 |
16:16:14 |
progr. |
specification for the threading model |
спецификация модели потоков |