Kish Shen

Publication Activity (10 Years)

Years Active: 1987-2012
Publications (10 Years): 0

Top Venues

Theory Pract. Log. Program.

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Joachim Schimpf, Kish Shen
- From LP to CLP. Theory Pract. Log. Program. 12 (1-2) (2012)
Joachim Schimpf, Kish Shen
ECLiPSe - from LP to CLP CoRR (2010)
Kish Shen, Joachim Schimpf
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming. CP (2005)
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". Constraints An Int. J. 9 (1) (2004)
Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer
A High-Level Generic Interface to External Programming Languages for ECLiPSe. PADL (2002)
Kish Shen, Vítor Santos Costa, Andy King
Distance: A New Metric for Controlling Granularity for Parallel Execution. J. Funct. Log. Program. 1999 (Special Issue 1) (1999)
Kish Shen, Vítor Santos Costa, Andy King
Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP (1998)
Andy King, Kish Shen, Florence Benoy
Lower-bound Time-complexity Analysis of Logic Programs. ILPS (1997)
Kish Shen, Manuel V. Hermenegildo
Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Euro-Par, Vol. II (1996)
Kish Shen, Steve Gregory
Instant Replay Debugging of Concurrent Logic Programs. New Gener. Comput. 14 (1) (1996)
Kish Shen, Manuel V. Hermenegildo
High-level characteristics of or- and independent and-parallelism in prolog. Int. J. Parallel Program. 24 (5) (1996)
Kish Shen
Overview of Daswam: Exploitation of Dependent and-Parallelism. J. Log. Program. 29 (1-3) (1996)
Kish Shen
Initial Results of the Parallel Implementation of DASWAM. JICSLP (1996)
Kish Shen
Improving the Execution of Dependent And-Parallel Prolog DDAS. PARLE (1994)
Kish Shen, Manuel V. Hermenegildo
Divided We Stand: Parallel Distributed Stack Memory Management. ICLP-Workshops on Implementation of Logic Programming Systems (1993)
Kish Shen
Implementing Dynamic Dependent And-Parallelism. ICLP (1993)
Kish Shen
An Overview of DASWAM - An Implementation of DDAS. IJCSLP Workshop on Concurrent and Parallel Implementations (1992)
Kish Shen
Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS). JICSLP (1992)
Kish Shen, Manuel V. Hermenegildo
A Simulation Study of Or- and and Independent And-parallelism. ISLP (1991)
Kish Shen, David H. D. Warren
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. SLP (1987)

Kish Shen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kish Shen