|
СТ |
Branching Time-Property Preservation Between Real-Time Systems |
2006 |
Huang J., Geilen M., Voeten J., Corporaal H. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
11.01.2007 |
|
СТ |
Thread Transparency in Information Flow Middleware |
2001 |
Koster R., Black A. P., Huang J., Walpole J., Pu C. |
|
|
|
Lecture Notes in Computer Science |
06.11.2001 |
|
СТ |
Extending Value Reuse to Basic Blocks with Compiler Support |
2000 |
Huang J., Lilja D. J. |
|
|
|
IEEE Trans. on Computers |
22.07.2000 |
|
СТ |
The Superthreaded Processor Architecture |
1999 |
Tsai J. -Y., Huang J., Amlo C., Lilja D. J., Yew P. -C. |
|
|
|
IEEE Trans. on Computers |
25.12.1999 |
|
СТ |
An Agent Architecture for Distributed Medical Care |
1995 |
Huang J., Jennings N. R., Fox J. |
|
|
|
Lecture Notes in Artificial Intelligence |
30.03.1995 |
