1992 search results - page 98 / 399 » Memory modeling for system synthesis |
159
click to vote
ESANN
2008
15 years 7 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...
161
click to vote
ICA3PP
2005
Springer
15 years 11 months ago
2005
Springer
Shared Memory is an interesting communication paradigm for SMP machines and clusters. Weak consistency models have been proposed to improve efficiency of shared memory applications...
139
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
193
click to vote
TCAD
2010
15 years 13 days ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
148
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...