• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдены 2 публикации
Сортировка:
по названию
по году
Книга
Захаров В. А. АРГАМАК-МЕДИА, 2016.

Проблема эквивалентности программ состоит в том, чтобы для произвольной заданной пары программ выяснить, имеют ли эти программы одинаковое поведение. С этой проблемой сталкиваются в системном программировании при проведении оптимизирующих преобразований программ, их верификации, реорганизации, маскировке (обфускации), обнаружении уязвимостей и вредоносных фрагментов кода, и др. В данной монографии представлены различные виды моделей императивных (последовательных) и функциональных (рекурсивных) программ и подробно описан и исследован общий метод решения проблемы эквивалентности программ – метод совместных вычислений. С его помощью можно конструировать алгоритмы проверки эквивалентности разных видов программ.

Добавлено: 13 октября 2016
Книга
Кузнецова Е. С. АРГАМАК-МЕДИА, 2013.

Работа посвящена оригинальной, мало разработанной в российских исследованиях теме - ограничению суверенитета. В то время, как большинство политиков и исследователей концентрируются на задачах и перспективах укрепления суверенитета, автор изучает практику его ограничения, полагая, что оно может рассматриваться как рседство повышения степени свободы и защищенности граждан во всем мире. Автор выстраивает свою систему аргументации на основе двух метаслучаев - добровольного ограничения суверенитета на примере интеграции в Европейском Союзе и международного опыта принудительного ограничения суверенитета, накопленного с момента распада СССР.

Добавлено: 28 августа 2014