( en | de | ru )

 

Disambiguierung von "Ryzhyk, Leonid"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.

, , , , , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Leonid Mytnik

Leonid Tzibrouk

Leonid Mindel

Leonid Goubergrits

Leonid Kasakov

 

Weitere Publikationen von Autoren mit dem selben Namen

Automating Cluster Management with Weave., , , , , , , , , und . CoRR, (2019)BDD-Based Algorithms for Packet Classification., , , und . FMCAD, Seite 64-68. IEEE, (2019)Efficient Synthesis for Concurrency by Semantics-Preserving Transformations., , , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 951-967. Springer, (2013)Differential Datalog., und . Datalog, Volume 2368 von CEUR Workshop Proceedings, Seite 56-67. CEUR-WS.org, (2019)Synthesizing Cluster Management Code for Distributed Systems., , , , , und . HotOS, Seite 45-50. ACM, (2019)The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results., , , , , , , , , und 6 andere Autor(en). SYNT@CAV, Volume 229 von EPTCS, Seite 149-177. (2016)Building Scalable and Flexible Cluster Managers Using Declarative Programming., , , , , , , , , und . OSDI, Seite 827-844. USENIX Association, (2020)Optimizing Solution Quality in Synchronization Synthesis., , , , , , und . CoRR, (2015)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2015)DBSP: Automatic Incremental View Maintenance for Rich Query Languages., , , und . CoRR, (2022)