MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Partial Evaluation in Parallel." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Exploiting the Parallelism Exposed by Partial Evaluation
by Andrew A. Berlin, Rajeev J. Surati — 1994 — In Proc. of the IFIP WG10.3 International Conference on Parallel Architectures and Compilation Techniques, Elsevier Science
… 1993 Exploiting the Parallelism Exposed by Partial Evaluation Andrew A. Berlin and Rajeev J. Surati…
Cited by 6 (3 self) – Add To MetaCart

A Parallelizing Compiler Based on Partial Evaluation
by Rajeev Surati, Rajeev J. Surati — 1993 — Electrical Engineering and Computer Science Department, Massachusetts Institute of Technology
…. 1377 July 1993 A Parallelizing Compiler Based on Partial Evaluation Rajeev Surati Copyright c fl…
Cited by 7 (4 self) – Add To MetaCart

Using partial evaluation in distributed query evaluation
by Peter Buneman, Gao Cong — 2006 — In VLDB
… is to send the whole query to each site which partially evaluates, in parallel, the query and sends…
Cited by 5 (0 self) – Add To MetaCart

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience
by Andrew Berlin, Rajeev Surati — 1994 — PROC OF ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION
… of parallelism exposed by partial evaluation. The Supercomputer Toolkit parallel processor and its associated…
Cited by 12 (1 self) – Add To MetaCart

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience
by Andrew Berlin Xerox, Andrew A. Berlin, Rajeev J. Surati — 1994 — Department of Computer Science, University of Melbourne
… the vast amount of parallelism exposed by partial evaluation. The Supercomputer Toolkit parallel processor…
Add To MetaCart

Binding-Time Analysis Applied to Mathematical Algorithms
by Robert Glück, Ryo Nakashige, Robert Zöchling — 1995 — In System Modelling and Optimization
… in this paper. Another interesting direction is to exploit the parallelism exposed by partial evaluation…
Cited by 17 (0 self) – Add To MetaCart

Logical specification and analysis of fault tolerant systems through partial model checking
by S. Gnesi, G. Lenzini, F. Martinelli — 2003 — In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003
… ϕ /P ,where /P is the partial evaluation for the parallel composition and restriction operators…
Cited by 1 (0 self) – Add To MetaCart

The Logic Programming Paradigm
by J Urgen Dix, Jürgen Dix — 1998
… can be automatically derived from its denotation via partial evaluation; 3. program verification…
Cited by 3 (2 self) – Add To MetaCart

Bibliography of Yale's Functional Programming Research Group (aka "The Yale Haskell Project")
by R. S. Sundaresh, J. Young, Paul Hudak — 1994
…. Partial evaluation in parallel. Research Report 820, Yale University, New Haven, Connecticut, USA, 1990…
Add To MetaCart

TROPICS summary of the proposal
by Oct Ob Er
… and transformations, (Dioeerentiation, partial evaluation, parallelization), so that we can better see the relations…
Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB