Kish Shen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2012

e - From LP to CLPJoachim Schimpf, Kish Shen. tplp, 12(1-2):127-156, 2012. [doi]

2005

Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic ProgrammingKish Shen, Joachim Schimpf. cp 2005: 622-636 [doi]

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, 9(1):5-34, 2004. [doi]

2002

A High-Level Generic Interface to External Programming Languages for ECLiPSeKish Shen, Joachim Schimpf, Stefano Novello, Josh Singer. PADL 2002: 262-279 [doi]

1999

Distance: A New Metric for Controlling Granularity for Parallel ExecutionKish Shen, Vítor Santos Costa, Andy King. jflp, 1999(Special Issue 1), 1999.

1998

Distance: A New Metric for Controlling Granularity for Parallel ExecutionKish Shen, Vítor Santos Costa, Andy King. ICLP 1998: 85-99

1997

Lower-bound Time-complexity Analysis of Logic ProgramsAndy King, Kish Shen, Florence Benoy. SLP 1997: 261-275

1996

Initial Results of the Parallel Implementation of DASWAMKish Shen. ICLP 1996: 513-527

Overview of Daswam: Exploitation of Dependent and-ParallelismKish Shen. jlp, 29(1-3):245-293, 1996.

Instant Replay Debugging of Concurrent Logic ProgramsKish Shen, Steve Gregory. ngc, 14(1):79-107, 1996.

Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic ProgramsKish Shen, Manuel V. Hermenegildo. europar 1996: 635-639

High-level characteristics of or- and independent and-parallelism in prologKish Shen, Manuel V. Hermenegildo. ijpp, 24(5):433-478, 1996. [doi]

1994

Improving the Execution of Dependent And-Parallel Prolog DDASKish Shen. parle 1994: 438-452

1993

Implementing Dynamic Dependent And-ParallelismKish Shen. ICLP 1993: 167-183

Divided We Stand: Parallel Distributed Stack Memory ManagementKish Shen, Manuel V. Hermenegildo. ICLP 1993: 185-201

1992

An Overview of DASWAM - An Implementation of DDASKish Shen. ICLP 1992:

Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS)Kish Shen. ICLP 1992: 717-731

Studies of and/or parallelism in PrologKish Shen. PhD thesis, University of Cambridge, UK, 1992. [doi]

1991

A Simulation Study of Or- and and Independent And-parallelismKish Shen, Manuel V. Hermenegildo. SLP 1991: 135-151

1987

A Simulation Study of the Argonne Model for Or-Parallel Execution of PrologKish Shen, David H. D. Warren. SLP 1987: 45-68

Sign in or sign up to see more results.

runs on WebDSL