books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 68; Issue 2
Main
Performance Evaluation
Volume 68; Issue 2
Performance Evaluation
Volume 68; Issue 2
1
The ins and outs of the probabilistic model checker MRMC
Joost-Pieter Katoen
,
Ivan S. Zapreev
,
Ernst Moritz Hahn
,
Holger Hermanns
,
David N. Jansen
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 669 KB
Your tags:
english, 2011
2
Time-bounded reachability in tree-structured QBDs by abstraction
Daniel Klink
,
Anne Remke
,
Boudewijn R. Haverkort
,
Joost-Pieter Katoen
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 1.46 MB
Your tags:
english, 2011
3
Quasi-birth-and-death processes with restricted transitions and its applications
Juan F. Pérez
,
Benny Van Houdt
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 428 KB
Your tags:
english, 2011
4
Mean-field framework for performance evaluation of push–pull gossip protocols
Rena Bakhshi
,
Lucia Cloth
,
Wan Fokkink
,
Boudewijn R. Haverkort
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 1.16 MB
Your tags:
english, 2011
5
Dynamic demultiplexing in network calculus—Theory and application
Hao Wang
,
Jens B. Schmitt
,
Ivan Martinovic
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 585 KB
Your tags:
english, 2011
6
Message from the program chairs
David Nicol
,
Michael Huth
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 123 KB
Your tags:
english, 2011
7
Asymptotically optimal trade-off between local and global connectivity in wireless networks
András Faragó
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 334 KB
Your tags:
english, 2011
8
A generalized method of moments for closed queueing networks
Giuliano Casale
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 460 KB
Your tags:
english, 2011
9
Editorial Board
Journal:
Performance Evaluation
Year:
2011
Language:
english
File:
PDF, 68 KB
Your tags:
english, 2011
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×