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: David Broman 53 träffar

Titel Författare År Språk
21 A comparison of metacompilation approaches to implementing Modelica 2011 Engelska
22 Step Revision in Hybrid Co-simulation with FMI MEMOCODE Fabio Cremona 2016 Engelska
23-24 Proc eedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zurich, Switzerland, September 5, 2011 (flera utgåvor) International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools 2011 : Zürich) 2011 Engelska
25 Time for Reactive System Modeling - Interactive Timing Analysis with Hotspot Highlighting 24th International Conference on Real-Time Networks and Systems (RTNS) Insa Fuhrmann 2016 Engelska
26 Automatic Diversity in the Software Supply Chain Nicolas Harrand 2021 Engelska
27 Software Diversity for Third-Party Dependencies Nicolas Harrand 2022 Engelska
28 The Behavioral Diversity of Java JSON Libraries International Symposium on Software Reliability Engineering (ISSRE) Nicolas Harrand 2021 Engelska
29 A PRET microarchitecture implementation with repeatable timing and competitive performance Canada QC Montreal 30 september - 3 October 2012 IEEE 30th International Conference on Computer Design(ICCD 2012) Liu Isaac 2012 Engelska
30 Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems using Bayesian Classification 1-3 Aug. 2016 Austria Reliability & Security (QRS),Vienna Proceedings of IEEE International Conference on Software Quality Leif Jonsson 2016 Engelska
31 Machine learning-based bug handling in large-scale software development Leif Jonsson 2018 Engelska
32 A Predictable and Command- Level Priority-Based DRAM Controller for Mixed-Criticality Systems The 21th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) Hokeun Kim 2015 Engelska
33 A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things 18-21 April 2017 USA PA Proceedings of the Second International Conference on Internet-of-Things Design and Implementation,Pittsburgh Hokeun Kim 2017 Engelska
34 WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores 2014 Germany Berlin 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS) Yooseong Kim 2014 Engelska
35 MORAP - a Modular Robotic Arm Platform for Teaching and Experimenting with Equation-based Modeling Languages Work in Progress EOOLT 2016; Milano; Italy; 18 April 2016. 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Viktor Kozma 2016 Engelska
36 Automatic Alignment in Higher-Order Probabilistic Programming Languages 2023. April 22–27 France Paris ETAPS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software ESOP 2023 32nd European Symposium on Programming Daniel Lundén 2023 Engelska
37 Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference 2022 April 2-7 Germany Munich ETAPS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software ESOP 2022 Programming Languages and Systems - 31st European Symposium on Programming Daniel Lundén 2022 Engelska
38 Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages Daniel Lundén 2023 Engelska
39 Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages 30th European Symposium on Programming (ESOP) 27 March-1 April 2021 online Daniel Lundén 2021 Engelska
40 Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs Canary Islands; Spain; 9 April 2018 through 11 April 2018 Lanzarote AISTATS 2018; Playa Blanca International Conference on Artificial Intelligence and Statistics (AISTATS)21st International Conference on Artificial Intelligence and Statistics Lawrence Murray 2018 Engelska

Förra sidan 1 2 3 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.