Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Cyrille Artho 90 träffar

Titel Författare År Språk
81 Software Model Checking of UDP-based Distributed Applications 2nd Int. Symposium on Computing and Networking Nazim Sebih 2014 Engelska
82 Effects of Memory Randomization, Sanitization and Page Cache on Memory Deduplication European Workshop on System Security (EuroSec 2012) Kuniyasu Suzaki 2012 Engelska
83 Memory Deduplication as a Threat to the Guest OS European Workshop on System Security (EuroSec 2011) Kuniyasu Suzaki 2011 Engelska
84 Moving from logical sharing of guest OS to physical sharing of deduplication on virtual machine 5th USENIX Workshop on Hot Topics in Security (HotSec 2010) Kuniyasu Suzaki 2010 Engelska
85 Software Side Channel Attack on Memory Deduplication Poster session ACM Symposium on Operating Systems Principles (SOSP 2011) Kuniyasu Suzaki 2011 Engelska
86 Cardinality of UDP Transmission Outcomes SETTA 2015; Nanjing; China; 4 November 2015 through 6 November 2015 and Applications Tools 1st International Symposium on Dependable Software Engineering: Theories Franz Weitl 2015 Engelska
87 Greedy combinatorial test case generation using unsatisfiable cores 3 September 2016 through 7 September 2016 Singapore Singapore Management UniversitySingapore ASE 2016 31st IEEE/ACM International Conference on Automated Software Engineering Akihisa Yamada 2016 Engelska
88 Optimization of Combinatorial Testing by Incremental SAT Solving 13 April 2015 through 17 April 2015 Austria Graz ICST 2015 Verification and Validation 8th IEEE International Conference on Software Testing Akihisa Yamada 2015 Engelska
89 Runtime Monitoring for Concurrent Systems 23 September 2016 through 30 September 2016 Spain Madrid RV 2016 16th International Conference on Runtime Verification Yoriyuki Yamagata 2016 Engelska
90 Model-based System Testing of Safety-Critical Embedded Software Muhammad Nouman Zafar 2022 Engelska

Förra sidan 1 2 3 4 5

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.