Hledat
Zobrazují se záznamy 11-20 z 22
Effective Automated Software Verification: A Multilayered Approach
Efektivní automatická verifikace software: Vícevrstvý přístup
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2023
Datum obhajoby: 21. 03. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V posledních letech automatická formální verifikace software pokročila z několika výzkumných laboratoří do rozsáhlých aplikací, jako je cloudová infrastruktura a smart kontrakty. Formální verifikační techniky založené na ...
In recent years, automated formal verification of software has progressed from a few research labs into large-scale applications, such as cloud infrastructure and smart contracts. Formal verification techniques based on ...
In recent years, automated formal verification of software has progressed from a few research labs into large-scale applications, such as cloud infrastructure and smart contracts. Formal verification techniques based on ...
Performance Awareness in Agile Software Development
Výkon softwaru jako faktor při agilních metodách vývoje
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2018
Datum obhajoby: 11. 06. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Za agilní metody vývoje softwaru jsou obecně považovány přístupy, kdy jsou programy často sestavovány, testovány a nasazovány. Výsledkem je tak kratší vývojový cyklus. Přístupy typu DevOps pak dovádí tuto koncepci do ...
Broadly, agile software development is an approach where code is frequently built, tested and shipped, leading to short release cycles. Extreme version is the DevOps approach where the development, testing and deployment ...
Broadly, agile software development is an approach where code is frequently built, tested and shipped, leading to short release cycles. Extreme version is the DevOps approach where the development, testing and deployment ...
Integration Paradigms for Ensemble-based Smart Cyber-Physical Systems
Integration Paradigms for Ensemble-based Smart Cyber-Physical Systems
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2018
Datum obhajoby: 14. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Smart Cyber-Physical Systémy (sCPS) jsou komplexní systémy zaměřené na chytrou koordinaci která často vyžaduje decentralizované řízení a síťovou odolnost. Nový vývoj v oblasti robotických systémů, Průmyslu 4.0 a systémů ...
Smart Cyber-Physical Systems (sCPS) are complex systems performing smart coordination that often require decentralized and network resilient operation. New development in the fields of the robotic systems, Industry 4.0 and ...
Smart Cyber-Physical Systems (sCPS) are complex systems performing smart coordination that often require decentralized and network resilient operation. New development in the fields of the robotic systems, Industry 4.0 and ...
From textual specification to formal verification
Z textové specifikace k formální verifikaci
Dizertační práce (OBHÁJENO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2013
Datum obhajoby: 24. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Textual use-cases have been traditionally used at the design stage of the software development process to describe software functionality from the user's perspective. Because use-cases typically rely on natural language, ...
Běžný způsob popisu funkčních požadavků při vývoji softwaru je tvorba textových případů použití (use-cases). Jejich úlohou v úvodních fázích projektu je zachytit formou přirozeného jazyka způsob fungování systému z pohledu ...
Běžný způsob popisu funkčních požadavků při vývoji softwaru je tvorba textových případů použití (use-cases). Jejich úlohou v úvodních fázích projektu je zachytit formou přirozeného jazyka způsob fungování systému z pohledu ...
Application of Software Components in Operating System Design
Aplikace softwarových komponent pro návrh operačního systému
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2015
Datum obhajoby: 22. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis describes the primary goal of the HelenOS microkernel multiserver operating system. The primary goal of the HelenOS project is to create a comprehensive research and development platform in the domain of ...
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních ...
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních ...
Instrumentation and Evaluation for Dynamic Program Analysis
Instrumentace a vyhodnocení pro dynamickou analýzu aplikací.
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2014
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: A dynamic program analysis provides essential information during later phases of an application development. It helps with debugging, profiling, performance optimizations or vulnerability detection. Despite that, support ...
Dynamická analýza aplikací zprostředkovává důležité informace během pozdějších fází vývoje. Napomáhá při laděni, profilování, výkonnostní optimalizaci nebo při detekci bezpečnostních chyb. Nicméně, podpora pro vytváření ...
Dynamická analýza aplikací zprostředkovává důležité informace během pozdějších fází vývoje. Napomáhá při laděni, profilování, výkonnostní optimalizaci nebo při detekci bezpečnostních chyb. Nicméně, podpora pro vytváření ...
Garbage Collection in Software Performance Engineering
Garbage Collection in Software Performance Engineering
Dizertační práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2015
Datum obhajoby: 26. 10. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title Garbage Collection in Software Performance Engineering Author Peter Libič peter.libic@d3s.mff.cuni.cz Advisor doc. Ing. Petr Tůma, Dr. petr.tuma@d3s.mff.cuni.cz Department Department of Distributed and Dependable ...
Název Garbage Collection in Software Performance Engineering Autor Peter Libič peter.libic@d3s.mff.cuni.cz Školitel doc. Ing. Petr Tůma, Dr. petr.tuma@d3s.mff.cuni.cz Katedra Katedra distribuovaných a spolehlivých systémů ...
Název Garbage Collection in Software Performance Engineering Autor Peter Libič peter.libic@d3s.mff.cuni.cz Školitel doc. Ing. Petr Tůma, Dr. petr.tuma@d3s.mff.cuni.cz Katedra Katedra distribuovaných a spolehlivých systémů ...
Components and Services in Resource-Constrained Environments
Komponenty a servisy v prostředí s omezenými zdroji
Dizertační práce (OBHÁJENO)
Vedoucí práce: Plášil, František
Datum publikování: 2013
Datum obhajoby: 24. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: disertační práce Název: Komponenty a servisy v prostředí s omezenými zdroji Autor: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Katedra: Katedra distribuovaných a spolehlivých systémů Matematicko-fyzikální fakulta Univerzita Karlova ...
of Doctoral Thesis Title: Components and Services in Resource-Constrained Envi- ronments Author: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Department: Department of Distributed and Dependable Systems Faculty of Mathematics and ...
of Doctoral Thesis Title: Components and Services in Resource-Constrained Envi- ronments Author: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Department: Department of Distributed and Dependable Systems Faculty of Mathematics and ...
Efficient Representation of Program States
Reprezentace stavů programu
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2017
Datum obhajoby: 21. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme ...
Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme ...
Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme ...
Dynamic Software Architectures for Resilient Distributed Systems
Dynamické Softwarové Architektury pro Resilientní Distribuované Systémy
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2014
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Resilient Distributed Systems (RDS) are large-scale distributed systems that remain de-pendable despite their very dynamic, open-ended, and inherently unpredictable environ-ments. This combination of system and environment ...
Resilientní Distribuované Systémy (RDS) jsou ty rozsáhlé distribuované systémy, které fungují spolehlivě navzdory svému značně dynamickému, otevřenému a z principu nepředvídatelnému prostředí. Takováto kombinace systémových ...
Resilientní Distribuované Systémy (RDS) jsou ty rozsáhlé distribuované systémy, které fungují spolehlivě navzdory svému značně dynamickému, otevřenému a z principu nepředvídatelnému prostředí. Takováto kombinace systémových ...