Home > Search Results: Palúch, Filip
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 4 records found  Search took 0.01 seconds. 
Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC
 Palúch, Filip ; Podivínský, Jakub (referee) ; Strnadel, Josef (advisor)
The effort of this thesis is the review of mechanisms of tasks planning in singlecore environment. Each models are designed and implemented in tool UPPAAL using these mechanisms. The main focus in this thesis is the tool UPPAAL. Result of this thesis is verification of each mechanisms properties received from implementation of models in UPPAAL. TimesTool and Cheddar are the tools which are used for comparing our results from UPPAAL.
Detailed record
Practical Application of Agile Methods
 Palúch, Filip ; Doskočil, Radek (referee) ; Smolíková, Lenka (advisor)
This diploma thesis is focused on current situation analysis of the company with particular designed change of project management. This change is aimed to set up a Scrum agile method. Basics of Scrum agile method are explained in the first chapter of this diploma thesis. Based on the knowledge gained from analitical chapter of this thesis there are designed specific changes according Scrum principles in the last chapter.
Detailed record
Practical Application of Agile Methods
 Palúch, Filip ; Doskočil, Radek (referee) ; Smolíková, Lenka (advisor)
This diploma thesis is focused on current situation analysis of the company with particular designed change of project management. This change is aimed to set up a Scrum agile method. Basics of Scrum agile method are explained in the first chapter of this diploma thesis. Based on the knowledge gained from analitical chapter of this thesis there are designed specific changes according Scrum principles in the last chapter.
Detailed record
Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC
 Palúch, Filip ; Podivínský, Jakub (referee) ; Strnadel, Josef (advisor)
The effort of this thesis is the review of mechanisms of tasks planning in singlecore environment. Each models are designed and implemented in tool UPPAAL using these mechanisms. The main focus in this thesis is the tool UPPAAL. Result of this thesis is verification of each mechanisms properties received from implementation of models in UPPAAL. TimesTool and Cheddar are the tools which are used for comparing our results from UPPAAL.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English