E-LIB Suche - Ergebnisse für: Roscoe, Timothy

1

High Throughput Hardware Accelerated CoreSight Trace Decodi..:

, In: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE),

Weingarten, Matthew Edwin ; Hossle, Nora ; Roscoe, Timothy - p. 1-6 , 2024

Link: https://doi.org/10.23919..

2

Putting out the hardware dumpster fire:

, In: Proceedings of the 19th Workshop on Hot Topics in Operating Systems,

Fiedler, Ben ; Schwyn, Daniel ; Gierczak-Galle, Constantin.. - p. 46-52 , 2023

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

3

Specifying the de-facto OS of a production SoC:

, In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,

Fiedler, Ben ; Meier, Roman ; Schult, Jasmin.. - p. 18-25 , 2023

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

4

Function as a Function:

, In: Proceedings of the 2023 ACM Symposium on Cloud Computing,

Kuchler, Tom ; Giardino, Michael ; Roscoe, Timothy. - p. 81-92 , 2023

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

5

Enzian: an open, general, CPU/FPGA platform for systems sof..:

, In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Cock, David ; Ramdas, Abishek ; Schwyn, Daniel... - p. 434-451 , 2022

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

6

Generating correct initial page tables from formal hardware..:

, In: Proceedings of the 11th Workshop on Programming Languages and Operating Systems,

Achermann, Reto ; Cock, David ; Haecki, Roni... - p. 69-75 , 2021

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

7

mmapx : uniform memory protection in a heterogeneous wor..:

, In: Proceedings of the Workshop on Hot Topics in Operating Systems,

Achermann, Reto ; Cock, David ; Haecki, Roni... - p. 159-166 , 2021

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

8

Declarative Power Sequencing:

Schult, Jasmin ; Schwyn, Daniel ; Giardino, Michael...
ACM Transactions on Embedded Computing Systems. 20 (2021) 5s - p. 1-21 , 2021

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

9

A Model-Checked I2C Specification:

, In: Model Checking Software; Lecture Notes in Computer Science,

Humbel, Lukas ; Schwyn, Daniel ; Hossle, Nora... - p. 177-193 , 2021

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

10

Declarative Power Sequencing:

Schult, Jasmin ; Schwyn, Daniel ; Giardino, Michael...
ACM Transactions on Embedded Computing Systems (TECS). 20 (2021) 5s - p. 1-21 , 2021

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

11

Mitosis: Transparently Self-Replicating Page-Tables for Lar..:

, In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems,

Achermann, Reto ; Panwar, Ashish ; Bhattacharjee, Abhishek.. - p. 283-300 , 2020

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

12

Shared arrangements: practical inter-query sharing for stre..:

McSherry, Frank ; Lattuada, Andrea ; Schwarzkopf, Malte.
Proceedings of the VLDB Endowment. 13 (2020) 10 - p. 1793-1806 , 2020

Link: https://doi.org/10.14778..

13

A new system architecture for heterogeneous compute units:

Asmussen, Nils , 2019

Link: https://nbn-resolving.de..

14

A fork() in the road:

, In: Proceedings of the Workshop on Hot Topics in Operating Systems,

Baumann, Andrew ; Appavoo, Jonathan ; Krieger, Orran. - p. 14-22 , 2019

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

15

Memory-Side Protection With a Capability Enforcement Co-Pro..:

Azriel, Leonid ; Humbel, Lukas ; Achermann, Reto...
ACM Transactions on Architecture and Code Optimization. 16 (2019) 1 - p. 1-26 , 2019

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