home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ftp.umcs.maine.edu
/
2015-02-07.ftp.umcs.maine.edu.tar
/
ftp.umcs.maine.edu
/
public_html
/
wisr
/
SEN-pap
/
img1.gif
< prev
next >
Graphics Interchange Format
|
1995-08-20
|
8KB
|
509x276
|
1-bit (2 colors)
Labels:
barrier reef
|
book
|
bulletin board
|
earth
|
window
OCR:
Specification Synthesis Refinement Optimization Contro1 Partial differential Map PDES t Individual Many explicit Internal se equations (PDEs) finite- -difference application array and scalar quencing of Implict requiremen solver of bundle simplificatfons refinements Synapse that PDEs be solved consistent code motion, and decision transforms common sub- resolution expression Decision objects elimination. have resolution heuri istics Component name NA Substitution Procedural User- supplied Predator (implies function- of paneu transforms refinement r+d) ality) cignature component for query aouenbes inst ance optimization bu "type expression. Model-based predicate Refinements Generic in- Manual rare Manual; Resolve calculus description manually syn stantiation Believes user supplied Ada over m ...
