( en | de | ru )

 

Disambiguierung von "Bayless, Sam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scalable constraint-based virtual data center allocation.

, , , , , und . Artif. Intell., (2020)

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.

Ebie Sam

Inn Sam

Sam Dahlgren

Andreas Sam

Sam Samnang

 

Weitere Publikationen von Autoren mit dem selben Namen

Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond., , , , und . EuroS&P, Seite 31-46. IEEE, (2016)Debugging Network Reachability with Blocked Paths., , , , , , , , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 851-862. Springer, (2021)DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories., , , , , , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 3-23. Springer, (2024)Single-Solver Algorithms for 2QBF - (Poster Presentation)., und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 487-488. Springer, (2012)Reachability Analysis for AWS-Based Networks., , , , , , , , , und 9 andere Autor(en). CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 231-241. Springer, (2019)Scalable constraint-based virtual data center allocation., , , , , und . Artif. Intell., (2020)Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog., , , , , , und . ACM Trans. Design Autom. Electr. Syst., 20 (1): 7:1-7:23 (2014)Automated Analyses of IOT Event Monitoring Systems., , , , , , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 27-39. Springer, (2023)Legends of descent: analytics in an ad-supported windows phone game., und . MobiGames@SIGCOMM, Seite 1-6. ACM, (2012)Fast, Flexible, and Minimal CTL Synthesis via SMT., , und . CAV (1), Volume 9779 von Lecture Notes in Computer Science, Seite 136-156. Springer, (2016)