ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Stanislav Shwartsman                 2:400/520      09 Nov 2002  10:50:52
 To : Max Alekseyev
 Subject : эмуляция FPU
 -------------------------------------------------------------------------------- 
 

 
 08 Nov 02 15:42, you wrote to me:
 
  SS>>>> для эмулятора CPU надо бы ПОЛHОЕ соответствие.
 
  MA>>> http://www.filesearch.ru/cgi-bin/s?q=em87v1_3
 
  SS>>  Если ты не в курсе - это com файл. А мне надо описалово или на
  SS>> крайняк  исходник на C/C++. А относительно бинарника, интересно
  SS>> как ты будешь  доказывать его ПОЛHОЕ соответствие стандартам на
  SS>> floating point arithmetic.
 
  MA> Hаверное, тестами. А как еще можно доказать соответствие?
  MA> Даже, если программа "в теории" что-то должна делать правильно, это не
  MA> гарантирует отсутствия в ней ошибок.
 
  Доказать тестами для такого кол-ва вариантов просто не возможно.
  Единственное, что реально - это формальное доказательство по исходнику.
 
     E-mail: gate@fidonet.org.il
     Voice Phones: 972-4-8330554 (home), 972-5-4481073 (cell)
 
 Bye !
 Stanislav     (AKA Night's Man)                        [Team Technion]
 ---
  * Origin: Gate From Another World ... From Haifa, Israel (2:400/520)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    эмyляция FPU   Michael Mamaev   27 Oct 2002 21:24:10   эмyляция FPU   Stanislav Shwartsman   27 Oct 2002 20:52:43   эмyляция FPU   Michael Mamaev   03 Nov 2002 14:16:01   эмyляция FPU   Stanislav Shwartsman   04 Nov 2002 19:05:29   эмyляция FPU   Michael Mamaev   07 Nov 2002 14:07:25   эмyляция FPU   Stanislav Shwartsman   07 Nov 2002 22:30:56   эмyляция FPU   €«мп Љ ­в®а   08 Nov 2002 01:08:17   эмyляция FPU   Stanislav Shwartsman   08 Nov 2002 14:57:31   эмуляция FPU   Max Alekseyev   08 Nov 2002 02:23:44   эмуляция FPU   Stanislav Shwartsman   08 Nov 2002 14:40:19   эмуляция FPU   Max Alekseyev   08 Nov 2002 16:42:56   эмуляция FPU   Stanislav Shwartsman   09 Nov 2002 10:50:52   Re: эмyляция FPU   Valentin Davydov   29 Oct 2002 20:51:35   эмyляция FPU   Michael Mamaev   03 Nov 2002 14:05:41   эмyляция FPU   Stanislav Shwartsman   04 Nov 2002 19:09:51   эмyляция FPU   Michael Mamaev   07 Nov 2002 14:06:52   эмyляция FPU   Stanislav Shwartsman   07 Nov 2002 22:35:19   эмyляция FPU   Mike Roschin   02 Nov 2002 20:41:02   эмyляция FPU   Michael Mamaev   07 Nov 2002 13:57:26   эмyляция FPU   €«мп Љ ­в®а   04 Nov 2002 18:16:16   эмyляция FPU   Stanislav Shwartsman   04 Nov 2002 19:11:37   эмyляция FPU   Michael Mamaev   07 Nov 2002 14:08:35