česky | in English

Section:
Use to change section. Address within IS:

Masaryk University

Faculty of Informatics

Bachelor's degree programme/field of study:
Informatics/Informatics

Theses on a related topic

Display description

Mgr. Jitka Kudrnáčová

State caching in DiVinE

Kešování stavů pod DiVinE

Abstract: Vzhledem k velké výpočetní náročnosti automatického model checkingu se v současné době hledají cesty, jak alespoň částečně snížit nároky, které vetšina model checkerů klade na výpočetní techniku. DiVinE je model checker, který se tohoto snaží dosáhnout distribucí výpočtu mezi více počítačů v rámci jednoho clusteru. Distribuce výpočtu s sebou ale obecně nese další možné problémy, mezi jinými možné …more

Abstract: Automatic model checking is computationally hard, therefore ways are searched to solve this problem. DiVinE is a model checker, that distributes the computation among more computers connected in one cluster. However, the distribution itself can bring many problems -- among them the burden of too many messages sent among the computers in the cluster. Moreover, every single computer in the cluster, …more

Model checking kešování DiVinE distribuovaný výpočet dosažitelnost LTL logika

Language used: Czech

  • Entered/Edited 22. 6. 2006 15:20, Helena Kryštofová
  • Record made 3. 5. 2006 13:52, Jana Zemanová
  • Accessible from: 18. 5. 2006 09:44, Jana Zemanová
  • Thesis/dissertation received 18. 5. 2006 09:44, Jana Zemanová

Bachelor's thesis defense

  • Took place 22. 6. 2006, the thesis was defended successfully.

Supervisor:

  • doc. RNDr. Jiří Barnat, Ph.D., KTP FI MU
Reader's report
Full text of thesis

Citation record

ISO 690-compliant citation record: LaTeX | HTML | text | BibTeX

Thesis check

The thesis has been checked: 11. 10. 2008 12:51, (IS automatically)


Display preview: 1-3. Display the folder contents as gallery
Složka /th/  Závěrečné práce /th/
Složka /th/98561/  Mgr. Jitka Kudrnáčová /98561/
Toolsdisplay in ascending orderdisplay in descending order Click to count the files which have not been read Click to calculate the total space occupied Zobrazit mapu souborů. folders first, files seconddisplay in ascending orderdisplay in descending order File or folderdisplay in ascending orderdisplay in descending order Uploaded/Created bydisplay in ascending orderdisplay in descending order Uploaded/Createddisplay in ascending orderdisplay in descending order expiration date: display in ascending order.expiration date: display in descending order.
Tools  Archive of Thesis/Dissertation Jitka Kudrnáčová FI B-IN BcIN /fi_b/Kudrnáčová, J.17.  5. 2006
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsAnotace anglicky annotation_english.txtKudrnáčová, J.17.  5. 2006
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsAnotace česky annotation.txtKudrnáčová, J.17.  5. 2006
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Tools  bc.pdfKudrnáčová, J.22.  5. 2008
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Toolsbc.texKudrnáčová, J.17.  5. 2006
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsKlíčová slova keywords.txtKudrnáčová, J.17.  5. 2006
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Tools preview availableposudek_oponenta.jpgDvořáčková, H.12.  6. 2006
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Tools preview availableposudek_oponenta_2.jpgDvořáčková, H.12.  6. 2006
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
The file is inaccessible.posudek_vedouciho.jpgDvořáčková, H. 9.  6. 2006
The following are allowed to read the file(s):
• anyone logged in IS
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Toolsstyle.tex Description: pouzity stylKudrnáčová, J.17.  5. 2006
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Browse this folder after logging into the System (provided you have an IS password, you can have more files displayed here)

Other references: 


Go to top | Current date and time: 18. 5. 2013 11:11, Week 20 (even)

Contact: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, Office for Studies, access rights administrators, is-technicians, e-technicians, IT support | learn more about Information System