для подтверждения

Terms for subject Programming containing для подтверждения | all forms

Russian	English
Алгоритм рассылки: метод распространения информации или принятия решений в распределённой программе. Для принятия решения каждый процесс отправляет запросы и подтверждения всем остальным процессам и обслуживает упорядоченную очередь сообщений, по которой определяется наиболее давний запрос	Broadcast Algorithm: A method for disseminating information or making decisions in a distributed program. For decision making, each process broadcasts requests and acknowledgements to all other processes and maintains an ordered message queue that it uses to decide when its request is the oldest (см. "Foundations of Multithreaded, Parallel, and Distributed Programming" by Gregory R. Andrews 2000 ssn)
подтверждение соответствия для аспектов ПО системы безопасности	software aspects of system safety validation (ssn)
подтверждение соответствия для аспектов программного обеспечения системы безопасности	software aspects of system safety validation (см. IEC 61508-7: 2010 ssn)