Вы здесь

Li Z.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Testing Multi Input/Output Transition System with All-Observer 2004 Li Z., Wu J., Yin X. Lecture Notes in Computer Science 01.04.2004
СТ A Proof Assistant for Mobile Processes 2003 Du X., Li Z. Lecture Notes in Computer Science 27.11.2003
СТ Locality Enhancement by Array Contraction 2003 Song Y., Wang C., Li Z. Lecture Notes in Computer Science 18.06.2003
СТ An Adaptive Scheme for Dynamic Parallelization 2003 Ding Y., Li Z. Lecture Notes in Computer Science 18.06.2003
СТ Towards Modeling and Testing of IP Routing Protocols 2003 Wu J., Li Z., Yin X. Lecture Notes in Computer Science 07.06.2003
СТ Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization 2000 Gu J., Li Z. IEEE Trans. on Software Engineering 02.04.2002
СТ Chapter 7. Interprocedural Analysis Based on Guarded Array Regions 2001 Li Z., Gu J., Lee G. Lecture Notes in Computer Science 02.06.2001
СТ A Compiler Framework for Tiling Imperfectly-Nested Loops 2000 Song Y., Li Z. Lecture Notes in Computer Science 09.09.2000
СТ New Tiling Techniques to Improve Cache Temporal Locality 1999 Song Y., Li Z. SIGPLAN Notices 20.08.1999
СТ Experience with Efficient Array Data Flow Analysis for Array Privatization 1997 Gu J., Li Z., Lee G. SIGPLAN Notices 30.09.1997
СТ Compiler Techniques for Concurrent Multithreading with Hardware Speculation Support 1997 Li Z., Tsai J. -Y., Wang X., Yew P. -C., Zheng B. Lecture Notes in Computer Science 21.08.1997
СТ Efficient Storage Reuse of Aggregates in Single Assignment Languages 1996 Li Z., Kirkham C. C. Lecture Notes in Computer Science 21.05.1996
СТ An Interprocedural Parallelizing Compiler and Its Support for Memory Hierarchy Research 1996 Nguyen T., Gu J., Li Z. Lecture Notes in Computer Science 24.02.1996
СТ The Cedar System and an Initial Performance Study 1993 Kuck D., Davidson E., Lawrie D., Sameh A., Zhu C. -Q., Veidenbaum A., Konicek J., Yew P., Gallivan K., Jalby W., Wijshoff H., Bramley R., Yang U. M., Emrath P., Padua D., Eigenmann R., Hoeflinger J., Jaxon G., Li Z., Murphy T., Andrews J., Turner S. Computer Architecture News 24.06.1993
СТ Some Results on Exact Data Dependence Analysis 1990 Li Z., Yew P. C. Languages and Compilers for Parallel Computing 23.10.1992