There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB implementations, such as CORBA ORBs, exhibit substantial priority inversion and non-determinism, which makes them unsuitable for applications with deterministic real-time requirements. This paper provides two contributio...

We have developed a Bayesian model to invert spectral induced-polarization SIP data for Cole-Cole parameters using Markov-chain Monte Carlo MCMC sampling methods. We compared the performance of the MCMC-based stochastic method with an iterative Gauss-Newton-based deterministic method for Cole-Cole parameter estimation through inversion of synthetic and laboratory SIP data. The Gauss-Newton-base...

We present a set of rate equations for the modal amplitudes and carrier-inversion moments that describe the deterministic multi-mode dynamics of a semiconductor laser due to spatial hole burning. Mutual interactions among the lasing modes, induced by high- frequency modulations of the carrier distribution, are included by carrier-inversion moments for which rate equations are given as well. We ...

A relative speciication is a collection of laws relating the behaviour of a required new program to that of one or more existing programs. A two stage method for transforming such relative speciications into eeective functional programs is described and illustrated. The inversion stage rearranges the specifying laws to obtain a collection of partial deenitions for each unknown function, typical...

Let G be a group generated by k elements G = ⟨g1, . . . , gk⟩, with group operations (multiplication, inversion, comparison with id) performed by a black box. We prove that one can test whether the group G is abelian at a cost of O(k) group operations. On the other hand, we show that deterministic approach requires Ω(k) group operations.

Ground-penetrating radar (GPR) data affected by waveguide dispersion are not straightforward to analyse. Therefore, waveguide dispersed common midpoint measurements are typically interpreted using so-called dispersion curves, which describe the phase velocity as a function of frequency. These dispersion curves are typically evaluated with deterministic optimization algorithms that derive the di...

Reversible computing is bi-deterministic which means that its execution is both forward and backward deterministic, i.e. next/previous computational step is uniquely determined. Various approaches exist to catch its extensional or intensional aspects and properties. We present a class RPRF of reversible functions which holds at bay intensional aspects and emphasizes the extensional side of the ...

 A new change detection algorithm applying to SAR images of urban areas affected by earthquake is here presented. It relies on the inversion of deterministic scattering models fully describing the interactions between a rough ground and a canonical parallelepiped-shaped building.

We consider m independent exponential servers in parallel, driven by the same deterministic input. This is a modification of the Flatto-Hahn-Wright model which turns out to be easily tractable. We focus on the time-stationary distribution of the number of customers which is obtained using the Palm inversion formula.