http:^^www.cs.cornell.edu^info^projects^simlab^projects^synthesis.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 46 行

MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 25-Nov-96 00:31:53 GMT
Content-Type: text/html
Content-Length: 1546
Last-Modified: Tuesday, 24-Oct-95 14:18:31 GMT

<TITLE>Synthesis </TITLE> <P>

<H2>Research Summary</H2> 
Three bottlenecks exist in scientific computing, generating the
effective software for complicated mathematical problems, running the
software on a machine, and interpreting, or visualizing, the large
body of data that is produced by the computation.  In computational
fluid dynamics and especially in turbulence research, the time spent
developing effective software can dwarf the actual running time by a
orders of magnitude.
<P>
This research focusses on automating the process of  synthesizing scientific
software using a high level programming language called SPL.  SPL allows 
the programmer to indicate continuous objects of interest, like differentiable
functions, distributions, etc. and manipulate them using operations
from arithmetic and calculus as well as to limit their possible values
by using constraints such as algebraic and differential equations.
This specification is then transformed into a more concrete,
executable form via user directed transformations coded in conjunction
with the computer algebra substrate Weyl.  

<HR>

<H2> Participants </H2>
<DL>
<DT>Divakar Visnawath
<DT>Richard Zippel
</DL>

<HR>

<H2> Publications </H2>
<UL>
<LI> G. Berkooz, P. Chew, J. Cremer, R. Palmer and R. Zippel, 
"Generating Spectral method Solvers for Partial Differential Equations", 
<I>Advances in Computer Methods for Partial Differential Equations - VII</I>, 1992. pp. 53-59.
(<A HREF=http://cs-tr.cs.cornell.edu/TR/CORNELLCS:TR92-1308?abstract=>Tech Report</A>)
</UL>