Zobrazeno 1 - 10
of 323
pro vyhledávání: '"A, Laukó"'
Autor:
Duret-Lutz, Alexandre, Renault, Etienne, Colange, Maximilien, Renkin, Florian, Gbaguidi, Alexandre, Schlehuber-Caissier, Philipp, Medioni, Thomas, Martin, Antoine, Dubois, Jérôme, Gillard, Clément, Lauko, Henrich
Publikováno v:
Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel
Spot is a C ++ 17 library for LTL and $\omega$-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support
Externí odkaz:
http://arxiv.org/abs/2206.11366
Publikováno v:
EGRAPHS 2022
In this submission, we explore the use of equality saturation to optimize concurrent computations. A concurrent environment gives rise to new optimization opportunities, like extracting a common concurrent subcomputation. To our knowledge, no existin
Externí odkaz:
http://arxiv.org/abs/2208.06295
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.
Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic data. In this paper, we show that it is feasible, and in fact practic
Externí odkaz:
http://arxiv.org/abs/1806.03959
Autor:
Bhardwaj, Gaurav, O’Connor, Jacob, Rettie, Stephen, Huang, Yen-Hua, Ramelot, Theresa A., Mulligan, Vikram Khipple, Alpkilic, Gizem Gokce, Palmer, Jonathan, Bera, Asim K., Bick, Matthew J., Di Piazza, Maddalena, Li, Xinting, Hosseinzadeh, Parisa, Craven, Timothy W., Tejero, Roberto, Lauko, Anna, Choi, Ryan, Glynn, Calina, Dong, Linlin, Griffin, Robert, van Voorhis, Wesley C., Rodriguez, Jose, Stewart, Lance, Montelione, Gaetano T., Craik, David, Baker, David
Publikováno v:
In Cell 15 September 2022 185(19):3520-3532
Autor:
Lauko, Adam, Volovetz, Josephine, Turaga, Soumya M., Bayik, Defne, Silver, Daniel J., Mitchell, Kelly, Mulkearns-Hubert, Erin E., Watson, Dionysios C., Desai, Kiran, Midha, Manav, Hao, Jing, McCortney, Kathleen, Steffens, Alicia, Naik, Ulhas, Ahluwalia, Manmeet S., Bao, Shideng, Horbinski, Craig, Yu, Jennifer S., Lathia, Justin D.
Publikováno v:
In Cell Reports 13 September 2022 40(11)
Publikováno v:
In Seminars in Cancer Biology July 2022 82:162-175
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.
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.
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.