Fabian Zabatta  Home/Search
Context
Related
| cuny.edu/~fabian/thesis.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: cuny.edu/~fabian/resume (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: MULTITHREADED CONSTRAINT PROGRAMMING AND APPLICATIONS by Fabian Zabatta Adviser: Professor Kenneth McAloon Constraint programming is a powerful and robust software technology for modeling and solving difficult combinatorial problems. However, as problems grow larger in scale and complexity, they become increasingly difficult to solve and their execution times can exhibit inordinate growth. One solution is multithreaded parallelization. Multithreaded parallelization can greatly improve... (Update)
Similar documents (at the sentence level):
6.8%: Multithreaded Constraint Programming: A Hybrid Approach - Zabatta (Correct)
Active bibliography (related documents): More All
2.7: A Thread Performance Comparison: Windows NT and Solaris on A.. - Zabatta, Ying (1998) (Correct)
2.4: Dynamic Thread Creation: An Asynchronous Load Balancing Scheme .. - Zabatta, Ying (1998) (Correct)
0.6: Concurrency and Concurrent Constraint Programming - Montanari, Rossi (1995) (Correct)
Similar documents based on text: More All
0.1: A Constraint Programming Approach to Portfolio Selection - Wetzel, Zabatta (1998) (Correct)
0.1: ASCA PV observations of the Seyfert 1 galaxy.. - Reynolds, Fabian, .. (1995) (Correct)
0.1: Weighted Means In Stochastic Approximation Of Minima - Dippon, Renz (1997) (Correct)
BibTeX entry: (Update)
@misc{ zabatta-multithreaded,
author = "Fabian Zabatta",
title = "Multithreaded Constraint Programming and Applications",
url = "citeseer.ist.psu.edu/611847.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
912 MPI: A message passing interface standard - Interface - 1994
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
482 Combinatorial Optimization: Algorithms and Complexity (context) - Papadimitriou, Steiglitz - 1982
473 Foundations of Constraint Satisfaction (context) - Tsang - 1993
344 Concurrent Constraint Programming (context) - Saraswat - 1993
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
288 Introduction to Parallel Computing: Design and Analysis of A.. (context) - Grama, Gupta et al. - 1994
278 Depth First Iterative-deepening: An optimal admissible tree .. (context) - Korf - 1985
276 Linear Programming and Extensions (context) - Dantzig - 1963
265 Increasing tree search efficiency for constraint satisfactio.. (context) - Haralick, Elliott - 1980
216 Performance of various computers using standard linear equat.. - Dongarra - 1992
216 Semantic Foundations of Concurrent Constraint Programming - Saraswat, Rinard et al. - 1991
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
191 Algorithms for Constraint Satisfaction Problems: A Survey - Kumar - 1992
180 PVM: Parallel Virtual Machine-A User's Guide and Tutorial fo.. (context) - Geist, Beguelin et al. - 1994
151 Logic Semantics for a class of committed-choice programs (context) - Maher - 1987
134 Limited Discrepancy Search - Harvey, Ginsberg - 1995
129 OR-Library: distributing test problems by electronic mail (context) - Beasley - 1990
127 Sketchpad: a man-machine graphical communication system (context) - Sutherland - 1963
120 The Aurora OrParallel Prolog System (context) - Lusk, Butler et al. - 1988
89 A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
75 Scalable load balancing techniques for parallel computers - Kumar, Grama et al. - 1994
72 ACM Transaction on Programming Languages and Systems (context) - Borning, The - 1981
66 Methodology and Implementation of a CLP System (context) - Jaffar, Michaylov - 1987
65 implementation of CLP (context) - Puget - 1994
64 ADAPTIVE Communication Environment Object Oriented Network P.. - The, Environment et al. - 1994
51 Practical Applications of Constraint Programming (context) - Wallace - 1996
50 Programming with Constraints: An Introduction (context) - Marriot, Stuckey - 1998
48 Algorithms for Scalable Synchronization on Shared-Memory Mul.. (context) - Mellor-Crummey, Scott - 1991
48 Introduction to Parallel Computing (context) - El-Rewini, Lewis - 1992
48 Concurrent Access of Priority Queues - Rao, Kumar - 1988
47 Programming With Threads (context) - Kleiman, Shah et al. - 1996
46 Anomalies in parallel branch and bound algorithms - Lai, Sahni - 1984
40 Time and Resource Constrained Scheduling: A Constraint Satis.. (context) - Nuijten - 1994
39 A genetic algorithm for the set covering problem - Beasley, Chu - 1996
38 Concurrent Operations on Priority Queues (context) - Jones - 1989
36 Executing functional programs on a virtual tree of processor.. (context) - Burton, Sleep - 1981
36 OZ-A programming language for multi-agent systems - Henz, Smolka et al. - 1993
34 The Muse Approach to Or-Parallel Prolog - Ali, Karlsson - 1990
32 Constraint Processing in cc (context) - Van Hentenryck, Saraswat et al. - 1991
32 Heuristic Scheduling Systems with Applications to production.. (context) - Morton, Pentico - 1993
32 The Definition and Implementation of a Computer Programming .. (context) - Steele - 1980
31 Simultaneous Update of Priority Structures (context) - Biswas, Browne - 1987
31 ECLiPSe : A Platform for Constraint Logic Programming - Wallace, Novello et al. - 1997
30 Threads Primer: A Guide to Multithreaded Programming (context) - Berg, Lewis - 1996
29 Parallel Best-First Search of State-Space Graphs: A Summary .. - Kumar, Rao et al. - 1988
27 Set covering algorithms using cutting planes (context) - Balas, Ho - 1980
26 A Computational Study of Constraint Satisfaction for Multipl.. - Nuijten, Aarts - 1996
26 Multiprocessing of combinatorial search problems (context) - Wah, Li et al. - 1985
25 and Practical NonBlocking and Blocking Concurrent Queue Algo.. (context) - Michael, Scott - 1996
25 An algorithm for set covering problems (context) - Beasley - 1987
24 Efficient Scheduling on Multiprogrammed SharedMemory Multipr.. (context) - Tucker - 1993
23 The location of emergency service facilities (context) - Toregas, Swain et al. - 1971
22 A Lagrangian Heuristic for Set Covering Problems (context) - Beasley - 1990
20 Iterative Broadening - Ginsberg, Harvey - 1991
19 the Existence of Schedules that are NearOptimal for both Mak.. - Stein, Wein - 1996
18 The complexity of constraint satisfaction revisited - Mackworth, Freuder - 1993
18 CLAIRE: Combining Objects and Rules for Problem Solving - Caseau, Laburthe - 1996
17 IEEE Transactions on Parallel and Distributed Systems (context) - Rao, Kumar - 1993
17 Sports League Scheduling - McAloon, Tretkoff et al. - 1997
16 Enhancing an algorithm for set covering problems (context) - Beasley, Jrnsten - 1992
16 A parallel branch and bound algorithm for test generation - Patil, Banerjee - 1990
14 Department of Computer Science (context) - Baker, Donnelly et al. - 1994
13 Optimization and Computational Logic (context) - McAloon, Tretkoff - 1996
13 A Concurrent Semantics for Concurrent Constraint Programs vi.. - Montanari, Rossi - 1995
12 Computer Science and Technology Division (context) - Warren - 1983
11 Improving Branch and Bound for Jobshop Scheduling with Const.. - Caseau, Laburthe - 1996
11 Introduction to Operations Research (context) - Ecker, Kupferschmid - 1991
10 SIMD parallel heuristic search (context) - Mahanti, Daniels - 1992
10 An Efficient Algorithm for Concurrent Priority Queue Heaps - Hunt, Michael et al. - 1996
9 A technique for the solution of massive set-covering problem.. (context) - Rubin - 1973
9 Constraint based round robin tournament planning - Henz - 1998
8 Constraint Logic Programming (context) - Pountain - 1995
8 Parallel Processing of Discrete Optimization Problems - Grama, Kumar et al. - 1993
8 Abductive and Constraint Logic Programming (context) - Wetzel - 1997
7 Parallel constraint satisfaction in logic programming: Preli.. (context) - Van Hentenryck - 1989
6 Portable Parallel Branch-and-Bound Library: User Manual Libr.. (context) - Tschke, Polzer - 1996
6 Resource Constraints for Preemptive and NonPreemptive Schedu.. - Baptiste - 1995
6 Comparison of Dynamic Load Balancing Strategies - Kuchen, Wagener - 1990
6 Parallel CLP on Heterogeneous Networks - Mudambi, Schimpf - 1994
5 Parallel Depth-First Search on Multiprocessors Part I: Imple.. (context) - Rao, Kumar - 1987
5 The set covering problem: A new implicit enumeration algorit.. (context) - Etcheberry - 1977
5 A Parallelization of the Constraint Logic Programming Langua.. (context) - Atay - 1992
5 Opening the Prolog III Universe: a new generation of Prolog .. (context) - Colmerauer - 1987
5 Constraint Programming: Basic and Trends (context) - Frhwirth - 1995
4 Semantic models for concurrent logic languages (context) - De Boer, Rutten et al. - 1991
4 Annals of Mathematics and Artificial Intelligence (context) - Caseau - 1991
4 The World's Fastest Computers (context) - Thompson - 1996
4 A Thread Performance Comparison: Windows NT and Solaris On a.. - Zabatta, Ying - 1998
3 A User Manual (context) - Multithread - 1994
3 Parallel integer goal programming (context) - Arnow, McAloon et al. - 1995
3 Parallelism Through Multithreaded Programming In A Constrain.. (context) - Muller - 1997
2 Simplification of the set covering problem with an applicati.. (context) - Breuer - 1970
2 Principles and Practices of Constraint Programming (context) - Pai - 1995
2 A White Paper (context) - Multithreaded, Comparisons - 1996
2 al and Stochastic Optimization, Logic Programming, and Heuri.. (context) - McAloon, Tretkoff et al. - 1998
2 Weaving a Thread (context) - Prasad - 1996
2 Advanced Windows NT: The Developer's Guide to the Win32 Appl.. (context) - Richter - 1994
2 SunSoft: Solaris SunOS (context) - SunSoft, Multithread et al. - 1991
2 A Constraint Programming Approach to Portfolio Selection - Wetzel, Zabatta - 1998
2 A Lagrangian-Base Heuristic for Large-Scale Set Covering Pro.. (context) - Ceria, Nobili et al. - 1996
2 Computational Challenges in Artificial Intelligence (context) - Selman - 1996
2 Cooperating Solvers and Global Constraints: The Case of Line.. (context) - DeBacker, Beringer - 1995
2 CC Programs with both Inand Non-Determinism: A Concurrent Se.. (context) - Montanari, Rossi et al. - 1994
2 A production planning system for a steel plant (context) - Lemke - 1996
2 Dynamic Thread Creation: An Asynchronous Load Balancing Sche.. - Zabatta, Ying - 1998
2 reliable distributed applications (context) - Arnow, DP - 1995
1 A OO Encapsulation of Lightweight Concurrency Mechanisms in .. (context) - Schmidt - 1995
1 Compilation de Prolog: tude et ralisation d'un outil extensi.. (context) - Diaz - 1991
1 White Paper (context) - Suite - 1998
1 Alice: A Language and a Program for Stating and Solving Comb.. (context) - Laurire - 1978
1 Heuristic Control of a Constraint-Based Algorithm for the Pr.. (context) - Le Pape, Baptiste - 1998
1 One model and different solvers for hoist scheduling problem.. (context) - Rodosek, Wallace - 1998
1 Using ILOG Solver for column generation: a successful marria.. (context) - Silva - 1998
1 Constraint-Based Programming for Scheduling: An Historical P.. - Le Pape - 1994
1 The PNN Team: BOB: a Unified Platform for Implementing Branc.. (context) - Le CUN, Roucairol - 1996
1 Tutorial of OZ 2 and the DFKI OZ System (context) - Haridi - 1997
1 Why and How in the ElipSys OR-Parallel CLP System (context) - Vron, Schuerman et al. - 1993
1 Principles and Practices of Constraint Programming (context) - McAloon, Tretkoff - 1995
1 The Constraint Logic Programming Language CHIP (context) - Dincas, Van Hentenryck et al. - 1988
1 Incorporating Efficient Operations Research Algorithms in Co.. (context) - Basbtiste, Le Pape et al. - 1995
1 The Performance Impact of Granularity Control and Functional.. (context) - Moreira, Schouten et al. - 1995
1 Scheduling Multithread Computtaions by Work Stealing (context) - Blumofe, Leiserson - 1994
http://www.mozart-oz.org/
http://www.microsoft.com/msdn
http://www.roguewave.com/products/threads/
Documents on the same site (http://www.sci.brooklyn.cuny.edu/~fabian/resume.htm): More
Dynamic Thread Creation: An Asynchronous Load Balancing Scheme .. - Zabatta, Ying (1998) (Correct)
A Constraint Programming Approach to Portfolio Selection - Wetzel, Zabatta (1998) (Correct)
Multithreaded Constraint Programming: A Hybrid Approach - Zabatta (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