|
СТ |
Separation and Information Hiding |
2004 |
O Hearn P. W., Yang H., Reynolds J. C. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
Compiler-Assisted Cache Replacement: Problem Formulation and Performance Evaluation |
2004 |
Yang H., Govindarajan R., Gao G. R., Hu Z. |
|
|
|
Lecture Notes in Computer Science |
08.04.2004 |
|
СТ |
Automatic Construction of Hoare Proofs from Abstract Interpretation Results |
2003 |
Seo S., Yang H., Yi K. |
|
|
|
Lecture Notes in Computer Science |
20.12.2003 |
|
СТ |
A Browser Computability Testing Method Based on Combinatorial Testing |
2003 |
Xu L., Xu B., Nie C., Chen H., Yang H. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
|
СТ |
Inserting Safe Memory Reuse Commands into ML-Like Programs |
2003 |
Lee O., Yang H., Yi K. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
Intelligent Search for Distributed Information Sources Using Heterogeneous Neural Networks |
2003 |
Yang H., Zhang M. |
|
|
|
Lecture Notes in Computer Science |
07.05.2003 |
|
СТ |
Correctness of Data Representations Involving Heap Data Structures |
2003 |
Reddy U. S., Yang H. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Static Dependency Analysis for Concurrent Ada 95 Programs |
2002 |
Chen Z., Xu B., Zhao J., Yang H. |
|
|
|
Lecture Notes in Computer Science |
19.07.2002 |
|
СТ |
A Semantic Basis for Local Reasoning |
2002 |
Yang H., O Hearn P. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |
|
СТ |
Slicing Tagged Objects in Ada |
2001 |
Chen Z., Xu B., Yang H. |
|
|
|
Lecture Notes in Computer Science |
10.06.2001 |
|
СТ |
Design and Implementation of COIRS (a COncept-based Image Retrieval System) |
1999 |
Yang H., Kim H., Yang J. |
|
|
|
Lecture Notes in Computer Science |
19.06.1999 |
