70 search results - page 3 / 14 » Step-wise Refinement Design Example Using LOTOS |
AAAI
1994
13 years 7 months ago
1994
Conceptual information retrieval systems use structured document indices, domain knowledge and a set of heuristic retrieval strategies to match user queries with a set of indices ...
3DPVT
2006
IEEE
14 years 10 days ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
IPPS
1998
IEEE
13 years 10 months ago
1998
IEEE
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
DAC
2003
ACM
14 years 7 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
TVLSI
2008
13 years 6 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...