|
СТ |
Efficient Local Search for Very Large-Scale Satisfiability Problems |
1992 |
Gu J. |
|
|
|
SIGART Bull. |
26.02.1992 |
|
СТ |
Design Efficient Local Search Algorithms |
1992 |
Gu J. |
|
|
|
Lecture Notes in Artificial Intelligence |
09.07.1992 |
|
СТ |
Average Time Complexity of the SAT 1.2 Algorithm |
1994 |
Gu J., Gu Q. -P. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
|
СТ |
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 |
|
СТ |
Experience with Efficient Array Data Flow Analysis for Array Privatization |
1997 |
Gu J., Li Z., Lee G. |
|
|
|
SIGPLAN Notices |
30.09.1997 |
|
СТ |
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 |
