dc.contributor.advisor |
Čapek, Jan |
cze |
dc.contributor.author |
Ibl, Martin
|
|
dc.date.accessioned |
2011-07-11T21:22:11Z |
|
dc.date.available |
2011-07-11T21:22:11Z |
|
dc.date.issued |
2011 |
|
dc.identifier |
Univerzitní knihovna (sklad) |
cze |
dc.identifier.uri |
http://hdl.handle.net/10195/39522 |
|
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.format |
100 s. |
cze |
dc.format.extent |
34183433 bytes |
cze |
dc.format.mimetype |
application/zip |
cze |
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.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 |
dc.contributor.referee |
Olej, Vladimír |
cze |
dc.date.accepted |
2011 |
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.department |
Ústav systémového inženýrství a informatiky |
cze |
dc.thesis.degree-discipline |
Informatika ve veřejné správě |
cze |
dc.thesis.degree-name |
Ing. |
cze |
dc.thesis.degree-grantor |
Univerzita Pardubice. Fakulta ekonomicko-správní |
cze |
dc.identifier.signature |
D24732 |
|
dc.thesis.degree-program |
Systémové inženýrství a informatika |
cze |
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.grade |
Dokončená práce s úspěšnou obhajobou |
cze |