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
41 Efficient Model Checking of Networked Applications TOOLS EUROPE 2008 Cyrille Artho 2008 Engelska
42 Software Side Channel Attack on Memory Deduplication Poster session ACM Symposium on Operating Systems Principles (SOSP 2011) Kuniyasu Suzaki 2011 Engelska
43 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
44 High-Level Data Races 1st Int. Workshop on Verification and Validation of Enterprise Information Systems Cyrille Artho 2003 Engelska
45 Combinatorial Testing using Tree-based Test Models with Propositional Logic Constraints Reliability and Security (QRS 2015) IEEE Int. Conf. on Software Quality Takashi Kitamura 2015 Engelska
46 Architecture-aware Partial-order Reduction to Accelerate Model Checking of Networked Programs Denmark Roskilde Third DIKU-IST workshop Cyrille Artho 2007 Engelska
47 Efficient Model Checking of Applications with Input/Output EUROCAST 2007 Cyrille Artho 2007 Engelska
48 Experiments with Test Case Generation and Runtime Analysis 10th Int. Workshop on Abstract State Machines (ASM 2003) Cyrille Artho 2003 Engelska
49 Software Model Checking for Distributed Systems with Selector-Based, Non-Blocking Communication 28th Int. Conf. on Automated Software Engineering (ASE 2013) Cyrille Artho 2013 Engelska
50 Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs And Parallel/Distributed Computing (SNPD 2008) Networking Artificial Intelligence 9th Int. Conf. on Software Engineering Cyrille Artho 2008 Engelska
51 Iterative Delta Debugging 4th Haifa Verification Conference (HVC 2008) Cyrille Artho 2008 Engelska
52 Model Checking Networked Programs in the Presence of Transmission Failures 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007) Cyrille Artho 2007 Engelska
53 Accurate Centralization for Applying Model Checking on Networked Applications 21st Int. Conf. on Automated Software Engineering (ASE 2006) Cyrille Artho 2006 Engelska
54 GRT - Program-Analysis-Guided Random Testing 30th Int. Conf. on Automated Software Engineering (ASE 2015) Lei Ma 2015 Engelska
55 Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis Analysis and Transformation (BYTECODE 2005) Verification 1st Workshop on Bytecode Semantics Cyrille Artho 2005 Engelska
56 GRT at the SBST 2015 Tool Competition SBST 2015 Tool Competition Lei Ma 2015 Engelska
57 Analyzing Distributed Java Applications by Automatic Centralization IEEE Int. Workshop on Tools in Process (TiP 2013) Lei Ma 2013 Engelska
58 Domain-Specific Languages with Scala 17th Int. Conf. on Formal Engineering Methods (ICFEM 2015) Cyrille Artho 2015 Engelska
59 Iterative Delta Debugging 19th IFIP Int. Conf. on Testing of Communicating Systems (TESTCOM 2007) Cyrille Artho 2007 Engelska
60 Project Centralization Based on Graph Coloring ACM 29th Annual Symposium on Applied Computing (SAC 2014) Lei Ma 2014 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.