Date: 2010-07-21 10:31:13Computing Software engineering Computer programming Array programming languages High-level programming languages Parallel computing Compiler optimizations Fortran Functional programming MATLAB Argonne National Laboratory NP | | FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCFAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 2,14 MBShare Document on Facebook
|