(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