162
Voted
QEST
15 years 10 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 ...
163
click to vote
QEST
15 years 10 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...
146
Voted
QEST
15 years 10 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...
125
Voted
QEST
15 years 10 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...
147
Voted
QEST
15 years 10 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