Search the dblp DataBase

Publications of Author

1. Kish Shen, Joachim Schimpf
   Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
   CP, 2005, pp:622-636 [Conf]
   
2. Kish Shen, Manuel V. Hermenegildo
   Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
   Euro-Par, Vol. II, 1996, pp:635-639 [Conf]
   
3. Kish Shen
   Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS). [Citation Graph (0, 0)][DBLP]
   JICSLP, 1992, pp:717-731 [Conf]
   
4. Kish Shen
   An Overview of DASWAM - An Implementation of DDAS. [Citation Graph (0, 0)][DBLP]
   IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:- [Conf]
   
5. Kish Shen
   Implementing Dynamic Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP]
   ICLP, 1993, pp:167-183 [Conf]
   
6. Kish Shen
   Initial Results of the Parallel Implementation of DASWAM. [Citation Graph (0, 0)][DBLP]
   JICSLP, 1996, pp:513-527 [Conf]
   
7. Kish Shen, Vítor Santos Costa, Andy King
   Distance: A New Metric for Controlling Granularity for Parallel Execution. [Citation Graph (0, 0)][DBLP]
   IJCSLP, 1998, pp:85-99 [Conf]
   
8. Kish Shen, Manuel V. Hermenegildo
   Divided We Stand: Parallel Distributed Stack Memory Management. [Citation Graph (0, 0)][DBLP]
   ICLP-Workshops on Implementation of Logic Programming Systems, 1993, pp:185-201 [Conf]
   
9. Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer
   A High-Level Generic Interface to External Programming Languages for ECLiPSe. [Citation Graph (0, 0)][DBLP]
   PADL, 2002, pp:262-279 [Conf]
   
10. Kish Shen
    Improving the Execution of Dependent And-Parallel Prolog DDAS. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:438-452 [Conf]
    
11. Andy King, Kish Shen, Florence Benoy
    Lower-bound Time-complexity Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:261-275 [Conf]
    
12. Kish Shen, Manuel V. Hermenegildo
    A Simulation Study of Or- and and Independent And-parallelism. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:135-151 [Conf]
    
13. Kish Shen, David H. D. Warren
    A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:45-68 [Conf]
    
14. Mark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey
    On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains". [Citation Graph (0, 0)][DBLP]
    Constraints, 2004, v:9, n:1, pp:5-34 [Journal]
    
15. Kish Shen, Vítor Santos Costa, Andy King
    Distance: A New Metric for Controlling Granularity for Parallel Execution. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 1, pp:- [Journal]
    
16. Kish Shen
    Overview of Daswam: Exploitation of Dependent and-Parallelism. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:29, n:1-3, pp:245-293 [Journal]
    
17. Kish Shen, Steve Gregory
    Instant Replay Debugging of Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1996, v:14, n:1, pp:79-107 [Journal]