See this document in CiteSeerX!

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience (1994)  (Make Corrections)  (11 citations)
Andrew Berlin, Rajeev Surati
Partial Evaluation and Seman\-tics-Based Program Manipulation, Orlando, Florida, June 1994 (Technical Report 94/9, Department of Computer Science, University of Melbourne)



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
mit.edu/aipublications...AIM1487.ps.Z
dina.kvl.dk/pub/Staff/Pe...berlin.ps.gz
mit.edu/aipublications/...AIM1487.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  neurop2.ruhrunibochum...MIT_lit (more)
From:  dina.kvl.dk/~sestoft/pepm94
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We describe the key role played by partial evaluation in the Supercomputer Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial evaluation. The Supercomputer Toolkit parallel processor and its associated partial evaluation-based compiler have been used extensively by scientists at M.I.T., and have made possible recent results in astrophysics showing that the motion of the planets in our solar system is... (Update)

Context of citations to this paper:   More

.... programming Point 2 has been demonstrated in many applications of partial evaluation (e.g. Mogensen 86] Berlin 90b] Berlin 90a] Berlin 94] Jorgensen 91] Lisper 91] Mossin 93] Baier 94] but little attention has been paid to point 1. In this project we will...

.... in the optimization of various programs, such as interpreters, scientific application programs, and graphical application programs[4, 11, 17]. Run time specialization (RTS) techniques[10, 15, 19] e#ciently perform partial evaluation at run time (1) by constructing a specializer...

Cited by:   More
Run-time Bytecode Specialization: A Portable Approach To.. - Masuhara, Yonezawa (2001)   (Correct)
A Portable Approach to Dynamic Optimization in Run-time.. - Masuhara, Yonezawa (2001)   (Correct)
Run-time Bytecode Specialization: A Portable Approach to.. - Masuhara, Yonezawa (2001)   (Correct)

Similar documents (at the sentence level):
10.9%:   Exploiting the Parallelism Exposed by Partial Evaluation - Surati, Berlin (1994)   (Correct)

Active bibliography (related documents):   More   All
0.5:   On the Specialization of Online Program Specializers - Ruf, Weise (1992)   (Correct)
0.4:   Practical Partial Evaluation - Surati (1995)   (Correct)
0.4:   A Parallelizing Compiler Based on Partial Evaluation - Surati (1993)   (Correct)

Similar documents based on text:   More   All
0.3:   The Supercomputer Toolkit and Its Application - Abelson, Berlin, Katzenelson, .. (1990)   (Correct)
0.3:   Floating-Point Error Analysis Based On Affine Arithmetic - Fang, Chen, Rutenbar (2003)   (Correct)
0.2:   Compiling Scientific Code using Partial Evaluation - Berlin, Weise (1989)   (Correct)

Related documents from co-citation:   More   All
9:   Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
6:   Optimizing ML with run-time code generation - Lee, Leone
6:   A general approach for run-time specialization and its application to C - Consel, Noel - 1996

BibTeX entry:   (Update)

A. Berlin and R. Surati, "Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience," Proc of ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation 1994, Orlando, FL 1994. Also available as MIT Artificial Intelligence Laboratory Memo No. 1487, May 1994 http://citeseer.ist.psu.edu/berlin94partial.html   More

@inproceedings{ berlin94partial,
    author = "A. A. Berlin and R. J. Surati",
    title = "Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience",
    booktitle = "Partial Evaluation and Seman\-tics-Based Program Manipulation, Orlando, Florida, June 1994 (Technical Report 94/9, Department of Computer Science, University of Melbourne)",
    pages = "133--141",
    year = "1994",
    url = "citeseer.ist.psu.edu/berlin94partial.html" }
Citations (may not include all citations):
407   Trace scheduling: A Technique for Global Microcode Compactio.. (context) - Fisher - 1981  DBLP
173   Bulldog: A Compiler for VLIW Architectures (context) - Ellis - 1986
63   SPICE2: A Computer Program to Simulate Semiconductor Circuit.. (context) - Nagel - 1975
41   Compiling Scientific Code using Partial Evaluation - Berlin, Weise - 1990  ACM   DBLP
33   Multischeme: A Parallel Processing System Based on MIT Schem.. (context) - Miller - 1987
29   Partial Evaluation Applied to Numerical Computation (context) - Berlin - 1990
14   A Digital Orrery (context) - Applegate, Douglas et al. - 1985  ACM   DBLP
13   A compilation strategy for numerical programs based on parti.. - Berlin - 1989
11   Chaotic Evolution of the Solar System (context) - Sussman, Wisdom - 1992  ACM
9   Numerical evidence that the motion of Pluto is chaotic (context) - Sussman, Wisdom - 1988  ACM
8   Towards a New Perspective on Partial Evaluation - Katz, Weise - 1992
8   Taming Chaotic Circuits - Bradley - 1992  ACM
6   Avoiding Redundant Specialization During Partial Evaluation (context) - Ruf, Weise - 1991  ACM
6   Opportunities for Online Partial Evaluation - Ruf, Weise - 1992  ACM
6   The Supercomputer Toolkit and its Applications - Abelson, Berlin et al.
4   A Three Million Year Integration of the Earth's Orbit (context) - Quinn, Tremaine et al. - 1991
3   Compilation for Fast Calculation Over Pedigrees (context) - Szolovits - 1992
3   Pedigree Analysis for Genetic Counseling - Szolovits, Pauker
3   Functional Diagnostics for the Supercomputer Toolkit MPCU Mo.. (context) - Heinzl - 1990
1   Parameter Space Scans for Chaotic Circuits (context) - Parekh - 1992



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.neurop2.ruhr-uni-bochum.de/MIT_lit.html):   More
MIT SchMUSE: Class-Based Remote Delegation in a.. - Blair, Cohen.. (1993)   (Correct)
The Logical Problem of Language Change - Niyogi (1995)   (Correct)
Aeroacoustics on Non-Dedicated Workstations - Skordos (1995)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC