126
click to vote
QEST
15 years 6 months ago
2007 IEEE 
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
120
click to vote
QEST
15 years 6 months ago
2007 IEEE 
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
100
click to vote
QEST
15 years 6 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...
QEST
15 years 6 months ago
2007 IEEE
Online auction sites have unique workloads and user behavior characteristics that do not exist in other e-commerce sites. Earlier studies by the authors identified i) significan...
108
click to vote
QEST
15 years 6 months ago
2007 IEEE
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
|
Modeling and Simulation