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) |
A simple way to guarantee this is by instantiating stream within block | Простейший способ обеспечить это состоит в создании экземпляра потока внутри блока (ssn) |
a way to capture and model known functional requirements | способ сбора и моделирования известных функциональных требований (ssn) |
a way to structure the enterprise | подходы к структуризации предприятия (ssn) |
choosing a good way to represent the information | правильный выбор способа представления информации (ssn) |
Choosing a good way to represent the information can often make designing the program and processing the data much easier | Правильный выбор способа представления информации может существенно облегчить разработку программы и обработку данных (C Primer Plus by Stephen Prata (2013) ssn) |
Concurrency in software is a way to manage the sharing of resources used at the same time | Параллельность в программах – это способ управлять распределением общих ресурсов, используемых одновременно (см. Multi-Core Programming by Shameem Akhter and Jason Roberts 2006 ssn) |
Concurrency in software is a way to manage the sharing of resources used at the same time | Параллельность в программах это способ управлять распределением общих ресурсов, используемых одновременно (см. Multi-Core Programming by Shameem Akhter and Jason Roberts 2006 ssn) |
Concurrent programming provides a way to organize software that contains relatively independent parts | Параллельное программирование обеспечивает способ организации программного обеспечения, состоящего из относительно независимых частей (см. Foundations of Multithreaded, Parallel, and Distributed Programming 2000 by Gregory R. Andrews ssn) |
convenient way to execute a flowchart | удобный способ выполнения блок-схемы (ssn) |
convenient way to implement a list | удобный способ для реализации списков (ssn) |
different states imply a different way of reacting to events | различные состояния предполагают различные способы реакции на события (ssn) |
effective way to design an algorithm for a program | эффективный способ разработки алгоритма программы (ssn) |
need a way to hook themselves to the events of interest in their runtime environment | нуждаться в способе привязки к событиям, о которых идёт речь, в их среде выполнения (ssn) |
of course, an extensible system by itself is not a way to structure an operating system | Конечно, сама расширяемая система не является методом структурирования операционной системы (см. Modern Operating Systems Third ed. by Tanenbaum A.S. 2009) |
one way of allowing user management of resources is to associate a semaphore with each resource | один из способов, позволяющих ввести пользовательское управление ресурсами, заключается в присоединении семафора к каждому из ресурсов (см. Modern Operating Systems Third ed. by Tanenbaum A.S. 2009) |
provide a managed way to interact | обеспечивать управляемый способ взаимодействия (with ... – c ... Alex_Odeychuk) |
safest way to read a character | самый безопасный способ чтения символа (ssn) |
slight digression to look at the concept of safety in a graphic and easy-to-understand way | небольшое отступление, чтобы рассмотреть концепцию безопасности в графическом, простом для понимания виде (см. Modern Operating Systems Fourth ed. by Andrew S. Tanenbaum & Herbert Bos 2015 ssn) |
Template classes may provide a convenient way to consolidate higher level aggregations | Шаблонные классы обеспечивают оптимальный способ объединения совокупностей более высокого уровня (ssn) |
the dependency relationship means that some members of Package A refer in some way to some members of Package B | Отношение зависимости означает, что некоторые члены пакета A обращаются некоторым способом к некоторым членам пакета B (это может означать, что пакет A импортирует некоторые элементы пакета B; this can mean that Package A imports some elements of Package B; см. Maciaszek L.A. and Liong B.L. (2005): Practical Software Engineering) |
the only efficient way to deal with complicated systems is in a hierarchical fashion | Единственно эффективное направление работы со сложными системами основывается на иерархическом подходе |
the second way is to enter a special value called the sentinel value that tells the application that the data set is finished | Второй способ – ввод специального значения контрольного, указывающего приложению на завершение набора данных |
the second way is to enter a special value called the sentinel value that tells the application that the data set is finished | Второй способ ввод специального значения контрольного, указывающего приложению на завершение набора данных |
the synchronous approach, in which all memory elements in the system are simultaneously updated using a globally distributed periodic synchronization signal that is, a global clock signal, represents an effective and popular way to enforce this ordering | Эффективным и популярным способом реализации этого упорядочения является синхронный подход, при котором все запоминающие элементы системы обновляются одновременно с использованием глобального периодического синхронизирующего сигнала т.е. глобального тактового сигнала (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
Understanding the mechanics of such refactorings is the key to refactoring in a disciplined way | Понимание техники таких методов рефакторинга важно для организованного осуществления рефакторинга (см. Refactoring: Improving the Design of Existing Code by Martin Fowler et al. 1999 ssn) |
way to instantly cancel a time-consuming operation | способ мгновенной отмены длительной операции (ssn) |
way to read a character | способ чтения символа (ssn) |