14360 search results - page 391 / 2872 » Time Modeling in MARTE |
124
click to vote
SODA
2004
ACM
15 years 5 months ago
2004
ACM
We study the mixing time of the Glauber dynamics for general spin systems on bounded-degree trees, including the Ising model, the hard-core model (independent sets) and the antife...
131
click to vote
SSIRI
2010
15 years 2 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
130
click to vote
ISSS
2000
IEEE
15 years 8 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 ...
123
click to vote
WSC
2000
15 years 5 months ago
2000
In the this paper, we study the problem of collective resource management. We first introduce the problem through realworld examples. Then we generalize the problem and build an a...
131
click to vote
DATE
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...