E-LIB Suche - Ergebnisse für: Broman, David

1

Exact Worst-Case Execution-Time Analysis for Implicit Model..:

Arnström, Daniel ; Broman, David ; Axehill, Daniel
IEEE Transactions on Automatic Control. , 2024

Link: https://doi.org/10.1109/..

2

Suspension Analysis and Selective Continuation-Passing Styl..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lundén, Daniel ; Hummelgren, Lars ; Kudlicka, Jan.. - p. 302-330 , 2024

Link: https://doi.org/10.1007/..

3

Automatic Alignment in Higher-Order Probabilistic Programmi..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lundén, Daniel ; Çaylak, Gizem ; Ronquist, Fredrik. - p. 535-563 , 2023

Link: https://doi.org/10.1007/..

4

What are the fundamental software abstractions for designin..:

Broman, David ; Woodcock, Jim
Research Directions: Cyber-Physical Systems. 1 (2023) - p. , 2023

Link: https://doi.org/10.1017/..

5

Partial Evaluation of Automatic Differentiation for Differe..:

, In: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Eriksson, Oscar ; Palmkvist, Viktor ; Broman, David - p. 57-71 , 2023

Link: https://dl.acm.org/doi/1..

6

Online tree expansion could help solve the problem of scala..:

Truszkowski, Jakub ; Perrigo, Allison ; Broman, David...
Systematic Biology. 72 (2023) 5 - p. 1199-1206 , 2023

Link: https://doi.org/10.1093/..

7

Logical Time for Reactive Software:

, In: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023,

Lohstroh, Marten ; Lee, Edward A. ; Edwards, Stephen A.. - p. 313-318 , 2023

Link: https://dl.acm.org/doi/1..

8

Statically Resolvable Ambiguity:

Palmkvist, Viktor ; Castegren, Elias ; Haller, Philipp.
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1686-1712 , 2023

Link: https://doi.org/10.1145/..

9

Stochastic Approximation for Identification of Non-Linear D..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),

Bereza, Robert ; Eriksson, Oscar ; Abdalmoaty, Mohamed R.-H... - p. 6712-6717 , 2022

Link: https://doi.org/10.1109/..

10

Compiling Universal Probabilistic Programming Languages wit..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lundén, Daniel ; Öhman, Joey ; Kudlicka, Jan... - p. 29-56 , 2022

Link: https://doi.org/10.1007/..

11

TECoSA – Trends, Drivers, and Strategic Directions for Trus..:

Gross, James ; Törngren, Martin ; Dán, György...
INSIGHT. 25 (2022) 4 - p. 29-34 , 2022

Link: https://doi.org/10.1002/..

12

Interactive Programmatic Modeling:

Broman, David
ACM Transactions on Embedded Computing Systems. 20 (2021) 4 - p. 1-26 , 2021

Link: https://doi.org/10.1145/..

13

Correctness of Sequential Monte Carlo Inference for Probabi..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lundén, Daniel ; Borgström, Johannes ; Broman, David - p. 404-431 , 2021

Link: https://doi.org/10.1007/..

14

Interactive Programmatic Modeling:

Broman, David
ACM Transactions on Embedded Computing Systems (TECS). 20 (2021) 4 - p. 1-26 , 2021

Link: https://dl.acm.org/doi/1..

15

Publisher Correction: Universal probabilistic programming o..:

Ronquist, Fredrik ; Kudlicka, Jan ; Senderov, Viktor...
Communications Biology. 4 (2021) 1 - p. , 2021

Link: https://doi.org/10.1038/..