Symbolic Parallel Programming for Symbolic Parallel Programming (Parallel Lisp Hacking Made Easy) Kinson Ho...  Home/Search
Context
Related
| berkeley.edu/techreport...CSD94816.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/accessP...CSD94816 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: for Symbolic Parallel Programming (Parallel Lisp Hacking Made Easy) by Kinson Ho Doctor of Philosophy in Computer Science University of California at Berkeley Professor Paul N. Hilfinger, Chair Symbolic applications are characterized by irregular and data-dependent patterns of control flow and data structure accesses. In this dissertation I propose a toolbox approach for writing parallel symbolic applications, including those with side effects. Programs written using the high-level... (Update)
Active bibliography (related documents): More All
1.2: A Parallel Object-Oriented System for Realizing Reusable and.. - Lim (1993) (Correct)
1.1: On the Relationship between Synthesizing and Tagging - Guesgen (1994) (Correct)
0.5: Information Sharing Mechanisms in Parallel Programs - Kalé, Sinha (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ programming-unknown,
author = "Symbolic Parallel Programming",
title = "Unknown",
url = "citeseer.ist.psu.edu/736434.html" }
Citations (may not include all citations):716 Parallel Program Design: A foundation (context) - Chandy, Misra - 1988
673 Actors: A model of concurrent computation in distributed sys.. (context) - Agha - 1985
484 Common Lisp: The Language (context) - Jr - 1990
326 Linearizability: A correctness condition for concurrent obje.. (context) - Herlihy, Wing - 1990
301 The Midway distributed shared memory system (context) - Bershad, Zekauskas et al. - 1993
278 Algorithmic skeletons: Structured management of parallel com.. (context) - Cole - 1989
249 volume 3: Sorting and Searching (context) - Knuth, of - 1973
247 Partitioning and Scheduling Parallel Programs for Multiproce.. (context) - Sarkar - 1989
197 The performance of spin lock alternatives for sharedmemory m.. (context) - Anderson - 1990
186 A methodology for implementing highly concurrent data object.. - Herlihy - 1993
173 Lazy task creation: A technique for increasing the granulari.. - Mohr, Kranz et al. - 1990
123 Scene labeling by relaxation operations (context) - Rosenfeld, Hummel et al. - 1976
122 Multilisp: A language for concurrent symbolic computation (context) - Halstead - 1985
97 Communications of the ACM (context) - Seitz, Cube - 1985
88 Experience with processes and monitors in Mesa - Lampson, Redell - 1980
74 Transactional memory: Architectural support for lock-free da.. - Herlihy, Eliot et al. - 1993
73 Generating semantic descriptions from drawings of scenes wit.. (context) - Waltz - 1972
60 MIPS RISC Architecture (context) - Kand, Heinrich - 1992
58 Asynchronous iterative methods for multiprocessors (context) - Baudet - 1978
57 User's guide to the p4 programming system (context) - Butler, Lusk - 1992
56 Comparative Performance Evaluation of Garbage Collection Alg.. (context) - Zorn - 1989
55 A scheme to enforce data dependences on large multiprocessor.. (context) - Zhu, Yew - 1987
50 KSR1 Technical Summary (context) - Research - 1993
48 Portable Programs for Parallel Processors (context) - Lusk, Boyle et al. - 1987
42 Making asynchronous parallelism safe for the world (context) - Jr - 1990
41 machine-independent language for parallel programming (context) - Rinard, Scales et al. - 1993
37 the parallel complexity of discrete relaxation in constraint.. (context) - Kasif - 1990
29 Real-time concurrent collection on stock multiprocessors (context) - Ellis, Li et al. - 1988
25 Algorithms for scalable synchronization on shared-memory mul.. - Mellor-Crummey, Scott - 1990
24 Linear Algebra and its Applications (context) - Chazan, Miranker - 1969
24 The Uniform System: An approach to runtime support for large.. (context) - Thomas, Crowther - 1988
23 The Chare Kernel parallel programming language and system (context) - Kale - 1990
21 A customizable substrate for concurrent languages - Jagannathan, Philbin - 1992
19 Queue-based multi-processing LISP (context) - Gabriel, McCarthy - 1984
16 Multi-version memory: Software cache management for concurre.. (context) - Weihl, Wang - 1990
16 Analysis of recursive types in Lisp-like languages - Wang, Hilfinger - 1992
15 A method for refining atomicity in parallel algorithms (context) - Back - 1989
15 Restructuring Symbolic Programs for Concurrent Execution on .. (context) - Larus - 1989
13 A foundation for an efficient multithreaded Scheme system (context) - Jagannathan, Philbin - 1992
12 Alpha AXP Architecture (context) - Sites - 1993
12 Atomic Data Structures for Parallel Computing (context) - Barth - 1992
11 Analysis of Recursive Types in an Imperative Language - Wang - 1994
11 Dynamic Partitioning of Parallel Lisp Programs (context) - Mohr - 1991
11 Efficient evaluation of circular attribute grammars (context) - Jones - 1990
11 A library of concurrent objects and their proofs of correctn.. - Wing, Gong - 1990
10 Qlisp: Parallel processing in Lisp (context) - Goldman, Gabriel - 1989
9 An assessment of Multilisp: Lessons from experience (context) - Halstead - 1986
9 Evaluation of parallel copying garbage collection on a share.. (context) - Imai, Tick - 1993
9 Program structuring for effective parallel portability (context) - Alverson, Notkin - 1993
8 Computer Science Department (context) - Parker, programming et al. - 1987
5 Multiprocessing extensions in Spur Lisp (context) - Zorn, Ho et al. - 1989
5 An Object-Oriented Language for Fine-Grained Message-Passing.. (context) - Chien, Aggregates - 1990
5 Multiprocessor Common Lisp on TOP (context) - Tanaka, Uzuhara - 1990
4 Digital Equipment Corporation System Research Center (context) - Roberts, Vandevoorde et al. - 1989
4 Distributed data structures and algorithms for grobner basis.. (context) - Chakrabarti, Yelick - 1994
3 Abstracting data-representation and partitioning-scheduling .. (context) - Alverson, Notkin - 1991
3 A tagging method for parallel constraint satisfaction (context) - Guesgen, Ho et al. - 1992
3 Iterations chaotiques a retards; etudes de la convergence da.. (context) - Miellou - 1975
3 CONSAT: A System for Constraint Satisfaction (context) - Guesgen - 1989
3 Using Abstraction in Explicitly Parallel Programs (context) - Yelick - 1991
3 Experiences with a parallel algorithm for data flow analysis (context) - Lee, Marlowe et al. - 1991
2 The design philosophy of the Chare Kernel parallel programmi.. (context) - Kale - 1989
2 Parallel Execution of Lisp Programs (context) - Weening - 1989
2 MIT Electrical Engineering and Computer Science Series (context) - Paul, Vision - 1986
2 Optimistic parallel discrete relaxation (context) - Ho, Hilfinger et al. - 1993
1 Futures and multiple values in parallel Common Lisp (context) - Tanaka, Uzuhara - 1991
1 Implementation of Qlisp special variables (context) - Goldman - 1990
1 Allegro CLiP Manual (context) - Inc - 1990
1 Consat: A parallel constraint satisfaction system (context) - Ho, Guesgen et al. - 1994
1 The fixed points of images and scenes (context) - Kasif, Rosenfeld - 1983
1 RC: A recursive-type analysis program (context) - Ho, Wang et al. - 1994
1 Implementation of special variables in TOP-1 Common Lisp (context) - Tanaka - 1990
1 Parallel consistent labeling (context) - Samal, Henderson - 1987
1 Parallel Computing in Lisp (context) - Jacob, parallel et al. - 1990
1 Building a commercial-quality parallel Common-LISP system (context) - Jacob, Rorschach - 1990
1 A fixed point approach to parallel discrete event simulation (context) - Pohlmann - 1991
1 Managing side effects on shared data (context) - Ho, Hilfinger - 1993
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