Modelování činnosti vláken v operačním systému

Ibl, Martin

Publikace:
Modelování činnosti vláken v operačním systému

Diplomová práceopen access

dc.contributor.advisor	Čapek, Jan	cze
dc.contributor.author	Ibl, Martin
dc.contributor.referee	Olej, Vladimír	cze
dc.date.accepted	2011	cze
dc.date.accessioned	2011-07-11T21:22:11Z
dc.date.available	2011-07-11T21:22:11Z
dc.date.issued	2011
dc.description.abstract	Práce se zaměřuje na popis a modelování činnosti vláken v moderních operačních systémech. Součástí práce je osvojení Petri sítí jako modelovacího nástroje s důrazem na barvené Petri sítě. Samotné modelování je realizováno pomocí barvených Petri sítí a zaměřuje se na stavový, behaviorální a kontextuální pohled na činnosti vláken.	cze
dc.description.abstract-translated	The work focuses on description and modeling of activities of threads in modern operating systems. A part of this work is the adoption of Petri nets as a modeling tool with emphasis on Coloured Petri Nets. The actual modeling is done by using colored Petri nets and focuses on state, behavioral and contextual view of the threads activities.	eng
dc.description.defence	Student seznámil s výsledky své diplomové práce na téma Modelování činnosti vláken v operačním systému. Otázky byly směřovány vláken v operačních systémech. Autor na otázky pohotově odpovídal.Otázky komise: Jak jste verifikoval svoje modely? Co je míněno kontextem v kapitole 7?	cze
dc.description.department	Ústav systémového inženýrství a informatiky	cze
dc.description.grade	Dokončená práce s úspěšnou obhajobou	cze
dc.format	100 s.	cze
dc.format.extent	34183433 bytes	cze
dc.format.mimetype	application/zip	cze
dc.identifier	Univerzitní knihovna (sklad)	cze
dc.identifier.signature	D24732
dc.identifier.uri	https://hdl.handle.net/10195/39522
dc.language.iso	cze
dc.publisher	Univerzita Pardubice	cze
dc.rights	Bez omezení	cze
dc.subject	vlákna	cze
dc.subject	modelování	cze
dc.subject	operační systém	cze
dc.subject	Petri sítě	cze
dc.subject	CPN Tools	cze
dc.subject	scheduling	cze
dc.subject	synchronizace	cze
dc.subject	souběžnost	cze
dc.subject	deadlock	cze
dc.subject	race condition	cze
dc.subject	kritická sekce	cze
dc.subject	Standard ML	cze
dc.subject	Threads	eng
dc.subject	Modeling	eng
dc.subject	Operating system	eng
dc.subject	Petri nets	eng
dc.subject	CPN Tools	eng
dc.subject	Scheduling	eng
dc.subject	Synchronization	eng
dc.subject	Concurrency	eng
dc.subject	Deadlock	eng
dc.subject	Race condition	eng
dc.subject	Critical region	eng
dc.subject	Standard ML	eng
dc.thesis.degree-discipline	Informatika ve veřejné správě	cze
dc.thesis.degree-grantor	Univerzita Pardubice. Fakulta ekonomicko-správní	cze
dc.thesis.degree-name	Ing.	cze
dc.thesis.degree-program	Systémové inženýrství a informatika	cze
dc.title	Modelování činnosti vláken v operačním systému	cze
dc.title.alternative	Modeling of activities of threads in the operating system	eng
dc.type	diplomová práce	cze
dspace.entity.type	Publication