Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Rastislav Bodík"'
Autor:
Ali Sinan Köksal, Kirsten Beck, Dylan R. Cronin, Aaron McKenna, Nathan D. Camp, Saurabh Srivastava, Matthew E. MacGilvray, Rastislav Bodík, Alejandro Wolf-Yadlin, Ernest Fraenkel, Jasmin Fisher, Anthony Gitter
Publikováno v:
Cell Reports, Vol 24, Iss 13, Pp 3607-3618 (2018)
Summary: We present a method for automatically discovering signaling pathways from time-resolved phosphoproteomic data. The Temporal Pathway Synthesizer (TPS) algorithm uses constraint-solving techniques first developed in the context of formal verif
Externí odkaz:
https://doaj.org/article/48caac5bc5e443d090361032f80a4b17
Autor:
Grigory Fedyukovich, Rastislav Bodík
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 55-66 (2016)
We present GraSSP, a novel approach to perform automated parallelization relying on recent advances in formal verification and synthesis. GraSSP augments an existing sequential program with an additional functionality to decompose data dependencies i
Externí odkaz:
https://doaj.org/article/40666981e6ce4773b2ba4f2bd5e2ab0f
Autor:
Sirui Lu, Rastislav Bodík
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:455-487
The development of constraint solvers simplified automated reasoning about programs and shifted the engineering burden to implementing symbolic compilation tools that translate programs into efficiently solvable constraints. We describe Grisette, a r
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 22:361-377
Autor:
Rastislav Bodik
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprise
Conference
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.
Conference
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.
Conference
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.
Conference
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.
Conference
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.