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 Relaxing the Synchronous Approach for Mixed-Criticality Systems 2014 April 15-17 Germany Berlin The 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS) Eugene Yip 2014 Engelska
22 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
23 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
24 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
25 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
26 Precision Timed Infrastructure - Design Challenges 2013 May 31-June 1 USA Texas Austin Electronic System Level Synthesis Conference (ESLsyn) David Broman 2013 Engelska
27 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
28 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
29 Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems 2012 October Austria Innsbruck 6th International Workshop on Multi-Paradigm Modeling (MPM) David Broman 2012 Engelska
30 Flow Lambda Calculus for Declarative Physical Connection Semantics David Broman 2007 Engelska
31 An Assessment Model for Large Project Courses 2014 March 5-8 USA GA Atlanta 45th ACM Technical Symposium on Computer Science Education (SIGCSE 2014) Maria Vasilevskaya 2014 Engelska
32 Step Revision in Hybrid Co-simulation with FMI MEMOCODE Fabio Cremona 2016 Engelska
33 Determinate Composition of FMUs for Co-Simulation 2013 Canada Montreal International Conference on Embedded Software (EMSOFT 2013) David Broman 2013 Engelska
34 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
35 Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation Viktor Palmkvist 2024 Engelska
36 Creating domain-specific languages by composing syntactical constructs 14 January 2019 through 15 January 201 Portugal Lisbon PADL 2019 21st International Symposium on Practical Aspects of Declarative Languages Viktor Palmkvist 2019 Engelska
37 Meta-languages and semantics for equation-based modeling and simulation David Broman 2010 Engelska
38 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
39 A comparison of metacompilation approaches to implementing Modelica David Broman 2016 Engelska
40 Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics 15-17 Sept. 2020 Germany Kiel IEEE Forum for Specification and Design Languages (FDL) Saranya Natarajan 2020 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.