QEST
2006
IEEE
14 years 5 months ago
2006
IEEE
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
QEST
2006
IEEE
14 years 5 months ago
2006
IEEE
We give a quick overview of some key issues in (quantitative) call center management: building realistic models, developing efficient tools to simulate these models, finding qui...
QEST
2006
IEEE
14 years 5 months ago
2006
IEEE
QEST
2006
IEEE
14 years 5 months ago
2006
IEEE
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
QEST
2007
IEEE
14 years 6 months ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
QEST
2007
IEEE
14 years 6 months ago
2007
IEEE
QEST
2007
IEEE
14 years 6 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
QEST
2007
IEEE
14 years 6 months ago
2007
IEEE
QEST
2007
IEEE
14 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...
QEST
2007
IEEE
14 years 6 months ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...