|
СТ |
Run-Time Type Checking for Binary Programs |
2003 |
Burrows M., Freund S. N., Wiener J. L. |
|
|
|
Lecture Notes in Computer Science |
11.04.2003 |
|
П |
Efficient and Flexible Value Sampling |
2000 |
Burrows M., Erlingson U., Leung S. -T., Vandevoorde M. T., Waldspurger C. A., Walker K., Weihl W. E. |
|
|
Systems Research Center |
|
18.04.2001 |
|
СТ |
Efficient Implementation of PVM on the AN2 ATM Network |
1995 |
Hausner M., Burrows M., Thekkath C. A. |
|
|
|
Lecture Notes in Computer Science |
28.06.1995 |
|
П |
A Block-sorting Lossless Data Compression Algorithm |
1994 |
Burrows M., Wheeler D. J. |
|
|
Digital |
|
18.11.1994 |
|
П |
Authentication in the Taos Operating System |
1993 |
Wobber E., Abadi M., Burrows M., Lampson B. |
|
|
Digital |
|
14.05.1994 |
|
СТ |
A Calculus for Access Control in Distributed Systems |
1993 |
Abadi M., Burrows M., Lampson B., Plotkin G. |
|
|
|
ACM Trans. Programming Languages and Systems |
25.11.1993 |
|
П |
Autentication in Distributed Systems: Theory and Practice |
1992 |
Lampson B., Abadi M., Burrows M., Wobber E. |
|
|
Digital |
|
28.10.1992 |
|
СТ |
On-line Data Compression in a Log-structured File System |
1992 |
Burrows M., Jerian C., Lampson B., Mann T. |
|
|
|
SIGPLAN Notices |
26.10.1992 |
|
П |
Authentication and Delegation with Smart-cards |
1991 |
Abadi M., Burrows M., Kaufman C., Lampson B. |
|
|
|
|
07.02.1992 |
|
СТ |
Authentication in Distributed Systems: Theory and Practice |
1991 |
Lampson B., Abadi M., Burrows M., Wobber E. |
|
|
|
Operating Systems Review |
19.12.1991 |
|
П |
Autonet: a High-speed, Self-configuring Local Area Network Using Point-to-point Links |
1990 |
Schroeder M., Birrell A., Burrows M., Murray H., Needman R., Rodeheffer T., Satterthwaite E., Thacker C. |
|
|
Digital |
|
23.04.1991 |
