( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.

, , , , , , и . CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 180-197. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Leonid Rothe

Leonid Bock

Leonid Mytnik

Leonid Tzibrouk

Leonid Mindel

 

Другие публикации лиц с тем же именем

Building Scalable and Flexible Cluster Managers Using Declarative Programming., , , , , , , , , и . OSDI, стр. 827-844. USENIX Association, (2020)Synthesizing Cluster Management Code for Distributed Systems., , , , , и . HotOS, стр. 45-50. ACM, (2019)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , и . CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 180-197. Springer, (2015)SAT-Based Strategy Extraction in Reachability Games., , , и . AAAI, стр. 3738-3745. AAAI Press, (2015)Full-stack SDN., , , и . HotNets, стр. 130-137. ACM, (2022)BDD-Based Algorithms for Packet Classification., , , и . FMCAD, стр. 64-68. IEEE, (2019)Differential Datalog., и . Datalog, том 2368 из CEUR Workshop Proceedings, стр. 56-67. CEUR-WS.org, (2019)Efficient Synthesis for Concurrency by Semantics-Preserving Transformations., , , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 951-967. Springer, (2013)DBSP: Incremental Computation on Streams and Its Applications to Databases., , , , и . SIGMOD Rec., 53 (1): 87-95 (марта 2024)Cloud-Scale Runtime Verification of Serverless Applications., , , и . SoCC, стр. 92-107. ACM, (2021)