Search
Now showing items 1-10 of 23
Automated verification of software
Automatická veri kace software
dissertation thesis (DEFENDED)
Advisor: Plášil, František
Date Issued: 2010
Date of defense: 24. 09. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Despite the research e ort being invested into the eld of automated veri cation of software, its adoption in industry is still rather slow. Several reasons for this hesitation may be identi ed. The thesis focuses on the ...
Přes výzkumné usilí věnované automatické veri kaci software, její pronikání do softwarového průmyslu je stále spíše pomalé. Toto váhání mělo několik důvodů 1) složitost posouzení jednotlivých nástrojů, 2) složitost použití ...
Přes výzkumné usilí věnované automatické veri kaci software, její pronikání do softwarového průmyslu je stále spíše pomalé. Toto váhání mělo několik důvodů 1) složitost posouzení jednotlivých nástrojů, 2) složitost použití ...
Reproducible Partial-Load Experiments in Workload Colocation Analysis
Reprodukovatelné experimenty s částečným zatížením v analýze agregace zátěže
dissertation thesis (DEFENDED)
Advisor: Bulej, Lubomír
Date Issued: 2016
Date of defense: 20. 09. 2016
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Hardware concurrency is common in all contemporary computer systems. Efficient use of hardware resources requires parallel processing and sharing of hardware by multiple workloads. Striking a balance between the conflicting ...
Hardwarový paralelismus je běžný u všech současných počítačových systémů. Nutnou podmínkou efektivního využití hardwarových prostředků jsou paralelní výpočty a sdílení hardware mezi několika výpočty. Hledání rovnováhy mezi ...
Hardwarový paralelismus je běžný u všech současných počítačových systémů. Nutnou podmínkou efektivního využití hardwarových prostředků jsou paralelní výpočty a sdílení hardware mezi několika výpočty. Hledání rovnováhy mezi ...
Variability of Execution Environments for Component-based Systems
Variabilita běhových prostředí komponentových systémů
dissertation thesis (DEFENDED)
Advisor: Bureš, Tomáš
Date Issued: 2012
Date of defense: 25. 09. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Reuse is considered as one of the most crucial software engineering concerns. It allows for delivering software systems faster with less effort. Therefore, the thesis explores limits of reuse in the context of component ...
Znovu použitelnost je jedním ze základních pilířů softwarového inženýrství. Tato vlastnost umožňuje vyvíjet systémy nejen rychleji ale také s menším úsilím. Proto tato dizertační práce zkoumá limity znovu použitelnosti v ...
Znovu použitelnost je jedním ze základních pilířů softwarového inženýrství. Tato vlastnost umožňuje vyvíjet systémy nejen rychleji ale také s menším úsilím. Proto tato dizertační práce zkoumá limity znovu použitelnosti v ...
Uncertainty-Aware Self-Adaptive Cyber-Physical Systems
Návrh adaptivních kyber-fyzikálních systémů pracujících s nepřesnými informacemi
dissertation thesis (DEFENDED)
Advisor: Bulej, Lubomír
Date Issued: 2020
Date of defense: 21. 09. 2020
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Kyber-fyzikální systémy (CPS) je třeba navrhovat tak, aby byly schopny vyrovnat se z nejistotami, které vznikají při získávání dat o okolí těchto systémů. To vyžaduje využití vhodného modelu, který pak umožňuje dělat správná ...
Cyber-physical systems (CPS) need to be designed to deal with various forms of uncertainty associated with data contributing to the system's knowledge of the environment. Dealing with uncertainty requires adopting an ...
Cyber-physical systems (CPS) need to be designed to deal with various forms of uncertainty associated with data contributing to the system's knowledge of the environment. Dealing with uncertainty requires adopting an ...
Mathematical Search Engine
Matematický vyhledávač
dissertation thesis (DEFENDED)
Advisor: Galamboš, Leo
Date Issued: 2013
Date of defense: 23. 09. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Mathematics has been used to describe phenomena and problems in many re- search fields for centuries. The basic elements used in the description are formu- lae which express information symbolically. However, searching for ...
Po celá staletí se matematika využívá k popisu jevů a problémů v mnoha oblastech výzkumu. Vzorce jsou základními kameny v jazyce matematiky, ale i přesto je hledání matematických vzorců v digitální podobě stále těžkopádné. ...
Po celá staletí se matematika využívá k popisu jevů a problémů v mnoha oblastech výzkumu. Vzorce jsou základními kameny v jazyce matematiky, ale i přesto je hledání matematických vzorců v digitální podobě stále těžkopádné. ...
Hierarchical Component Models - "A True Story"
Hierarchické komponentové modely - "pravdivý příběh"
dissertation thesis (DEFENDED)
Advisor: Plášil, František
Date Issued: 2012
Date of defense: 25. 09. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: First, this thesis presents an analysis of diversity of component-based software engineering (CBSE) concepts and approaches, and provides a summary of selected runtime-aware component models structured according to newly ...
Práce se nejprve zabývá analýzou širokého spektra konceptů a přístupů ke komponentově orientovanému návrhu software a předkládá přehled vybraných komponentových modelů s běhovým prostředím strukturovaný podle nově navržených ...
Práce se nejprve zabývá analýzou širokého spektra konceptů a přístupů ke komponentově orientovanému návrhu software a předkládá přehled vybraných komponentových modelů s běhovým prostředím strukturovaný podle nově navržených ...
Towards Static Analysis of Languages with Dynamic Features
Statická analýza jazyků s dynamickými funkcemi
dissertation thesis (DEFENDED)
Advisor: Plášil, František
Date Issued: 2014
Date of defense: 17. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Dynamic features of programming languages such as dynamic type system, dynamic method calls, dynamic code execution, and dynamic data structures provide the flexibility which can accelerate the development, but on the other ...
Dynamické funkce programovacích jazyků, jako je dynamický typový systém, dynamické volání funkcí, dynamické vykonávání kódu a dynamické datové struktury, poskytují flexibilitu, která urychluje vývoj. Tyto funkce ale snižují ...
Dynamické funkce programovacích jazyků, jako je dynamický typový systém, dynamické volání funkcí, dynamické vykonávání kódu a dynamické datové struktury, poskytují flexibilitu, která urychluje vývoj. Tyto funkce ale snižují ...
Towards thread aware component behavior specifications
Specifikace chování komponent zohledňující vlákna
dissertation thesis (DEFENDED)
Advisor: Plášil, František
Date Issued: 2010
Date of defense: 24. 09. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The component based development is a well established methodology of software development. The industry, however does not take the advantage of component behavior modeling. Although the analyses of models guarantee notiobn ...
Komponentový přístup je již poměrně zavedenou metodologií používanou při vývoji software. Při komerčním vývoji aplikací, se však ještě nevyužívají modely chování komponent a jejich následná analýza, ačkoliv by to zaručilo, ...
Komponentový přístup je již poměrně zavedenou metodologií používanou při vývoji software. Při komerčním vývoji aplikací, se však ještě nevyužívají modely chování komponent a jejich následná analýza, ačkoliv by to zaručilo, ...
New Approaches Towards Automated XSS Flaw Detection
Nové přístupy k automatické detekci XSS chyb
dissertation thesis (DEFENDED)
Advisor: Tůma, Petr
Date Issued: 2020
Date of defense: 15. 09. 2020
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Cross-site scripting (XSS) flaws are a class of security flaws particular to web applications. XSS flaws generally allow an attacker to supply affected web application with a malicious input that is then included in an ...
Cross-site scripting (XSS) chyby tvoří jednu z kategorií bezpečnostních chyb webových aplikací. Útočník díky těmto chybám může do zranitelné webové aplikace podstrčit vlastní škodlivý vstup, který je poté zobrazen ve ...
Cross-site scripting (XSS) chyby tvoří jednu z kategorií bezpečnostních chyb webových aplikací. Útočník díky těmto chybám může do zranitelné webové aplikace podstrčit vlastní škodlivý vstup, který je poté zobrazen ve ...
Component-based engineering of Smart Cyber-Physical systems
Komponentový vývoj Smart cyber-physical systémů
dissertation thesis (DEFENDED)
Advisor: Bureš, Tomáš
Date Issued: 2016
Date of defense: 27. 04. 2016
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Smart Cyber-Physical Systems (SCPS) are distributed, open-ended and architecturally dynamic systems composed of autonomic components interacting with each other in cooperative actions and introducing system-level (emergent) ...
Smart cyber-physical systémy (SCPS) jsou distribuované otevřené systémy s dynamickou architekturou. Tyto systémy jsou složené z autonomních komponent, jejichž interakce skrze kooperativní akce dává vzniknout komplexním ...
Smart cyber-physical systémy (SCPS) jsou distribuované otevřené systémy s dynamickou architekturou. Tyto systémy jsou složené z autonomních komponent, jejichž interakce skrze kooperativní akce dává vzniknout komplexním ...