DictionaryForumContacts

   English
Terms for subject Programming containing IT solutions | all forms | in specified order only
EnglishRussian
A solution is said to be efficient if it solves the problem within its resource constraintsРешение называется эффективным, если оно решает задачу в рамках её ограничений по ресурсам (С. А. Shaffer ssn)
mission-critical IT solutionкритически важная система (высокопроизводительная отказоустойчивая система, предназначенная для передачи, обработки и хранения данных ограниченного доступа Alex_Odeychuk)
To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solutionдля доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
this solution is not elegant, but it worksне очень элегантное решение, но оно работает (ssn)