Results 101 to 110 of about 3,968 (305)
On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
Моделирование и анализ информационных систем, 2018 In this paper, we consider a schedulability analysis problem for real-time modular computer systems (RT MCS). A system configuration is called schedulable if all the jobs finish within their deadlines.
Alevtina B. Glonina, Vasily V. Balashov
doaj +1 more source
Economic Theory, 2023 AbstractServer works in discrete time, and is equipped with a given sequence of per-date capacities. It has to accommodate a set of agents with unit jobs, arriving at different dates. It can process a job in several installments, however no monetary transfers are allowed.
openaire +2 more sources
Approximate schedulability analysis
, 2002 The schedulability analysis problem for many realistic task models is intractable. Therefore known algorithms either have exponential complexity or at best can be solved in pseudo-polynomial time, thereby restricting the application of the concerned ...
Lothar Thiele +2 more
core
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking
, 2012 Schedulability analysis is a main concern for several embedded applications due to their safety-critical nature. The classical method of response time analysis provides an efficient technique used in industrial practice.
Marius Mikučionis +7 more
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio +8 more
wiley +1 more source
Safety and Tolerability of Givinostat: Evidence From Real‐World and Clinical Practice
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective The aim of our study was to establish the prevalence of adverse events in a real‐world setting in boys living with Duchenne muscular dystrophy (DMD) treated with givinostat as part of an Expanded Access Program (EAP) in Italy. Methods The cohort included 90 ambulant boys, with age when treatment started between 6 and 23 years (mean ...
Marika Pane +19 more
wiley +1 more source
Comparative Effectiveness and Safety of Inebilizumab Versus Rituximab in AQP4‐IgG‐Positive NMOSD
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Rituximab (anti‐CD20, RTX) and inebilizumab (anti‐CD19, INE) represent B‐cell‐depleting therapies used for aquaporin‐4 antibody‐positive (AQP4‐IgG+) neuromyelitis optica spectrum disorder (NMOSD); however, direct comparative evidence remains limited.
Jie Lin +11 more
wiley +1 more source
Efficient Exact Test for Rate-Monotonic Schedulability Using Large Period-Dependent Initial Values
, 2014 Real-time systems using rate-monotonic fixed priority scheduling can be checked for schedulability either by sufficient but pessimistic schedulability conditions or by exact testing.
Lu, Wan-Chen; Lin, Kwei-Jay; Wei, Hsin-Wen; Shih, Wei-Kuan
core +1 more source
Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL [PDF]
, 2019 This paper presents an approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 multicore modules connected by a unified Avionics Full-Duplex Switched Ethernet (AFDX ...
Nyman, Ulrik +4 more
core +1 more source
Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Epilepsy surgery is severely underutilized despite proven efficacy, with substantial under‐referral of eligible patients in routine clinical practice. This study evaluated the potential role of large language models (LLMs) as decision‐support tools for screening unstructured clinical notes to identify epilepsy surgery candidates and ...
Uriel Fennig +9 more
wiley +1 more source