High-Confidence Computing

Описание

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