1992 search results - page 97 / 399 » Memory modeling for system synthesis |
130
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
142
click to vote
CDC
2010
IEEE
15 years 22 days ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
230
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
169
click to vote
TWC
2008
15 years 5 months ago
2008
Computationally scalable and accurate estimation, prediction, and simulation of wireless communication channels is critical to the development of more adaptive transceiver algorith...
162
click to vote
APPINF
2003
15 years 7 months ago
2003
This paper presents a new technique of recovery for object-based Distributed Shared Memory (DSM) systems. The new technique, integrated with a coherence protocol for atomic consis...