Kish Shen

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