630 search results - page 68 / 126 » Oclets - Scenario-Based Modeling with Petri Nets |
172
click to vote
QEST
2007
IEEE
16 years 12 days ago
2007
IEEE
Previous studies have shown that buffering packets in DRAM is a performance bottleneck. In order to understand the impediments in accessing the DRAM, we developed a detailed Petri...
171
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
159
click to vote
ACSD
2008
IEEE
16 years 18 days ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
