Affichage des résultats 1 à 2 sur 2 au total
Informatique et théorie des jeux : 1 à 2 sur 2 au total
-
Communication dans un congrès
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell. Coverability in 1-VASS with Disequality Tests. 31st International Conference on Concurrency Theory, CONCUR 2020, Aug 2020, Vienna, Austria. pp.38:1--38:20, ⟨10.4230/LIPIcs.CONCUR.2020.38⟩. ⟨hal-03064637⟩
-
Thèse
Hehuan Shi. Scheduling Batching Computing and Communication Tasks : Theoretical Foundation and Algorithm Design. Computer Arithmetic. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG025⟩. ⟨tel-03205109⟩