Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Pavle Subotic"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 169, Iss Proc. HCVS 2014, Pp 39-52 (2014)
Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in industrial and academic context. Model checking for timed automata has been studied extensiv
Externí odkaz:
https://doaj.org/article/5c263f70a11f45a28d97c1a545361574
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87291a36f6c7e376b53c8338d5c392f8
https://doi.org/10.1007/978-3-031-27481-7_7
https://doi.org/10.1007/978-3-031-27481-7_7
Publikováno v:
ACM Transactions on Programming Languages and Systems. 42:1-35
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis and network analysis. The logic specifications that model analysi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9589c47b745262580cbfa66df5a93b95
https://doi.org/10.1145/3379446
https://doi.org/10.1145/3379446
Publikováno v:
PPDP
Various incremental evaluation strategies for Datalog have been developed that reuse computations for small input changes. These methods assume that incrementalization is always a better strategy than recomputation. However, in real-world application
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f50d69a5932e14043f863c16e0a4ebd3
https://doi.org/10.1145/3479394.3479415
https://doi.org/10.1145/3479394.3479415
Autor:
Stefano Masiero, Federico Lionello, Andrea Vianello, Giovanna Arcaro, Gabriella Guarnieri, Pavle Subotic, Paolo Navalesi, Cristian Turato, Fausto Braccioni, Beatrice Molena, Leonardo Bertagna De Marchi, Martina Turrin, Chiara Giraudo
Publikováno v:
Journal of Clinical Medicine, Vol 10, Iss 3404, p 3404 (2021)
Journal of Clinical Medicine
Volume 10
Issue 15
Journal of Clinical Medicine
Volume 10
Issue 15
Background: Patients with COVID-19 may experience hypoxemic Acute Respiratory Failure (hARF) requiring O2-therapy by High-Flow Nasal Cannula (HFNO). Although Prone Positioning (PP) may improve oxygenation in COVID-19 non-intubated patients, the resul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5fc5786c5b3470fe2b94639e0f11bd30
https://www.mdpi.com/2077-0383/10/15/3404
https://www.mdpi.com/2077-0383/10/15/3404
Publikováno v:
Concurrency and Computation: Practice and Experience. 34
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8af3d2069050c1a4ea585dc2ba3b8cd1
https://doi.org/10.1002/cpe.5643
https://doi.org/10.1002/cpe.5643
Publikováno v:
PACT
Modern parallelizing Datalog compilers are employed in industrial applications such as networking and static program analysis. These applications regularly reason about equivalences, e.g., computing bitcoin user groups, fast points-to analyses, and o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6db68da30e5cd5eef788ed415f764914
https://doi.org/10.1109/pact.2019.00015
https://doi.org/10.1109/pact.2019.00015
Publikováno v:
PMAM@PPoPP
Modern Datalog engines are employed in industrial applications such as graph databases, networks, and static program analysis. To cope with the vast amount of data in these applications, Datalog engines must employ specialized parallel data structure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b7690afbb35e7d3aed27cc9e2526b640
https://doi.org/10.1145/3303084.3309490
https://doi.org/10.1145/3303084.3309490
Publikováno v:
PPoPP
Modern Datalog engines are employed in industrial applications such as graph-databases, networks, and static program analysis. To cope with vast amount of data, Datalog engines must employ parallel execution strategies, for which specialized concurre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b2626640fda9d0d462ac946913d1ceea
https://doi.org/10.1145/3293883.3295719
https://doi.org/10.1145/3293883.3295719
Autor:
Carsten Varming, Mark A. Stalzer, Catherine Dodge, Jason Reed, Temesghen Kahsai, Bill Kocik, Preethi Srinivasan, Evgenii Kotelnikov, Pavle Subotic, Jure Kukovec, Andrew Gacek, John Sizemore, Whaley Blake, Mclaughlin Sean, John Backes, Neha Rungta, Sam Bayless, Alan J. Hu, Byron Cook
Publikováno v:
Computer Aided Verification ISBN: 9783030255428
CAV (2)
CAV (2)
Cloud services provide the ability to provision virtual networked infrastructure on demand over the Internet. The rapid growth of these virtually provisioned cloud networks has increased the demand for automated reasoning tools capable of identifying
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ded918ecf6a1f1c51276415bdde3c210
https://doi.org/10.1007/978-3-030-25543-5_14
https://doi.org/10.1007/978-3-030-25543-5_14