Výsledky vyhledávání - "real-time OS"

Hubs for VirtuosoNext: Online verification of real-time coordinators

Autor: José Proença, Eric Verhulst, Bernhard H. C. Sputh, Guillermina Cledou

Publikováno v: Science of Computer Programming
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

VirtuosoNextTM is a distributed real-time operating system (RTOS) featuring a generic programming model dubbed Interacting Entities. This paper focuses on these interactions, implemented as so-called Hubs. Hubs act as synchronisation and communicatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fcf0605a771df1e24dc1c03dd2ed22f

Zobrazit plný text záznamu

Verification of Real-Time Coordination in VirtuosoNext (extended version)

Autor: Cledou, Guillermina, Proença, José, Sputh, Bernhard H.C., Verhulst, Eric

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::103b3ad69e40b5d54f72aaae4dba8e39

Zobrazit plný text záznamu

An Open-Source Scalable Thermal and Power Controller for HPC Processors

Autor: Andrea Bartolini, Robert Balas, Andrea Tilli, Simone Benatti, Luca Benini, Giovanni Bambini, Christian Conficoni

Publikováno v: ICCD
2020 IEEE 38th International Conference on Computer Design (ICCD)

In the last decade, high performance multi-core processor designs have followed an increase in number of cores, interfaces, heterogeneity and System-on-chip (SoC) complexity. HPC applications also require tailored chip designs with specific operating

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1589c1e33c6dc8e9b43f3654b57cce3
http://hdl.handle.net/11585/788609

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System

Autor: Roberto Natella, Domenico Cotroneo, Roberto Pietrantuono, Domenico Di Leo

Publikováno v: EDCC

The reuse of Open Source Software (OSS) for safetycritical systems is seen with interest by industries, such as automotive, medical, and aerospace, as it enables shorter time-tomarket and lower development costs. However, safety certification demands

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15641f4bf7b03f5a74d931db00d5be39
https://doi.org/10.1109/edcc.2016.22

Zobrazit plný text záznamu

Bringing Hardware Multithreading to the Real-Time Domain

Autor: Tiago Gomes, Paulo A. Garcia, João L. Monteiro, Adriano Tavares, Sandro Pinto

Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

The emergence of hardware multithread (HW-MT) architectures increased the performance of MT applications. However, traditional HW-MT architectures are not suitable to real-time operating systems as their performance-oriented scheduling algorithm may

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b001cd741460ed485bf06f33da297645

Zobrazit plný text záznamu

New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems

Autor: Aymen Gammoudi, Daniel Chillet, Mohamed Khalgui, Adel Benzina

Publikováno v: International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 15
International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 15, University of Naples "Federico II", ITALY, Sep 2015, Naples, Italy. ⟨10.1007/978-3-319-22689-7_6⟩
Communications in Computer and Information Science ISBN: 9783319226880
SoMeT

International audience; This paper addresses the management of tasks execution for real-time reconfigurable systems powered by battery. In this context, one of major problem concerns the management of battery life between two different recharges. For

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fb000dd1c5e2e5b4e318728ba349b06
https://inria.hal.science/hal-01241877

Zobrazit plný text záznamu

Development and demonstration of micro satellite using Spacecube

Autor: Yoshimitsu, Tetsuo, Watanabe, Shin, Takahashi, Tadayuki, Nakazawa, Kazuhiro, Toda, Tomoaki, Sone, Yoshitsugu, Takashima, Takeshi, Saito, Yoshitaka, Nomachi, Masaharu, Noda, Atsushi

Publikováno v: 第5回宇宙科学シンポジウム = Proceedings of the 5th Space Science Symposium. :541-544

宇宙機のバスに関する考え方について簡単に述べる。その後、Space WireネットワークバスとSpacecube CPUボックスについて説明し、これらを用いた小型衛星の枠組みについて提案する。さら�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::fc47b541789252a86bc979d562597292
http://id.nii.ac.jp/1696/00011378/

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání