What is the translation of " MEMORY MODEL " in Russian?

• модель памяти
• модели памяти

Examples of using Memory model in English and their translations into Russian

Memory models are not limited to 16-bit programs.
Модели памяти не ограничиваются 16- битными программами.

November, 16th: Operational approaches to weak memory models.
Ноября: Операционные методы в приложении к слабым моделям памяти.

Survey of memory modeling methods in static verification tools.
Обзор подходов к моделированию памяти в инструментах статической верификации.

There is an auspicious attempt to solve the problem- promising memory model.
Одним из перспективных решений этой проблемы является„ обещающая" модель памяти.

Mutilin Survey of memory modeling methods in static verification tools pp.
Мутилин Обзор подходов к моделированию памяти в инструментах статической верификации Стр.

Few, if any, languages or multi-core processors implement such a memory model.
Немногие, если таковые имеются, языки или многоядерные процессоры реализуют такую модель памяти.

Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions.
Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области.

Lamport's bakery algorithm assumes a sequential consistency memory model.
Алгоритм пекарни Лампорта предполагает использование модели памяти с последовательной согласованностью.

Mandrykin Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions pp.
Мандрыкин Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Стр.

We're beginning to discuss the most troublesome errors: the errors related to the OpenMP memory model.
Начиная с этой ошибки, мы переходим к самому неприятному виду ошибок- к ошибкам, связанным с моделью памяти OpenMP.

Khoroshilov High-Level Memory Model with Low-Level Pointer Cast Support for Jessie Intermediate Language.
Высокоуровневая модель памяти промежуточного языка Jessie с поддержкой произвольного приведения типов указателей.

We also present results of benchmarking the corresponding implementation against existing memory model.
Также мы приводим результаты сравнительного анализа эффективности предложенной реализации относительно существующей модели памяти.

The Java memory model describes how threads in the Java programming language interact through memory..
Модель памяти Java описывает взаимодействие потоков через память в языке программирования Java.

Technically, the"flat" 32-bit address space is a"tiny" memory model for the segmented address space.
Технически,« плоское» 32- битное адресное пространство является моделью памяти типа« tiny» для сегментированного адресного пространства.

Mutilin Survey of memory modeling methods in static verification tools Proceedings of the Institute for System Programming.
Мутилин Обзор подходов к моделированию памяти в инструментах статической верификации Труды Института системного программирования РАН.

During intraprocedural analysis the engine creates a memory model and performs alias analysis, value analysis, etc.
В ходе анализа каждой функции выполняется анализ указателей, анализ возможных значений переменных, создается модель памяти программы и др.

The Java memory model was the first attempt to provide a comprehensive memory model for a popular programming language.
Модель памяти Java стала первой попыткой разработать исчерпывающую модель межпоточного взаимодействия для крупного языка программирования.

In this paper, we present a proof of compilation correctness from a subset of promising memory model to an axiomatic ARMv8.3 memory model..
Данная статья представляет доказательство корректности компиляции из подмножества обещающей модели в модели памяти процессора ARMv8. 3.

Mandrykin Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions Proceedings of the Institute for System Programming.
Мандрыкин Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Труды Института системного программирования РАН.

The method is based on the Lockset one but it implements two heuristics that are aimed to reduce amount of false alarms: a memory model and a model of parallelism.
Метод основан на алгоритме Lockset, но использует две эвристики, которые призваны уменьшить количество ложных предупреждений: модель памяти и модель параллелизма.

There are two parts involved: a memory model which allows multiple threads to co-exist in a program and library support for interaction between threads.
Здесь задействованы две части: модель памяти, которая позволяет нескольким потокам сосуществовать в программе, и библиотека, поддерживающая взаимодействие между потоками.

The WOW subsystem of the operating system thunks legacy 16-bit APIs to their newer 32-bit equivalents in order to provide support for 16-bit pointers, memory models and address space.
Операционная система преобразует( thunk) вызовы 16- битных API в их 32- битные эквиваленты, предоставляя поддержку 16- битных указателей, моделей памяти и адресного пространства.

While the C++03 language provides a memory model that supports threading, the primary support for actually using threading comes with the C++11 standard library.
В то время, как язык C 03 предоставляет модель памяти, поддерживающую многопоточность, основная поддержка для фактического использования многопоточности обеспечивается стандартной библиотекой C++ 11.

The method is based on the Lockset one, but it implements two heuristics that are aimed to reduce amount of false alarms: a memory model and a model of parallelism.
Описываемый метод основан на методе Lockset, но также он реализует две эвристики, которые позволяют сократить число ложных сообщений об ошибке: модель памяти и модель параллелизма.

The memory model defines when multiple threads may access the same memory location, and specifies when updates by one thread become visible to other threads.
Модель памяти определяет, как несколько потоков могут обращаться к одной и той же ячейке памяти, и определяет, когда изменения, произведенные одним потоком, становятся видимыми для других потоков.

New features included: incremental compiling and linking, improved compilation speed, built-in assembler and support for all memory models.
Были предложены следующие новые возможности: инкрементальная компиляция и сборка, увеличенная скорость компиляции, встроенный ассемблер, поддержка всех моделей памяти, улучшенная гипертекстовая справочная система и поддержка разработки для Windows.

The original Java memory model, developed in 1995, was widely perceived as broken, preventing many runtime optimizations and not providing strong enough guarantees for code safety.
Исходная модель памяти Java( к которой, в частности, относится« потоколокальная память»), разработанная в 1995 году, считается неудачной: многие оптимизации невозможно провести, не потеряв гарантию, что код безопасен.

To show that the model might be used as a part of an industrial language standard, it is necessary to prove correctness of compilation from the model to memory models of target processor architectures.
Для того, чтобы некоторая модель могла быть использована в стандарте некоторого промышленного языка программирования, должна быть доказана корректность компиляции из этой модели в модель памяти целевой процессорной архитектуры.

In the paper, we describe the verification methods with memory models based on uninterpreted functions, allowing to analyze programs containing expressions with pointers, including pointers to structures, arrays and pointer arithmetic.
В данной работе описывается метод верификации с моделями памяти на основе неинтерпретируемых функций, позволяющий анализировать программы, содержащие выражения с указателями, в том числе указателями на структуры, массивы и выражения, содержащие адресную арифметику.

It allowed inline assembly with full access to C symbolic names and structures, supported all memory models, and offered optimizations for speed, size, constant folding, and jump elimination.
Он занимал всего 384 килобайт памяти во время выполнения, позволял использовать ассемблерные вставки с полным доступом к символическим именам и структурам Си, поддерживал все модели памяти и предлагал оптимизацию скорости и размера, свертывание констант и ликвидацию переходов.