Treffer 1 - 20 von 15.883.650

1

DAVOS: An Autonomous Vehicle Operating System in the Vehicle Computing Era
Wang, Yuxin ; He, Yuankai ; Tian, Boyang ; et al.

Operating Systems Robotics 68M20
Report
Merkliste
2

HALO: A Fine-Grained Resource Sharing Quantum Operating System
Ye, John Zhuoyang ; Wang, Jiyuan ; Qiao, Yifan ; et al.

Operating Systems Quantum Physics
Report
Merkliste
3

Toward Ubiquitous Operating Systems: Lessons from the Field.
Luo, Chu ; Kostakos, Vassilis
Communications of the ACM; Oct2025, Vol. 68 Issue 10, p24-27, 4p

UBIQUITOUS computing MOBILE operating systems COMPUTER software develo... INTERNET of things SMARTPHONES
Zeitschrift
Merkliste
4

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
Zhao, Xinkui ; Zhang, Yifan ; Zhao, Haidan ; et al.

Operating Systems Systems and Control
Report
Merkliste
5

A unified framework for detecting point and collective anomalies in operating system logs via collaborative transformers
Nasirzadeh, Mohammad ; Tahmoresnezhad, Jafar ; Rashidi-Khazaee, Parviz
Scientific Reports 15, 45698 (2025)

Machine Learning Artificial Intelligence Computer Vision and Patt... Networking and Internet... Operating Systems
Report
Merkliste
6

Principled Performance Tunability in Operating System Kernels
Chen, Zhongjie ; Zhang, Wentao ; Tang, Yulong ; et al.

Operating Systems
Report
Merkliste
7

OS-R1: Agentic Operating System Kernel Tuning with Reinforcement Learning
Lin, Hongyu ; Li, Yuchen ; Luo, Haoran ; et al.

Machine Learning Artificial Intelligence Operating Systems Software Engineering
Report
Merkliste
8

MaLV-OS: Rethinking the Operating System Architecture for Machine Learning in Virtualized Clouds
Bitchebe, Stella ; Balmau, Oana

Operating Systems Machine Learning
Report
Merkliste
9

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
Li, Shangyu ; Jiang, Juyong ; Zhao, Tiancheng ; et al.

Computation and Language Artificial Intelligence Operating Systems Programming Languages Software Engineering
Report
Merkliste
10

Ariel OS: An Embedded Rust Operating System for Networked Sensors & Multi-Core Microcontrollers
Frank, Elena ; Schleiser, Kaspar ; Fouquet, Romain ; et al.
International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT) 2025

Operating Systems
Report
Merkliste
11

LithOS: An Operating System for Efficient Machine Learning on GPUs
Coppock, Patrick H. ; Zhang, Brian ; Solomon, Eliot H. ; et al.

Computer Science - Opera... Computer Science - Machi...
Report
Merkliste
12

Linux operating system : a complete Linux guide for beginners
Computer fundamentals: Linux operating system

Packt Publishing, publisher, production company. ; Choudhary Ankush, speaker.

Video
Merkliste
13

BYOS: Knowledge-driven Large Language Models Bring Your Own Operating System More Excellent
Lin, Hongyu ; Li, Yuchen ; Luo, Haoran ; et al.

Operating Systems Software Engineering
Report
Merkliste
14

Review of Formal Specification and Verification for Operating Systems
WANG Zi, WANG Hongqiang, YANG Xiaoyi, LAN Yuqing
Jisuanji gongcheng, Vol 52, Iss 2, Pp 24-45 (2026)

operating system (os) formal method formal specification formal verification system security Computer engineering. Co...
Fachzeitschrift
Merkliste
15

CHRONOS: Compensating Hardware Related Overheads with Native Multi Timer Support for Real-Time Operating Systems
Heider, Kay ; Hakert, Christian ; Chen, Kuan-Hsun ; et al.

Computer Science - Opera...
Report
Merkliste
16

Comprehensive Survey of LLM-based Agent Operating Systems
GUO Luxiang, WANG Yueyu, LI Qianyue, LI Shasha, LIU Xiaodong, JI Bin, YU Jie
Jisuanji kexue, Vol 53, Iss 1, Pp 1-11 (2026)

large language model agent os general artificial intel... agent traditional operating sy... Computer software
Fachzeitschrift
Merkliste
17

A Survey of Fuzzing Open-Source Operating Systems
Hu, Kun ; Chen, Qicai ; Zhang, Wenzhuo ; et al.

Operating Systems Cryptography and Securit... Software Engineering
Report
Merkliste
18

Securing Operating Systems Through Fine-grained Kernel Access Limitation for IoT Systems
Zhan, Dongyang ; Yu, Zhaofeng ; Yu, Xiangzhan ; et al.
IEEE Internet of Things Journal (IOTJ), 10(6):5378-5392, 2023

Cryptography and Securit...
Report
Merkliste
19

Multifractal characterization of energy consumption in operating systems using empirical mode decomposition
Pavón-Domínguez, Pablo ; de la Torre, Juan Carlos ; Ambrosio-Costoya, Alba ; et al.
In Computers and Electrical Engineering January 2026 129 Part B

Fachzeitschrift
Merkliste
20

HyperGraph ROS: An Open-Source Robot Operating System for Hybrid Parallel Computing based on Computational HyperGraph
Zhang, Shufang ; Wu, Jiazheng ; He, Jiacheng ; et al.

Computer Science - Robot... Computer Science - Opera...
Report
Merkliste

Filter