Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Lochmann, Alexander"'
LockDoc is an approach to extract locking rules for kernel data structures from a dynamic execution trace recorded while the system is under a benchmark load. These locking rules can e.g. be used to locate synchronization bugs. For high rule precisio
Externí odkaz:
http://arxiv.org/abs/2009.08768
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
The first-order theory of rewriting is a decidable theory for linear variable-separated rewrite systems. The decision procedure is based on tree automata techniques and recently we completed a formalization in the Isabelle proof assistant. In this pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::cf1d566c1721b02d75de245d9ffe4ba7
http://europepmc.org/articles/PMC7984549
http://europepmc.org/articles/PMC7984549
Autor:
Lochmann, Alexander, Middeldorp, Aart
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
We present a formalized proof of the regularity of the infinity predicate on ground terms. This predicate plays an important role in the first-order theory of rewriting because it allows to express the termination property. The paper also contains a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::09e5b2f5900a6341534a1e3c60bf8cb3
http://europepmc.org/articles/PMC7480710
http://europepmc.org/articles/PMC7480710
Publikováno v:
In Journal of Controlled Release 2010 147(1):92-100
Autor:
Lochmann, Alexander
Moderne Mehrkernbetriebssysteme bieten eine Vielzahl an Synchronisationsmechanismen. Sie dienen der Realisierung von feingranularem Sperren, um dem Betriebssystem wie auch den darauf laufenden Anwendungen zu erlauben, die Leistung von modernen Mehrke
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aab94263b0f9b0c366adfe47f1370412
http://hdl.handle.net/2003/40642
http://hdl.handle.net/2003/40642
Autor:
Lochmann, Alexander, Schirmeier, Horst
LockDoc is an approach to extract locking rules for kernel data structures, based on a dynamic execution trace. The recorded trace can e.g. be used to verify existing locking documentation. LockDoc results for Linux indicated that only 53 % of all ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b3c6f677f7362686c007461f7b9cf22
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.