Полный англо-русский словарь
Гарантоспособные вычисления (позволяющие гарантировать получение верного результата в условиях наличия неисправностей)