ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Max Alekseyev                        2:5015/60      08 Nov 2002  16:42:56
 To : Stanislav Shwartsman
 Subject : эмуляция FPU
 -------------------------------------------------------------------------------- 
 

 
 Replying to a message of Stanislav Shwartsman to Max Alekseyev:
 
  SS>>> для эмулятора CPU надо бы ПОЛHОЕ соответствие.
 
  MA>> http://www.filesearch.ru/cgi-bin/s?q=em87v1_3
 
  SS>  Если ты не в курсе - это com файл. А мне надо описалово или на
  SS> крайняк  исходник на C/C++. А относительно бинарника, интересно как
  SS> ты будешь  доказывать его ПОЛHОЕ соответствие стандартам на floating
  SS> point arithmetic.
 
 Hаверное, тестами. А как еще можно доказать соответствие? 
 Даже, если программа "в теории" что-то должна делать правильно, это не
 гарантирует отсутствия в ней ошибок.
 
 Regards,      ш.ш
         Max    ~
 
 --- FleetStreet 1.27.3.8
  * Origin:  (2:5015/60)
 
 

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

Тема:    Автор:    Дата:    эм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