In this article we implement a stochastic modeling technique for simulating the communication between processors and arbitration among buses for an embedded SoC. The stochastic models implemented with queues have been used to estimate, through simulation of different arbitration policies, the power consumption and delays, as well as estimate average or worst case scenarios that could occur with...

In this article we implement a stochastic modeling technique for simulating the communication between processors and arbitration among buses. The stochastic models implemented with queues have been used to estimate through simulation of different arbitration policies the power consumption and delays, as well as estimate average or worst case scenarios that could occur with different architectur...

The spread of a finite set of points is the ratio between the longest and shortest pairwise distances. We prove that the Delaunay triangulation of any set of n points in R3 with spread ∆ has complexity O(∆3). This bound is tight in the worst case for all ∆ = O( √ n). In particular, the Delaunay triangulation of any dense point set has linear complexity. We also generalize this upper bound to re...

Automatic detection of psychological distress, namely posttraumatic stress disorder (PTSD), depression, and anxiety, is a valuable tool to decrease time, and budget constraints of medical diagnosis. In this work, we propose two supervised approaches, using global vectors (GloVe) for word representation, to detect the presence of psychological distress in adults, based on the analysis of transcr...

We study utility games (Vetta, FOCS 2002) where a set of players join teams to produce social utility, and receive individual utility in the form of payments in return. These games have many natural applications in competitive settings such as labor markets, crowdsourcing, etc. The efficiency of such a game depends on the profit sharing mechanism – the rule that maps utility produced by the pla...

It is known that a queue is not finitely definable in ACP with handshaking communication (Baeten and Berg&a, 1988). In this paper, two finite specifications of a queue in ACP with abstraction and handshaking are proved correct relative to a standard specification of a queue that employs an infinite data type for representing its contents. The proofs are given in the proof theory of &RL, and the...

Abstract. We prove several results regarding some invariants of elliptic curves on average over the family of all elliptic curves inside a box of sides A and B. As an example, let E be an elliptic curve defined over Q and p be a prime of good reduction for E. Let eE (p) be the exponent of the group of rational points of the reduction modulo p of E over the finite field Fp. Let C be the family o...

generally the biggest group of people diet every grain of rice cereal group is the second largest member in some regions. however, unlike other grains such as rice, white beans and cooked completely consumed, fastidious taste may vary from one region to another. the overall index of consumer tastes more rice grains in appearance, size and shape, manner of cooking, the aroma, the taste of it mea...

addressing deficit irrigation scheduling (dis) for strategic crop production (especially wheat) under precipitation uncertainty is a priority for irrigation scheduling in drought conditions. this research investigated the precipitation uncertainty by enacting optimistic and pessimistic scenarios for the next 20 years by considering the statistical record of climate in badjgah area. dis was cond...