Stephen Siegel - PDFSEARCH.IO - Document Search Engine

Stephen Siegel
Results: 28

#	Item
1	The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:15 Parallel computing Computing Computer engineering Computer science Electrical engineering Electronic engineering Electromagnetism Message Passing Interface Model checking Computer programming Computational science Simulation
2	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 Language: English - 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
3	A New Forest Fire Paradigm The need for high-severity fires By Monica L. Bond, Rodney B. Siegel, Richard L. Hutto, Victoria A. Saab, and Stephen A. Shunk D Credit: Derek Lee Add to Reading List Source URL: www.wildnatureinstitute.org Language: English - Date: 2016-07-03 08:06:18
4	A New Forest Fire Paradigm The need for high-severity fires By Monica L. Bond, Rodney B. Siegel, Richard L. Hutto, Victoria A. Saab, and Stephen A. Shunk D Credit: Derek Lee Add to Reading List Source URL: www.birdpop.org Language: English - Date: 2015-02-27 22:35:08 Forestry Natural environment Wildfires Ecology Ecological succession Logging Forest ecology Salvage logging Old-growth forest Forest Controlled burn United States Forest Service
5	A Functional Equivalence Verification Suite for High-Performance Scientific Computing Stephen F. Siegel, Timothy K. Zirkel, and Yi Wei ? Add to Reading List Source URL: vsl.cis.udel.edu Language: English - Date: 2015-05-22 11:27:31
6	STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences 101 Smith Hall University of Delaware Add to Reading List Source URL: vsl.cis.udel.edu Language: English - Date: 2015-05-22 11:27:31 Concurrent computing Application programming interfaces Message Passing Interface Jack Dongarra Model checking Formal verification Bill Gropp Actor model Computer cluster Computing Parallel computing Computer programming
7	2012 Education Team Liaison Roster Education Team Members Siegel, Bary, MD Chair (Internal Medicine) Knox, Stephen, MD Vice Chair (Neurology) Add to Reading List Source URL: www.suttermedicalcenter.org Language: English - Date: 2015-02-04 16:42:01
8	Microsoft Word - Oracle v1.doc Add to Reading List Source URL: www.cbre.com Language: English - Date: 2011-09-15 10:02:23 Companies listed on the New York Stock Exchange Oracle Corporation Richard Ellis Oracle Database Business Computing Stephen Siegel Real estate brokers Software CBRE Group
9	CB Richard Ellis Selected as a Primary Advisor by the Add to Reading List Source URL: www.cbre.com Language: English - Date: 2011-09-15 10:02:20 Business Federal Deposit Insurance Corporation Richard Ellis ING Group Economy of the United States Marketing Stephen Siegel Real estate brokers CBRE Group Companies listed on the New York Stock Exchange
10	Microsoft Word - Press Release - Euromoney Awards 2008 Global FINAL.doc Add to Reading List Source URL: www.cbre.com Language: English - Date: 2011-09-15 10:02:30 Business Euromoney Richard Ellis Corporate Real Estate Jones Lang LaSalle Stephen Siegel Real estate brokers Real estate CBRE Group