This report presents a proof to support the correctness of the schedulability test for self-suspending real-time task systems proposed by Jane W. S. Liu in her book titled “Real-Time Systems” (Pages 164165). The same concept was also implicitly used by Rajkumar, Sha, and Lehoczky in RTSS 1988 (Page 267) for analyzing self-suspending behaviour due to synchronization protocols in multiprocessor s...

Tadalafil is a phosphodiesterase 5 inhibitor used orally as solid dosage form. The suspension of this drug has been used for pulmonary arterial hypertension treatment in pediatrics. The aim of this work was to investigate the influence of non-ionic surfactant (Tween 80) on the physical characteristics, drug particle size, and stress-shear rate rheogram of tadalafil 0.1% suspension. Several form...

In the paper "Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks" published in ECRTS 2015, a MILP formulation is provided to compute an upper-bound on the worst-case response time (WCRT) of one selfsuspending task running concurrently with a set of higher priority non-self-suspending tasks. Section VI of that paper extends the MILP formulation to the case where the higher priority...

Interruptions are common in joint activities like conversations. Typically, interrupted participants suspend the activity, address the interruption, and then reinstate the activity. In conversation, people jointly commit to interact and to talk about a topic, establishing these commitments sequentially. When a commitment is suspended, face is threatened and grounding disrupted. This article pro...

Many polysaccharides are allowed for direct food use, where they serve a number of useful functions including dietary fiber, bulking agent, thickener, encapsulant, gelling agent, foam and emulsion stabilizer, protective colloid, emulsifier and suspending agent, adhesive and binder, flocculant, swelling agent, film/coat former, or syneresis inhibitor. Many of these polysaccharides have complex s...