( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synchronization Schemas.

, , , , , , , , и . PODS, стр. 1-18. ACM, (2021)

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.

Caleb Mireri

Wolf Calebow

Wolf Calebow

Caleb Hughes

Caleb Wall

 

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

Automata-Based Stream Processing., , и . ICALP, том 80 из LIPIcs, стр. 112:1-112:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Incremental Dead State Detection in Logarithmic Time., и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 241-264. Springer, (2023)Stream Types., , , , , , и . Proc. ACM Program. Lang., 8 (PLDI): 1412-1436 (2024)DiffStream: differential output testing for stream processing programs., , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 153:1-153:29 (2020)Symbolic Boolean derivatives for efficiently solving extended regular expression constraints., , и . PLDI, стр. 620-635. ACM, (2021)Streamable regular transductions., , , , и . Theor. Comput. Sci., (2020)Counterexamples in Safe Rust., и . ASE Workshops, стр. 128-135. ACM, (2024)Data-trace types for distributed stream processing systems., , , , и . PLDI, стр. 670-685. ACM, (2019)Correctness in Stream Processing: Challenges and Opportunities., , и . CIDR, www.cidrdb.org, (2022)Interfaces for Stream Processing Systems., , , и . Principles of Modeling, том 10760 из Lecture Notes in Computer Science, стр. 38-60. Springer, (2018)