Вы здесь

Shen K.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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