We introduce a new number system that we call the strictlyregular system, which efficiently supports the operations: digit-increment, digit-decrement, cut, concatenate, and add. Compared to other number systems, the strictly-regular system has distinguishable properties. It is superior to the regular system for its efficient support to decrements, and superior to the extended-regular system for...

This paper presents the Clearing Fund Protocol, a three layered protocol designed to schedule soft real-time sets of precedence related tasks with shared resources. These sets are processed in an open dynamic environment. Open because new applications may enter the system at any time and dynamic because the schedulability is tested on-line as tasks request admission. Top-down, the three layers ...

We study the problem of priority inversion in distributed real-time and embedded systems and propose a solution based on a distributed version of the priority inheritance protocol (PIP). Previous approaches to priority inversions in distributed systems use variations of the priority ceiling protocol (PCP), originally designed for centralized systems as a modification of PIP that also prevents d...

the aim of this study was to compare the effects of three types of balancetraining: single task, dual task under fixed priority instructional set (fp) and dualtask under a variable priority instructional set (vp) on the balance of the elderly.the participants were 36 elderly over 65 years old from kerman province whowere randomly divided into three groups (each 12 subjects) based on burg pretes...

A priority queue transforms an input sequence ~r into an output sequence r which is a re-ordering of the sequence ~r. The set R of all such related pairs is studied in the case that tr is a binary sequence. It is proved that R is a partial order and that IRI = c,~+1, the (n + 1)th Catalan number, An efficient (O(n2)) algorithm is given for computing the number of outputs achievable from a given...

This work describes a particular type of substantive clause: “para + infinitive”, where the infinitive has [+posteriority] value and para is admitted as subordinator. The presents relationships it share with final clauses questions relevance theory language contact (Guaraní Portuguese) only explanatory factor. To do this, show that not an exclusive phenomenon variety Paraguayan Spanish, nor bil...