FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

First Page		Document Content
Date: 2010-07-21 10:31:13 Computing 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. CCF Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 2,14 MB Share Document on Facebook

	Parallel tracking-based optimization of dynamic aperture and lifetime V. Sajaev, M. Borland Argonne National Laboratory November 2010 DocID: 1vpms - View Document
	Computational Grids Ian Foster Mathematics and Computer Science Division Argonne National Laboratory Argonne, ILCarl Kesselman DocID: 1vhWo - View Document
	ARGONNE NATIONAL LABORATORY RELEVANT EXPERIENCE AND PUBLICATIONS RELATED TO TECHNOLOGICALLY ENHANCED NATURALLY OCCURRING RADIOACTIVE MATERIAL RISK ASSESSMENT RELEVANT EXPERIENCE Scientists at the U.S. Department of Energ DocID: 1vb5Q - View Document
	Matthew Tirrell Founding Pritzker Director and Dean Deputy Laboratory Director for Science, Argonne National Laboratory DocID: 1v8Bx - View Document
	Argonne National Laboratory Scanning Confocal Electron Microscope (SCEM): Nanoscale Quality Control in Semiconductor Manufacturing and R&D In today’s technologically driven society, many important electronic/photonic d DocID: 1uS01 - View Document