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: Masami Hagiya 36 träffar

Titel Författare År Språk
21 Using Checkpointing and Virtualization for Fault Injection 2nd Int. Symposium on Computing and Networking Cyrille Artho 2014 Engelska
22 Modbat - A model-based API tester for event-driven systems Dependable Systems Workshop (DSW 2012) Cyrille Artho 2012 Engelska
23 Efficient Model Checking of Networked Applications TOOLS EUROPE 2008 Cyrille Artho 2008 Engelska
24 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
25 Architecture-aware Partial-order Reduction to Accelerate Model Checking of Networked Programs Denmark Roskilde Third DIKU-IST workshop Cyrille Artho 2007 Engelska
26 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
27 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
28 GRT at the SBST 2015 Tool Competition SBST 2015 Tool Competition Lei Ma 2015 Engelska
29 Software Model Checking of UDP-based Distributed Applications 2nd Int. Symposium on Computing and Networking Nazim Sebih 2014 Engelska
30 Model Checking Distributed Systems by Combining Caching and Process Checkpointing 26th Int. Conf. on Automated Software Engineering (ASE 2011) Watcharin Leungwattanakit 2011 Engelska
31 Model Checking of Concurrent Algorithms - From Java to C Conf. on Distributed and Parallel Embedded Systems (DIPES 2010) Cyrille Artho 2010 Engelska
32 Cache-based Model Checking of Networked Software Workshop on Dependability of Network Software Applications (DNSA 2010) Cyrille Artho 2010 Engelska
33 Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics - International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings Japan), Miyagi-ken International Conference IFIP TCS 2000 (2000 : Sendai-shi International Conference IFIP TCS 2000 2000 Engelska
34 DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, June 1013, 2002 Revised Papers Masami Hagiya uuuu-uuuu Okänt
35 Recent advances in natural computing: selected results from the IWNC 7 symposium 2015 Okänt
36 Natural Computing: 2Nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings (Proceedings in information and communications technology, 1) 2009 Okänt

Förra sidan 1 2

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.