ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "concurrency errors"
concurrency errors
Publikace
Předměty
Osoby
Publikace
Studium
publication
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking
2019 |
Matematicko-fyzikální fakulta
publication
Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí
+2
2007 |
Matematicko-fyzikální fakulta
publication
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs
2020 |
Matematicko-fyzikální fakulta
publication
Automatická konstrukce přiměřeného prostředí pro Java komponenty
2009 |
Matematicko-fyzikální fakulta
publication
Heuristická redukce paralelismu v prostředí komponenty
Publikace bez příslušnosti k fakultě
publication
Formální verifikace komponent v Javě
2008 |
Matematicko-fyzikální fakulta
publication
Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů
2010 |
Matematicko-fyzikální fakulta
publication
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
2023 |
Matematicko-fyzikální fakulta
publication
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information
2016 |
Matematicko-fyzikální fakulta
publication
Hybrid Analysis for Partial Order Reduction of Programs with Arrays
2016 |
Matematicko-fyzikální fakulta
publication
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads
Publikace bez příslušnosti k fakultě