СТ |
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 |