Suchergebnisse - Peterson’s algorithm :: Harvester open publications of NAS Ukraine

Ähnliche Schlagwörter innerhalb Ihrer Suche. Ähnliche Schlagwörter innerhalb Ihrer Suche.

Математическое моделирование и вычислительные методы 3
Genomics, Transcriptomics and Proteomics 2
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи 2
IPCL 1
Peterson’s algorithm 1
UDC 004.415.52 1
composition-nominative languages 1
concurrent program 1
formal verification 1
interleaving 1
liveness property 1
mutual exclusion 1
software total correctness 1
Анализ результатов наблюдений и методы расчета гидрофизических полей океана 1
Взгляд на проблему 1
Керування в економічних та біологічних системах 1
Математика 1
Математичні методи обробки даних 1
Методи обробки та захисту інформації 1
Моделювання і управління великими системами 1
Мікологічні знахідки 1
Обзоp 1
Обчислювальні системи 1
Огляди 1
Оптимальное управление и методы оптимизации 1
Оригинальные исследования 1
Оригинальные работы 1
Паралельне програмування. Розподілені системи і мережі 1
Плазменно-пучковый разряд, газовый разряд и плазмохимия 1
Птицы и климат 1

Peterson’s Algorithm total correctness proof in IPCL von Zhygallo, A.A.

Peterson’s algorithm Total correctness proof in IPCL von Zhygallo, A.A.

Peterson&#039;s Algorithm total correctness proof in IPCL von A. A. Zhygallo

Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация von Фейзиев, Ф.Г.

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду von Фейзиев, Ф.Г., Мехтиева, М.Р.

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду (двоичный случай)... von Фейзиев, Ф.Г., Мехтиева, М.Р., Самедова, З.А.

Алгоритм сегментации слов на основе поиска кратчайшего пути в графе von Ландэ, Д.В., Березин, Б.А., Павленко, О.Ю.

Индолентные неходжкинские лимфомы: современный алгоритм диагностики и лечения von Пономарева, О.В., Ганул, А.В.

Просторовий аналіз та моделювання поширення Aconitum moldavicum в Українських Карпатах та на прилеглих територіях з наголосом на використані алгоритми... von Novikov, A., Mitka, J.

Имплементация и оптимизация алгоритма Рида-Соломона для создания кодов восстановления потерь в данных... von Горин, В.В., Лютенко, В.М.

Blockchain as a service for medical records von Petrenko, A., Kyslyi, R., Pysmennyi, I.

Data analysis and anomalies detection in cattle behavior von Stetsyuk, P., Stovba, V., Shevchuk, V.

Energy dissipation in helicon plasma at the near field of an antenna von Olshansky, V.

Кодирование и восстановление последовательностей von Антоненко, А.О.

Robust clustering on high-dimensional data with stochastic quantization von Kozyriev, A., Norkin, V.

Вплив кліматичних і топографічних чинників на поширення лелеки чорного (Ciconia nigra (Linnaeus, 1758) в Україні... von Фесенко, Г.В., Калюжна, М.О., Хоменко, С.В.

Водоросли почв дубрав степной зоны Украины von Мальцева, И.А., Мальцев, Е.И., Солоненко, А.Н.

Об экспоненциальной устойчивости комплекснозначной нейронной сети на временной шкале von Мартынюк, А.А., Лукьянова, Т.А.

Quantum Symmetries for Exceptional SU(4) Modular Invariants Associated with Conformal Embeddings von Coquereaux, R., Schieber, G.

Simple flexible polymers in a spherical cage von Marenz, M., Zierenberg, J., Arkın, H., Janke, W.

Suchergebnisse - Peterson’s algorithm

Peterson’s Algorithm total correctness proof in IPCL von Zhygallo, A.A.

Peterson’s algorithm Total correctness proof in IPCL von Zhygallo, A.A.

Peterson&amp;#039;s Algorithm total correctness proof in IPCL von A. A. Zhygallo

Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация von Фейзиев, Ф.Г.

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду von Фейзиев, Ф.Г., Мехтиева, М.Р.

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду (двоичный случай)... von Фейзиев, Ф.Г., Мехтиева, М.Р., Самедова, З.А.

Алгоритм сегментации слов на основе поиска кратчайшего пути в графе von Ландэ, Д.В., Березин, Б.А., Павленко, О.Ю.

Индолентные неходжкинские лимфомы: современный алгоритм диагностики и лечения von Пономарева, О.В., Ганул, А.В.

Просторовий аналіз та моделювання поширення Aconitum moldavicum в Українських Карпатах та на прилеглих територіях з наголосом на використані алгоритми... von Novikov, A., Mitka, J.

Имплементация и оптимизация алгоритма Рида-Соломона для создания кодов восстановления потерь в данных... von Горин, В.В., Лютенко, В.М.

Blockchain as a service for medical records von Petrenko, A., Kyslyi, R., Pysmennyi, I.

Data analysis and anomalies detection in cattle behavior von Stetsyuk, P., Stovba, V., Shevchuk, V.

Energy dissipation in helicon plasma at the near field of an antenna von Olshansky, V.

Кодирование и восстановление последовательностей von Антоненко, А.О.

Robust clustering on high-dimensional data with stochastic quantization von Kozyriev, A., Norkin, V.

Вплив кліматичних і топографічних чинників на поширення лелеки чорного (Ciconia nigra (Linnaeus, 1758) в Україні... von Фесенко, Г.В., Калюжна, М.О., Хоменко, С.В.

Водоросли почв дубрав степной зоны Украины von Мальцева, И.А., Мальцев, Е.И., Солоненко, А.Н.

Об экспоненциальной устойчивости комплекснозначной нейронной сети на временной шкале von Мартынюк, А.А., Лукьянова, Т.А.

Quantum Symmetries for Exceptional SU(4) Modular Invariants Associated with Conformal Embeddings von Coquereaux, R., Schieber, G.

Simple flexible polymers in a spherical cage von Marenz, M., Zierenberg, J., Arkın, H., Janke, W.

Suchwerkzeuge:

Treffer weiter einschränken

Institution

Format

Verfasser

Sprache

Erscheinungsjahr

Peterson's Algorithm total correctness proof in IPCL von A. A. Zhygallo