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 85 träffar

Titel Författare År Språk
61 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
62 Memory Deduplication as a Threat to the Guest OS European Workshop on System Security (EuroSec 2011) Kuniyasu Suzaki 2011 Engelska
63 Distance-Integrated Combinatorial Testing 27th IEEE Int. Symposium on Software Reliability Engineering (ISSRE 2016) Eun-Hye Choi 2016 Engelska
64 Priority Integration for Weighted Combinatorial Testing COMPSAC 2015 39th IEEE Annual Computer Software and Applications Conf. Eun-Hye Choi 2015 Engelska
65 Design of Prioritized N-Wise Testing 26th IFIP WG Int. Conf. on Testing Software and Systems (ICTSS 2014) Eun-Hye Choi 2014 Engelska
66 Combined Static and Dynamic Analysis Cyrille Artho 2005 Engelska
67 Software Model Checking of UDP-based Distributed Applications 2nd Int. Symposium on Computing and Networking Nazim Sebih 2014 Engelska
68 GRT - An Automated Test Generator using Orchestrated Program Analysis 30th Int. Conf. on Automated Software Engineering (ASE 2015) Lei Ma 2015 Engelska
69 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
70 Combined Static and Dynamic Analysis 1st Int. Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL 2005) Cyrille Artho 2005 Engelska
71 Model Checking Distributed Systems by Combining Caching and Process Checkpointing 26th Int. Conf. on Automated Software Engineering (ASE 2011) Watcharin Leungwattanakit 2011 Engelska
72 Liveness Checking as Safety Checking 7th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS’02) Armin Biere 2002 Engelska
73 Model Checking of Concurrent Algorithms - From Java to C Conf. on Distributed and Parallel Embedded Systems (DIPES 2010) Cyrille Artho 2010 Engelska
74 The Quest for Precision - A Layered Approach for Data Race Detection in Static Analysis 11th Int. Symposium on Automated Technology for Verification and Analysis (ATVA 2013) Jakob Mund 2013 Engelska
75 Separation of Transitions, Actions, and Exceptions in Model-based Testing 12th Int. Conf. on Computer Aided Systems Theory (Eurocast 2009) Cyrille Artho 2009 Engelska
76 Cache-based Model Checking of Networked Software Workshop on Dependability of Network Software Applications (DNSA 2010) Cyrille Artho 2010 Engelska
77 Efficient Model Checking of Applications with I/O 11th Int. Conf. on Computer Aided Systems Theory (Eurocast 2007) Cyrille Artho 2007 Engelska
78 Visualization of Concurrent Program Executions Cyrille Artho 2007 Engelska
79 Security-Aware Multi-User Architecture for IoT And Security (QRS'21) Reliability 21st IEEE International Conference on Software Quality Marcus Birgersson 2021 Engelska
80 Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder 18th Int. Conf. on Formal Engineering Methods (ICFEM 2016) Saurabh Gadia 2016 Engelska

Förra sidan 1 2 3 4 5 Nästa sida

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.