|
|
libcats.org
Formal Methods for Performance Evaluation, 7 school, SFM 2007Marco Bernardo, Jane HillstonThis book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007.SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field, including formalisms for performance modeling (Markov chains, queueing networks, stochastic Petri nets, and stochastic process algebras), equivalence checking and model checking, efficient solution techniques, and software performance engineering.
Скачать книгу бесплатно (pdf, 4.81 Mb)
Читать «Formal Methods for Performance Evaluation, 7 school, SFM 2007» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
A Concise History of Economic Thought: From Mercantilism to MonetarismАвтор: Gianni Vaggi, Автор: Peter GroenewegenКатегория: История
Размер книги: 2.62 Mb
Моделирование фазовых равновесий при кристаллизации базальтовых магмАвтор: Арискин А.А., Автор: Бармина Г.С.Категория: науки о земле
Размер книги: 7.95 Mb
Ein ungewöhnliches MotivationsbuchАвтор: Lundin Stephen C, Автор: Paul HarryКатегория: fiction
Размер книги: 1.08 Mb
The Question of God: C.S. Lewis and Sigmund Freud Debate God, Love, Sex, and the Meaning of Life (Epub & Mobi)Автор: Armand M. NicholiКатегория: Christian
Размер книги: 1.04 Mb
|
|
|