Results 51 to 60 of about 3,968 (305)
Widening the Schedulability of Hierarchical Scheduling Systems [PDF]
, 2015 This paper presents a compositional approach for schedulability analysis of hierarchical systems, which enables to prove more systems schedulable by having richer and more detailed scheduling models. We use a lightweight method (statistical model checking) for design exploration, easily assuring high confidence in the correctness of the model.
Abdeldjalil Boudjadar +6 more
openaire +1 more source
New schedulability analysis for WiDom [PDF]
, 2010 WiDom is a wireless prioritized medium access control (MAC) protocol which offers a very large number of priority levels. Hence, it brings the potential for employing non-preemptive static-priority scheduling and schedulability analysis for a ...
Vahabi, Maryam, Andersson, Björn
core
Molecular Oncology, EarlyView.We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu +10 more
wiley +1 more source
Toward Parametric Timed Interfaces for Real-Time Components [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata.
Youcheng Sun +3 more
doaj +1 more source
Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores [PDF]
, 2012 Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2012Sistemas computacionais de tempo real são identificados como aqueles sistemas ...
Carminati, Andreu
core
Parameterized Schedulability Analysis on Uniform Multiprocessors
, 2010 This paper addresses global Rate-Monotonic (RM) scheduling of implicit-deadline periodic real-time tasks on uniform multiprocessor platforms. In particular, we propose new schedulability conditions that include a set of easily computable task-set ...
Jonsson, Jan +5 more
core +1 more source
Molecular Oncology, EarlyView.Radiotherapy (RT) response depends on the DNA repair capacity of tumor and host cells. We show that circulating tumor cell (CTC) counts and apoptosis rates before and after RT predict treatment response and outcome, which can be accessed via easily accessible liquid biopsy approaches. Created in BioRender. Wikman, H.
Yvonne Goy +10 more
wiley +1 more source
A heuristic mixed real-time task allocation of virtual utilization in multi-core processor
Journal of Information and Intelligence, 2023 Multi-core processor is widely used as the running platform for safety-critical real-time systems such as spacecraft, and various types of real-time tasks are dynamically added at runtime.
Hongbiao Liu +5 more
doaj +1 more source
Molecular Oncology, EarlyView.Combining osimertinib with the STING agonist ADU‐S100 activates innate and adaptive immunity to overcome the non‐inflamed microenvironment of Egfr‐mutant lung cancer. This combination increases NK and CD8+ T‐cell infiltration, associated with activation of the STING‐IRF3 pathway and local immunogenic cell death.
Jun Nishimura +19 more
wiley +1 more source
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 This work presents a compositional approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a set
Pujie Han +3 more
doaj +1 more source