Results 61 to 70 of about 3,968 (305)

Linearizability and schedulability [PDF]

, 2007
Consider the problem of scheduling a set of tasks on a single processor such that deadlines are met. Assume that tasks may share data and that linearizability, the most common correctness condition for data sharing, must be satisfied.
Andersson, Björn
core  

Schedulability Analysis for Java Finalizers

, 2010
Java finalizers perform clean-up and finalisation of objects at garbage collection time. In real-time Java profiles the use of finalizers is either discouraged (RTSJ, Ravenscar Java) or even disallowed (JSR-302), mainly because of the unpredictability of
Thomsen, Bent; id_orcid, Bent Thomsen, Thomas Bøgholm, Bøgholm, Thomas, Anders P. Ravn, Ravn, Anders Peter, Hans Søndergaard, Søndergaard, Hans, Hansen, Rene Rydhof; id_orcid, René R. Hansen   +9 more
core   +1 more source

Longitudinal genome‐wide aneuploidy measurements in circulating cell‐free DNA to predict lack of benefit from pembrolizumab in patients with metastatic urothelial cancer

Molecular Oncology, EarlyView.
Many patients with urothelial cancer do not benefit from treatment with pembrolizumab, while at risk of severe side effects. Changes in the levels of circulating tumor DNA early during treatment, measured by a simple and affordable assay that can be easily implemented in the clinic, can be used as a prognostic tool to identify these patients.
Youssra Salhi, Stavros Makrodimitris, Sandra van Wilpe, Iris te Paske, Vanja de Weerd, Corine M. Beaufort, Hans M. Westgeest, Jens Voortman, Maureen J. B. Aarts, Maud Rijnders, Astrid A. M. van der Veldt, Ronald de Wit, Niven Mehra, Saskia M. Wilting, Debbie G. J. Robbrecht   +14 more
wiley   +1 more source

Polynomial Exact Schedulability and Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms

Applied System Innovation
In this paper, we develop an exact schedulability test and sufficient infeasibility test for fixed-priority scheduling on multiprocessor platforms. We base our tests on presenting real-time systems as a Kripke model for dynamic real-time systems with ...
Natalia Garanina, Igor Anureev, Dmitry Kondratyev   +2 more
doaj   +1 more source

IDH-CAN: A Hardware-Based ID Hopping CAN Mechanism With Enhanced Security for Automotive Real-Time Applications

IEEE Access, 2018
Cybersecurity is increasingly important for the safety and reliability of autonomous vehicles. The controller area network (CAN) is the most widely used in-vehicle network for automotive safety-critical applications.
Wufei Wu, Ryo Kurachi, Gang Zeng, Yutaka Matsubara, Hiroaki Takada, Renfa Li, Keqin Li   +6 more
doaj   +1 more source

Research on Partition Parameter Design Method for Integrated Modular Avionics Based on MOEA/D-ADV

IEEE Access, 2020
In the avionics industry, Integrated Modular Avionics (IMA) which introduces the concept of partition has been widely adopted for its isolating capability.
Huakun Chen, Weiguo Zhang, Yongxi Lyu
doaj   +1 more source

ZW4864‐mediated inhibition of the β‐catenin/BCL9/BCL9L complex reveals therapeutic potential in bladder cancer

Molecular Oncology, EarlyView.
BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi, Mandy Berndt‐Paetz, Eileen Lerner, Gregoire Najjar, Anca Azoitei, Krishna Pal Singh, Shailendra Kumar Gupta, Olaf Wolkenhauer, Cagatay Günes, Otmar Huber, Marc‐Oliver Grimm, Daniel Steinbach   +11 more
wiley   +1 more source

Analysing the significance of small conformational changes and low occupancy states in serial crystallographic data

FEBS Open Bio, EarlyView.
This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill, Yelyzaveta Pulnova, Elke De Zitter, Helen M. Ginn, Briony A. Yorke   +4 more
wiley   +1 more source

Pessimism in multicore global schedulability analysis

, 2019
When it comes to multicore real-time systems, the global scheduling that allows tasks to migrate between different cores and the partitioned scheduling that statically allocates tasks to individual cores are two popular policies.
Sun, Youcheng; id_orcid, Di Natale, Marco, Sun, Youcheng   +2 more
core   +1 more source

The skills required for transition to university and study in biological sciences: A student perspective

FEBS Open Bio, EarlyView.
Bioscience students were asked for their opinions on the value and teaching of skills. 204 responded that teamwork, time management and study skills are necessary to reach University, that scientific writing, research, laboratory and presentation skills are taught effectively during their studies, while other skills are gained inherently through study ...
Janella Borrell, Susan Crennell
wiley   +1 more source