| English | Russian |
| A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| allow the verification of time bounded properties | позволять верифицировать свойства с ограничениями по времени (ssn) |
| asynchronous circuits with bounded delays | асинхронные схемы с ограниченными задержками (ssn) |
| be capacity bounded | иметь конечную ёмкость (Alex_Odeychuk) |
| bound-check | выполнять проверку на выход за границы массива (IBM Alex_Odeychuk) |
| bounded algorithm | ограниченный алгоритм (ssn) |
| bounded array | защищённый массив (ssn) |
| bounded blocking queue | блокирующая очередь ограниченной ёмкости (oracle.com Alex_Odeychuk) |
| bounded blocking queue | блокирующая очередь с ограничением ёмкости (oracle.com Alex_Odeychuk) |
| bounded buffer | ограниченный буфер (ssn) |
| bounded buffer | кольцевой буфер (ssn) |
| bounded-buffer problem | задача ограниченного буфера (также известная как задача производителя и потребителя ssn) |
| bounded buffers | кольцевые буферы (ssn) |
| bounded context | с ограниченным контекстом (ssn) |
| bounded context | ограниченный контекст (область применения конкретной модели с определенными границами. Ограниченные контексты дают членам группы разработчиков четкое и общее представление о том, где следует соблюдать согласованность, а где можно работать независимо ssn) |
| bounded contexts | ограниченные контексты (ssn) |
| bounded delays | ограниченные задержки (ssn) |
| bounded input | ограниченный входной сигнал (ssn) |
| bounded jitter | предельное дрожание (ssn) |
| bounded-length string | строка со статической длиной (Alex_Odeychuk) |
| bounded-length string | статическая строка (Alex_Odeychuk) |
| bounded operators | ограниченные операторы (ssn) |
| bounded output | ограниченный выходной сигнал (ssn) |
| bounded output | ограниченный выход (ssn) |
| bounded queue | очередь с ограничением на длину (Alex_Odeychuk) |
| bounded resource | ограниченный ресурс (Alex_Odeychuk) |
| bounded string | статическая строка (Alex_Odeychuk) |
| bounded until | ограниченное ожидание (ssn) |
| bounded until operator | оператор ограниченного ожидания (ssn) |
| closed bounded convex set | замкнутое ограниченное выпуклое множество (ssn) |
| context-bounded | контекстно-ограниченный (ssn) |
| convex differentiable function defined over a closed bounded convex set | выпуклая дифференцируемая функция, определённая на замкнутом ограниченном выпуклом множестве (ssn) |
| exponentially bounded algorithm | экспоненциально ограниченный алгоритм (ssn) |
| input-output for bounded strings | ввод-вывод строк ограниченной длины (Alex_Odeychuk) |
| linear-bounded automaton | ЛО-автомат (линейно-ограниченный ssn) |
| linear bounded automaton | LB-автомат (ssn) |
| linear bounded automaton | ЛО-автомат (линейно ограниченный ssn) |
| linear bounded automaton | линейно ограниченный автомат (ssn) |
| linear bounded automaton | ЛОА (ssn) |
| memory-bounded | с ограничением объёма памяти (ssn) |
| memory-bounded heuristic search | эвристический поиск с ограничением объёма памяти (ssn) |
| monotonically decreasing sequence bounded from below | монотонно убывающая последовательность, ограниченная снизу (ssn) |
| names of bounded contexts | имена ограниченных контекстов (ssn) |
| optionally-bounded queue | очередь с возможным ограничением на длину (Alex_Odeychuk) |
| reachability problem for asynchronous circuits with bounded delays | задача достижимости для асинхронных схем с ограниченными задержками (ssn) |
| reachability problem with bounded delays | задача достижимости с ограниченными задержками (Alex_Odeychuk) |
| synchronizing a bounded buffer | синхронизация ограниченного буфера (ssn) |
| the domain of variation is restricted to a closed bounded convex set R | область изменения переменных представляет собой замкнутое ограниченное выпуклое множество R (ssn) |
| time bounded properties | свойства с ограничениями по времени (ssn) |
