М |
Agent-Based Hybrid Intelligent Systems |
2004 |
Zhang Z., Zhang C. |
Lecture Notes in Artificial Intelligence |
|
|
An Agent-Based Framework for Complex Problem Solving |
02.03.2004 |
СТ |
Post-mining: Maintenance of Association Rules by Weighting |
2003 |
Zhang S., Zhang C., Yan X. |
|
|
|
Information Systems |
19.09.2003 |
М |
Association Rule Mining: Models and Algorithms |
2002 |
Zhang C., Zhang S. |
Lecture Notes in Artificial Intelligence |
|
|
|
23.05.2002 |
СТ |
Minimum Register Instruction Scheduling: A New Approach for Dynamic Instruction Issue Processors |
2000 |
Govindarajan R., Zhang C., Gao G. R. |
|
|
|
Lecture Notes in Computer Science |
09.09.2000 |
СТ |
Efficient State-Diagram Construction Methods for Software Pipelining |
1999 |
Zhang C., Govindarajan R., Ryan S., Gao G. R. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
СТ |
A Hierarchical Method for Reasoning about Distributed Programming Languages |
1995 |
Zhang C., Becker B. R., Heckman M. R., Levitt K., Olsson R. A. |
Lecture Notes in Computer Science |
|
|
Higher Order Logic Theorem Proving and Its Applications |
28.09.1995 |
СТ |
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL |
1994 |
Zhang C., Shaw R., Olsson R. A., Levitt K., Archer M., Heckman M. R., Benson G. D. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
СТ |
GPMB - Software Pipelining Branch-Intensive Loops |
1993 |
Tang Z., Chen G., Zhang C., Zhang Y., Su B., Habib S. |
|
|
|
SIGMICRO Newsletter |
18.03.1994 |