See this document in CiteSeerX!

Compilation of Constraint Systems to Parallel Procedural Programs (1997)  (Make Corrections)  
Ajita John



  Home/Search   Context   Related

 
View or download:
utexas.edu/pub/techrepor...tr9817.ps.Z
utexas.edu/ftp/pub/techr...tr9817.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  utexas.edu/users...Abstracts.1998 (more)
(Enter author homepages)

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

Abstract: v List of Figures xii Chapter 1 Introduction 1 1.1 Problem Statement and Approach . . . . . . . . . . . . . . . . . . . 1 1.2 Constraint Systems as Representations of Computations for Parallel Execution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Chapter 2 Background: Constraints 6 2.1 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2 Constraint Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2.1 Linear and... (Update)

Similar documents (at the sentence level):
7.7%:   Compilation of Constraint Systems to Procedural Parallel Programs - John, Browne (1996)   (Correct)

Active bibliography (related documents):   More   All
1.2:   Compilation to Parallel Programs from Constraints - John, Browne (1996)   (Correct)
0.9:   Extraction of Parallelism from Constraint Specifications - John, Browne (1996)   (Correct)
0.7:   A Constraint-based Parallel Programming Language - Ajita John (1995)   (Correct)

Similar documents based on text:   More   All
0.1:   Architectures and Algorithms for Scalable Wide-area Information.. - Tewari (1998)   (Correct)
0.1:   International Conference on Engineering Education August .. - Engineering According To (2001)   (Correct)
0.1:   Experiments in Extraction of Coarse Grain Parallelism from.. - John, Browne   (Correct)

BibTeX entry:   (Update)

@techreport{ john98compilation,
    author = "Ajita John",
    title = "Compilation of Constraint Systems to Parallel Procedural Programs(dissertation)",
    number = "CS-TR-98-17",
    month = "1,",
    year = "1998",
    url = "citeseer.ist.psu.edu/john97compilation.html" }
Citations (may not include all citations):
716   Parallel Program Design : A Foundation (context) - Chandy, Misra - 1989
652   A Discipline of Programming (context) - Dijkstra - 1976
394   Solving Problems on Concurrent Processors (context) - Fox, Johnson et al. - 1988
287   PVM: Parallel Virtual Machine:A Users' Guide and Tutorial fo.. (context) - Geist, Beguelin et al. - 1994
277   Advanced compiler optimizations for supercomputers (context) - Padua, Wolfe - 1986
175   Designing and Building Parallel Programs (context) - Foster - 1995
157   Scheduling multithreaded computations by work stealing - Blumofe, Leiserson - 1994
132   Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1990
127   SKETCHPAD: A man-machine graphical communication system (context) - Sutherland - 1963
127   A declarative concurrent object oriented programming notatio.. (context) - Chandy, Kesselman - 1992
104   Concurrent Programming: Principles and Practice (context) - Andrews - 1991
90   Compiler support for machine-independent parallel programmin.. - Hiranandani, Kennedy et al. - 1991
81   An Introduction to Parallel Programming (context) - Chandy, Taylor - 1992
62   Constraint hierarchies - Borning, Duisberg et al. - 1987
59   Equational Logic as a Programming Language (context) - O'Donnell - 1985
45   A Program that Simulates Human Thought (context) - Newell, Simon et al. - 1963
35   Fabrik : A visual programming environment (context) - Ingalls, Wallace et al. - 1988
32   Efficient parallel evaluation of straight-line code and arit.. - Miller, Ramachandran et al. - 1988
32   Constraint Programming Languages (context) - Leler - 1988
31   SCHEDULE: Tools for developing and analyzing parallel fortra.. (context) - Dongarra, Sorenson - 1986
29   Skyblue: A multi-way local propagation constraint solver for.. - Sannella - 1994
28   Concurrent Constraint Programming Languages (context) - Saraswat - 1989
28   Programming in CLP (context) - Older, Benhamou - 1993
24   Guide to Parallel Programming on Sequent Computer Systems (context) - Osterhaug - 1989
24   An effectiveness study of parallelizing compiler techniques (context) - Eigenmann, Blume - 1991
21   An abstract machine for Oz - Mehl, Scheidhauer et al. - 1995
21   A distributed cooperating constraints solving system - Marti, Rueher - 1995
17   Parallel Functional Languages and Compilers (context) - Szymanski - 1991
17   Analysis and Design of Parallel Algorithms: Arithmetic and M.. (context) - Lakshmivarahan, Dhall - 1990
15   An architecture for cooperating constraint solvers on reals - Rueher - 1995
15   CAL : A theoretical background of constraint logic programmi.. (context) - Sakai, Aiba - 1989
13   Laboratory for Computer Science (context) - Group - 1983
13   Restructuring Lisp programs for concurrent execution (context) - Larus, Hilfinger - 1989
12   Truth maintenance systems for problem solving (context) - Doyle - 1977
11   a constraint imperative programming language (context) - Freeman-Benson, Borning et al. - 1992
9   Parcel: Project for the automatic restructuring and concurre.. (context) - Harrison, Padua - 1988
7   A module compiler for Thinglab II (context) - Freeman-Benson - 1989
6   Department of Computer Science and Engineering (context) - Freeman-Benson, programming - 1991
6   Event-based composition of concurrent programs - Pandey, Browne - 1993
6   graphical parallel programming environment (context) - Newton, Browne - 1992
6   An object-oriented environment for parallel high-perfomance .. (context) - Collins, Browne - 1995
5   A Book Series on Loop Transformations for Restructuring Comp.. (context) - Banerjee - 1994
5   Compilation of constraint systems to procedural parallel pro.. - John, Browne - 1996
5   Extraction of parallelism from constraint specifications - John, Browne - 1996
4   High Performance Fortran: History (context) - Richardson
3   Compilation to parallel programs from constraints - John, Browne - 1996
3   chapter Parallel algorithms for shared memory machines (context) - Karp, Ramachandran et al. - 1990
2   Software engineering of parallel programs in a computational.. (context) - Browne - 1990
2   A status report on CONSUL (context) - Baldwin - 1990
1   The use of constraints in the management of design (context) - Medland - 1995
1   and C. Mellish. Programming in Prolog. Springer Verlag, 2nd .. (context) - Clocksin - 1984
1   The application of constraint modelling techniques to the de.. (context) - Medland, Mullineux - 1989
1   chapter Of Using Constraint Logic Programming for Design of .. (context) - Sterling, Concepts - 1993
1   Compilation of constraint specifications to procedural paral.. (context) - John, Browne - 1997

Documents on the same site (http://www.cs.utexas.edu/users/UTCS/techreports/index/html/Abstracts.1998.html):   More
Coordinated Placement and Replacement for Large-Scale.. - Korupolu, Dahlin (1998)   (Correct)
Design Considerations for Distributed Caching on the Internet - Tewari, Dahlin, Vin, Kay (1998)   (Correct)
Interpreting Stale Load Information - Dahlin (1998)   (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