|
СТ |
Optimizing Symbolic Model Checking for Constraint-Rich Models |
1999 |
Yang B., Simmons R., Bryant R. E., O Hallaron D. R. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
Language and Run-Time Support for Network Parallel Computing |
1996 |
Dinda P. A., O Hallaron D. R., Subhlok J., Webb J. A., Yang B. |
|
|
|
Lecture Notes in Computer Science |
24.02.1996 |
|
СТ |
Do&Merge: Integrating Parallel Loops ans Reductions |
1994 |
Yang B., Webb J., Stichnoth J. M., O Hallaron D. R., Gross T. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |
|
СТ |
Exploting Task and Data Parallelism on a Multicomputer |
1993 |
Subhlok J., Stichnoth J. M., O Hallaron D. R., Gross T. |
|
|
|
SIGPLAN Notices |
06.09.1993 |
|
СТ |
Improved Algorithms for Mapping Pipelined and Parallel Computations |
1991 |
Nicol D. M., O Hallaron D. R. |
|
|
|
IEEE Trans. Computers |
26.02.1992 |
