630 search results - page 68 / 126 » Oclets - Scenario-Based Modeling with Petri Nets |
QEST
2007
IEEE
14 years 3 months 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...
SOFSEM
2009
Springer
14 years 5 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...
ACSD
2008
IEEE
14 years 3 months 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...
VL
2009
IEEE
14 years 3 months ago
2009
IEEE
DASC
2006
IEEE
14 years 2 months ago
2006
IEEE
