Анализ эффективности выполнения атомарных операций в многоядерных вычислительных системах с общей памятью архитектуры x86-64 и рекомендации по оптимизации их выполнения. В частности, определены
атомарные операции
О сложности проблемы разрешимости систем уравнений над конечными частичными порядками понимаются
атомарные формулы языка алгебраической системы. В работе рассматривается проблема распознавания
Алгоритмы решения систем уравнений над различными классами конечных графов неориентированными графами. Уравнениями над графами называются
атомарные формулы языка L, состоящего из множества