Russian | English |
в реализации ALGOL 60 эта особенность позволяет использовать стек для динамического распределения и освобождения памяти | it is this feature that permits an ALGOL 60 implementation to take advantage of a stack as a method of dynamic storage allocation and relinquishment (ssn) |
в тестировании на основе кода используются такие входные данные, которые позволяют проверить определённые пути выполнения программы | in testing to code, the input data is provided to test specific execution paths in the program (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
в частности, если взять наиболее простой случай, загрузка набора программных абстракций C позволяет писать на этом языке код | in the simplest case, you may load a set of C programming abstractions, which will let you write C code (см. Generative Programming: Methods, Tools, and Applications / Krzysztof Czarnecki, Ulrich Eisenecker) |
Важным достоинством этого подхода является то, что полученная информация позволяет пользователю проверять, удовлетворяет ли эта модель различным ограничениям реального времени | an important benefit of this approach is that the information produced allows the user to check whether the model satisfies various real-time constraints (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
Встроенный модуль контроля типов позволяет удостовериться в корректности кода после преобразований | Internal type checker validates code after transformations (ssn) |
Второй вход вентилей НЕ-ИЛИ соединяется со входами триггера S и R, что позволяет принудительно перевести выходы Q и не Q в нужное состояние | the second input of the NOR gates is connected to the trigger inputs S and R, that make it possible to force the outputs Q and not Q to a given state (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
Данные реального времени и ретроспективные данные позволяют понять существующие тенденции и предсказать будущие потребности | Use real-time and historical data to understand trends and to predict future needs (ssn) |
ключевое слово C++, обозначающее инструкцию, которая позволяет выбрать одну из ветвей в зависимости от значения выражения | switch |
ключевое слово C++, обозначающее функцию, которая позволяет узнать размер объекта или типа в байтах | sizeof (char) |
Кнопка List Of Values позволяет Вам выбрать из существующих документов | List Of Values button enables you to select from the existing documents (ssn) |
Кроме того, ассоциативные массивы JavaScript позволяют напрямую программировать представления конечных автоматов в виде двумерных таблиц | And, JavaScript associative arrays allow you to code the two-dimensional table representation of a finite state machine directly (ssn) |
Кэш динамического размера позволяет Linux задействовать всю память в системе и кэшировать максимальный объём данных | A dynamically sized cache allows Linux to use all of the memory in the system, and cache as much data as possible (ssn) |
Манипуляторы потока left и right позволяют выводить данные в поле соответственно или с левым выравниванием и заполняющими символами в правой части поля, или с правым выравниванием и заполняющими символами слева | Stream manipulators left and right enable fields to be left justified with padding characters to the right or right justified with padding characters to the left, respectively (C++ How to Program, 7th Edition by Harvey M. Deitel & Paul J. Deitel (2010) ssn) |
Механизм исходящих вызовов ядра позволяет разработчику добавлять в систему свой код, "знающий" о специфике оборудования | Kernel callouts let the developer supply code that knows how to deal with the specifics of the hardware (см. "Getting Started with QNX Neutrino 2. A Guide for Realtime Programmers" by Rob Krten 1996 ssn) |
Моделирование обоих типов планировщиков позволяет нам сравнить поведение системы в различных условиях | Modeling both types of schedulers allows us to compare the behavior of the system under different conditions (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
Мощь подхода, использующего конечный автомат, обусловлена тем, что он позволяет в явном виде определить действительные состояния для некоторого аспекта вашего приложения и задать соответствующие варианты поведения при переходах приложения из одного состояния в другое | the great strength of the state machine approach is that it enables you to come up with an explicit definition of valid states for some aspect of your application and enforce proper behaviors as an application moves from one state to another (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005) |
объект, который позволяет | object which makes it possible to (+ inf.; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
Повсеместная редактируемость текста вместе с наличием глобальных данных в отдельных окошках позволяет избежать множества лишних шагов, которые не способствуют прогрессу фактически решаемой задачи | the ubiquitous editability of text together with the persistence of global data in particular viewers allows many steps that do not contribute to the progress of the task actually pursued to be avoided (см. Project Oberon: The Design of an Operating System and Compiler Edition 2005 by N. Wirth, J. Gutknecht перевод Е.В. Борисова, Л.Н. Чернышова, 2012) |
подкачка позволяет ядру хранить данные на диске, чтобы поддерживать отпечаток памяти большего размера, чем объём доступной на машине оперативной памяти | swapping allows the kernel to store data on the disk, to allow a larger memory footprint than the machine has RAM (ssn) |
позволяет поставлять приложения со сменным впечатлением и ощущением от использования | enables delivery of applications with pluggable look-and-feel (о наборе компонентов Swing (Swing component kit) ssn) |
позволять в явном виде определить действительные состояния | enable you to come up with an explicit definition of valid states (приложения ssn) |
позволять верифицировать свойства с ограничениями по времени | allow the verification of time bounded properties (ssn) |
позволять выводить данные в поле | enable fields to be (ssn) |
позволять достичь | achieve (ssn) |
позволять использовать | provide (ssn) |
позволять напрямую программировать представления конечных автоматов в виде двумерных таблиц | allow you to code the two-dimensional table representation of a finite state machine directly (ssn) |
позволять описывать | permit a description (ssn) |
позволять получить чёткое представление о структуре кода | give a clear picture of the structure at the code level (англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р. Alex_Odeychuk) |
позволять принимать худшие решения | permit acceptance of worse solutions (ssn) |
позволять программе использовать максимальную частоту кадров, на которую способно оборудование | allow a program to max out frame rates (ssn) |
позволять распределять нагрузку вызовов между конечными точками | allow calls to be load balanced across endpoints (microsoft.com Alex_Odeychuk) |
позволять реализовать возможности | allow the capabilities to be implemented (ssn) |
позволять согласовать | correlate (ssn) |
позволять создать | permit (ssn) |
позволять судить о классе | make assertions about the class (ssn) |
Поиск по неточному соответствию – позволяет отыскать требуемую информацию при наличии орфографических ошибок в документе или в запросе | Fuzzy searches – allows to find the demanded information if spelling errors in the document or in query are present (ssn) |
Поиск по неточному соответствию позволяет отыскать требуемую информацию при наличии орфографических ошибок в документе или в запросе | Fuzzy searches allows to find the demanded information if spelling errors in the document or in query are present (ssn) |
Решение для восстановления после отказов, использующее передачу журналов, что позволяет использовать данные из резервной системы в случае частичного или полного отказа первичной системы | A disaster recovery solution that uses log shipping and provides data to a standby system if a partial or complete site failure occurs on a primary system (технология HADR ssn) |
Составные документы OLE позволяют манипулировать данными любых форматов из различных источников внутри одного приложения | OLE compound documents enable you to manipulate data from multiple sources and formats from within a single application (ssn) |
Средства поддержки зависимостей позволяют реализовать возможности с помощью независимых компонентов, которые предоставляют доступ к собственным интерфейсам, но зависят от модулей ИИ | Dependencies allow the capabilities to be implemented as independent components that provides their own interfaces, but that depends on AI modules (см. AI Game Development: Synthetic Creatures with Learning and Reactive Behaviors / Alex J. Champandard 2003 ssn) |
структурированное хранилище позволяет сохранять файлы при нехватке памяти | structured storage allows files to be saved in low memory situations (ssn) |
Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме | Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
Такое сочетание позволяет повысить уровень адекватности реальным системам по сравнению с чисто дискретной моделью | this combination allows improving the level of adequacy to the real systems compared to the purely discrete model (ssn) |
увеличивать окно опережающего считывания, позволяя считывать заранее больше данных | grow the readahead window, thereby reading ahead more and more data (ssn) |
универсальный язык разметки, классифицируемый как расширяемый язык, поскольку он позволяет своим пользователям определять свои собственные теги | general-purpose markup language classified as an extensible language because it allows its users to define their own tags (ssn) |
Фоновая память позволяет достичь большей плотности за счёт эффективного использования матричных структур и небольшого снижения быстродействия и устойчивости в обмен на уменьшение размера | 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) |
Функция offline_confirm устанавливает состояние узла в режим "offline" выключен и немедленно возвращает управление. Использование этой функции позволяет узлу подтвердить информацию, что он окончил очистку и теперь выключается | the offline_confirm function sets the state of the device to offline and returns immediately. Use this function to confirm that the device has finished its cleanup and is now going offline (см. Neuron® C Programmer's Guide by Echelon Corporation 2009) |
Хороший компилятор должен уметь порождать код с проверками, избегать лишних проверок и позволять программистам управлять количеством и видами проверок на ошибки в скомпилированном коде | A good compiler should be able to produce code with checks, should avoid redundant checks, and should allow programmers to control the extent and type of error checking in the compiled code (ssn) |
это очень гибкая методика, которая позволяет программе использовать максимальную частоту кадров, на которую способно оборудование. Однако назвать её стопроцентно полной развязкой всё же нельзя | this is a pretty smart technique that allows a program to max out frame rates, but it is not true full decoupling (см. Game Architecture and Design / Andrew Rollings, David Morris 2004 ssn) |