Russian | English |
алгоритмы вычисления множества достижимых состояний | algorithms for computing the set of reachable states (ssn) |
алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний | algorithms for computing the set of reachable states of a finite-state system (ssn) |
вычисление множества достижимых состояний | computing the set of reachable states (ssn) |
достигнуть барьера | reach the barrier (Alex_Odeychuk) |
достижимая ситуация | accessible situation (ssn) |
достижимое состояние | reachable configuration (напр., распределённой системы ssn) |
достижимые состояния | reachable states (ssn) |
достижимые состояния исходного автомата | reachable states of the original automaton (ssn) |
достижимые состояния распределённой системы | reachable configurations of a distributed system (ssn) |
достижимый интерфейс | accessible interface (ssn) |
достичь требуемого уровня параллелизма | accomplish the required parallelism (ssn) |
другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний | Other approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
если мы достигнем этой цели, то разработка отдельных модулей может осуществляться различными людьми независимо друг от друга, без необходимости общения друг с другом, при этом все эти объединённые вместе модули будут функционировать правильно | if we achieve this goal, different people will be able to work on different modules independently, without needing much communication among themselves, and yet the modules will work together (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986 ssn) |
количество достижимых состояний распределённой системы | number of reachable configurations of a distributed system (ssn) |
множество достижимых состояний | set of reachable states (ssn) |
позволять достичь | achieve (ssn) |
разбиение задачи, стоящей перед программным обеспечением, на несколько подзадач, которые можно выполнять одновременно, чтобы достичь требуемого уровня параллелизма | dividing the software appropriately into two or more tasks that can be performed at the same time to accomplish the required parallelism (ssn) |
реально достижимая надёжность | achievable reliability (ssn) |
сигнализировать, что участник достиг барьера | signal that a participant has reached the barrier (Alex_Odeychuk) |
Фоновая память позволяет достичь большей плотности за счёт эффективного использования матричных структур и небольшого снижения быстродействия и устойчивости в обмен на уменьшение размера | Background memory achieves higher area densities through efficient use of array structures and by trading off performance and robustness for size (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
чтобы достичь | in order to (в описании теста по шаблону спецификации поведения Gherkin Alex_Odeychuk) |