This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent tasks, while considering multiple concurrent execution resources. A formal model based on the notion of scheduling of Petri nets is used to perform the synthesis. We show how the notion of projections of a schedule for the...

An existence result for the quasi-static evolution of incomplete damage in elastic materials is presented. The absence of gradient terms in the damage variable causes a critical lack of compactness. Therefore, the analysis is developed in the framework of Young measures, where a notion of solution is defined, presenting some improvements with respect to previous contributions. The main new feat...

We present the theory behind a novel unsupervised method for discovering quasi-static objects, objects that are stationary during some interval of observation, within image sequences acquired by any number of uncalibrated cameras. For each pixel we generate a signature that encodes the pixel’s temporal structure. Using the set of temporal signatures gathered across views, we hypothesize a globa...

is a decreasing function of t for 0 < t < T. It should be noted that (P) holds whatever initial values the temperature may take on f = 0. The adjective 'decreasing' is to be understood in the wide sense as meaning 'monotone nonincreasing'. The condition 9(x, t) e C2(R) can easily be replaced by one that is weaker, but to insist upon the weakest smoothness hypotheses for our theorems would overb...

The algebra of the integral potential (pot) operator, in combination with the usual differential operators, is briefly discussed. The main algebraic results are simple, easily remembered and of interest in themselves. A particularly important result is the operational equation that shows the separation of any vector field into two unique partial fields, one having zero curl and the other zero d...

As SRAMs continue to grow and comprise larger percentages of the area and power consumption in advanced systems, the need to minimize static currents becomes essential. This brief presents a novel 9T Quasi-Static RAM Bitcell that provides aggressive leakage reduction and high write margins. The quasi-static operation method of this cell, based on internal feedback and leakage ratios, minimizes ...

We compare the roughness of minimal energy(ME) surfaces and scalar “quasi-static” fracture surfaces(SQF). Two dimensional ME and SQF surfaces have the same roughness scaling, w ∼ L (L is system size) with ζ = 2/3. The 3-d ME and SQF results at strong disorder are consistent with the randombond Ising exponent ζ(d ≥ 3) ≈ 0.21(5 − d) (d is bulk dimension). However 3-d SQF surfaces are rougher than...

Vertical differencing is a very different problem from horizontal differencing. This may seem odd, but the explanation is very simple. There are three primary factors. First, gravitational effects are very powerful, and act only in the vertical. Second, the Earth's atmosphere is very shallow compared to its horizontal extent. Third, the atmosphere has a lower boundary. To construct a vertically...

Ultrasound elastography is a technique used for clinical imaging of tissue stiffness with a conventional ultrasound machine. It was first proposed two decades ago, but active research continues in this area to the present day. Numerous clinical applications have been investigated, mostly related to cancer imaging, and though these have yet to prove conclusive, the technique has seen increasing ...

We derive equilibrated reconstructions of the Darcy velocity and of the total stress tensor for Biot’s poro-elasticity problem. Both reconstructions are obtained from mixed finite element solutions of local Neumann problems posed over patches of elements around mesh vertices. The Darcy velocity is reconstructed using Raviart–Thomas finite elements and the stress tensor using Arnold–Winther fini...