|
СТ |
A High-Level Generic Interface to External Programming Languages for ECLiPSe |
2002 |
Shen K., Schimpf J., Novello S., Singer J. |
|
|
|
Lecture Notes in Computer Science |
27.02.2002 |
|
СТ |
Compile/Run-time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines |
1999 |
Tang H., Shen K., Yang T. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Lower-bound Time-complexity Analysis of Logic Programs |
1997 |
King A., Shen K., Benoy F. |
|
|
|
Logic Programming |
05.03.1998 |
|
СТ |
A Simulation Study of Or- and Independent And-parallelism |
1991 |
Shen K., Hermenegildo M. V. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
Exploiting Dependent And-parallelism in Prolog: the Dynamic Dependent And-parallel Scheme (DDAS) |
1992 |
Shen K. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Improving the Execution of the Dependent And-parallel Prolog DDAS |
1994 |
Shen K. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
