126 search results - page 26 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
127
Voted
DSL
1997
15 years 4 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...