Hledat
Zobrazují se záznamy 1-10 z 22
Automated verification of software
Automatická veri kace software
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2010
Datum obhajoby: 24. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bulej, Lubomír
Datum publikování: 2016
Datum obhajoby: 20. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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ů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2012
Datum obhajoby: 25. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bulej, Lubomír
Datum publikování: 2020
Datum obhajoby: 21. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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č
Dizertační práce (OBHÁJENO)
Vedoucí práce: Galamboš, Leo
Datum publikování: 2013
Datum obhajoby: 23. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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"
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2012
Datum obhajoby: 25. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2014
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2010
Datum obhajoby: 24. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2020
Datum obhajoby: 15. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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ů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2016
Datum obhajoby: 27. 04. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...