Автоматическое распараллеливание C-программ в Cilk++ стиле

Работа посвящена проблеме автоматического распараллеливания C-программ с помощью системы порождения и реконструкции программ. Предложены распознающие объектно-событийные модели (ОСМ), позволяющие извлекать из текстов знания, и трансформировать их, порождая выходные модели или новый текст. Доказаны утверждения об эквивалентности предельных распознающих ОСМ некоторым видам расширенных машин Тьюринга. Сформулированы схемы индукции моделей. Для первичного извлечения знаний предложена концепция шаблонов как переборных групп регулярно-логических выражений. Такие выражения содержат логические микропрограммы со специальными классами предикатов, позволяющих проводить четкую/нечеткую проверку и классификацию извлеченных фрагментов. Для обработки извлеченных знаний используются логические Prolog-скрипты, поддерживающие интерфейс с шаблонами на базе синтаксиса XPath. Показано, что распознающие ОСМ могут быть использованы для построения естественно-языкового интерфейса к системе порождения программ. Сформулированы алгоритмы автоматического распараллеливания C-программ на базе Cilk++. На базе распознающих ОСМ построен параллелизатор, эффективность которого показана на вычислительной программе.