4451 search results - page 171 / 891 » Continuous model synthesis |
179
click to vote
FAC
2008
15 years 6 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
231
click to vote
Publication
Artificial neural networks, electronic circuits, and gene networks are some examples of systems that can be modeled as networks, that is, as collections of interconnected nodes. I...
166
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
141
click to vote
DATE
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper we present our contribution in terms of synchronization processor for a SoC design methodology based on the theory of the latency insensitive systems (LIS) of Carlon...
142
click to vote
MEMOCODE
2005
IEEE
16 years 1 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...