|
СТ |
A Framework for Specializing Threads in Concurrent Run-Time Systems |
1998 |
Benson G. D., Olsson R. A. |
|
|
|
Lecture Notes in Computer Science |
20.11.1998 |
|
СТ |
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 |
|
СТ |
The Performance of Parallel Disk Write Methods for Linux Multiprocessor Nodes |
2003 |
Benson G. D., Long K., Pacheco P. S. |
|
|
|
Lecture Notes in Computer Science |
15.01.2004 |
