Kish Shen

According to our database, Kish Shen authored at least 20 papers between 1987 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

ECLⁱPS^e - From LP to CLP.

Joachim Schimpf, Kish Shen

Theory Pract. Log. Program., 2012

2010

ECLiPSe - from LP to CLP

Joachim Schimpf, Kish Shen

CoRR, 2010

2005

Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming.

Kish Shen, Joachim Schimpf

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

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".

Mark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey

Constraints An Int. J., 2004

2002

A High-Level Generic Interface to External Programming Languages for ECLiPSe.

Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

1999

Distance: A New Metric for Controlling Granularity for Parallel Execution.

Kish Shen, Vítor Santos Costa, Andy King

J. Funct. Log. Program., 1999

1997

Lower-bound Time-complexity Analysis of Logic Programs.

Andy King, Kish Shen, Florence Benoy

Proceedings of the Logic Programming, 1997

1996

Instant Replay Debugging of Concurrent Logic Programs.

Kish Shen, Steve Gregory

New Gener. Comput., 1996

Overview of Daswam: Exploitation of Dependent and-Parallelism.

Kish Shen

J. Log. Program., 1996

High-level characteristics of or- and independent and-parallelism in prolog.

Kish Shen, Manuel V. Hermenegildo

Int. J. Parallel Program., 1996

Initial Results of the Parallel Implementation of DASWAM.

Kish Shen

Proceedings of the Logic Programming, 1996

Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs.

Kish Shen, Manuel V. Hermenegildo

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1994

Improving the Execution of Dependent And-Parallel Prolog DDAS.

Kish Shen

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993

Divided We Stand: Parallel Distributed Stack Memory Management.

Kish Shen, Manuel V. Hermenegildo

Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993

Implementing Dynamic Dependent And-Parallelism.

Kish Shen

Proceedings of the Logic Programming, 1993

1992

Studies of and/or parallelism in Prolog.

Kish Shen

PhD thesis, 1992

An Overview of DASWAM - An Implementation of DDAS.

Kish Shen

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS).

Kish Shen

Proceedings of the Logic Programming, 1992

1991

A Simulation Study of Or- and and Independent And-parallelism.

Kish Shen, Manuel V. Hermenegildo

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1987

A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog.

Kish Shen, David H. D. Warren

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987