|
СТ |
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols |
1999 |
Chandra S., Richards B., Larus J. R. |
|
|
|
IEEE Trans. on Software Engineering |
29.10.1999 |
|
СТ |
Teapot: Language Support for Writing Memory Coherence Protocols |
1996 |
Chandra S., Richards B., Larus J. R. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
|
СТ |
LCM: Memory System Support for Parallel Language Implementation |
1994 |
Larus J. R., Richards B., Viswanathan G. |
|
|
|
SIGPLAN Notices |
10.02.1995 |
|
СТ |
Nogood Backmarking with Min-conflict Repair in Constraint Satisfaction and Optimization |
1994 |
Jiang Y., Richards T., Richards B. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
|
СТ |
parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints |
1994 |
Lever J., Richards B. |
|
|
|
Lecture Notes in Artificial Intelligence |
05.11.1994 |
