Контроль за неравенствам для функціонального діагностування подільника мантисс
Анотація
Розглянуто проблему on-line тестування обчислювальних ланцюгів для обробки наближених даних. Запропоновано метод перевірки нерівностей, що забезпечує підвищення перевірки надійності резулів в пристроях, що працюють з мантисами чисел.
