Segui
Daniel Bristot de Oliveira
Daniel Bristot de Oliveira
Red Hat
Email verificata su redhat.com - Home page
Titolo
Citata da
Citata da
Anno
Timing analysis of the PREEMPT RT Linux kernel
DB De Oliveira, RS De Oliveira
Software: Practice and Experience 46 (6), 789-819, 2016
302016
Demystifying the real-time linux scheduling latency
DB de Oliveira, D Casini, RS de Oliveira, T Cucinotta
32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020
122020
Efficient formal verification for the Linux kernel
DB Oliveira, T Cucinotta, RS Oliveira
International Conference on Software Engineering and Formal Methods, 315-332, 2019
92019
Automata-based modeling of interrupts in the Linux PREEMPT RT kernel
DB de Oliveira, RS de Oliveira, T Cucinotta, L Abeni
2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017
82017
Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel
D Bristot de Oliveira, R Silva de Oliveira, T Cucinotta
2019 IEEE 22nd International Symposium on Real-Time Distributed Computing …, 2019
72019
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
DB de Oliveira, RS de Oliveira, T Cucinotta
62018
Comparative analysis of trace tools for real-time Linux
DB de Oliveira, RS de Oliveira
IEEE Latin America Transactions 12 (6), 1134-1140, 2014
52014
A thread synchronization model for the PREEMPT_RT Linux kernel
DB de Oliveira, RS de Oliveira, T Cucinotta
Journal of Systems Architecture 107, 101729, 2020
42020
An empirical study on the adequacy of mbpta for tasks executed on a complex computer architecture with linux
KP Silva, LF Arcaro, DB de Oliveira, RS de Oliveira
2018 IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018
42018
Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux
DB de Oliveira, D Casini, RS de Oliveira, T Cucinotta, A Biondi, ...
42018
Deadline scheduling Part 1 - overview and theory
DB de Oliveira
URL: https://lwn.net/Articles/743740/, 2018
2*2018
Mind the gap between real-time Linux and real-time theory, Part II,” 2018
DB de Oliveira
URL: https://www. linuxplumbersconf. org/event/2/contributions/75, 0
2
Mind the gap between real-time Linux and real-time theory, Part II [online](2018)
DB de Oliveira
URL: https://www. linuxplumbersconf. org/event/2/contributions/75, 0
2
Operating System Noise in the Linux Kernel
DB de Oliveira, D Casini, T Cucinotta
IEEE Transactions on Computers, 2022
2022
Integrating Unikernel Optimizations in a General Purpose OS
A Raza, T Unger, M Boyd, E Munson, P Sohal, U Drepper, R Jones, ...
arXiv preprint arXiv:2206.00789, 2022
2022
An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux
A Stevanato, T Cucinotta, L Abeni, DB De Oliveira
2021 IEEE 24th International Symposium on Real-Time Distributed Computing …, 2021
2021
Automata-based formal analysis and verification of the real-time Linux kernel
DB Oliveira
2020
Demystifying the Real-Time Linux Scheduling Latency (Artifact)
DB de Oliveira, D Casini, RS de Oliveira, T Cucinotta
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020
2020
Deadline scheduler Part 2 - details and usage
DB de Oliveira
URL: https://lwn.net/Articles/743740/, 2018
2018
Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model
DB de Oliveira, RS de Oliveira
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1543-1544, 2014
2014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20