This paper presents a real-time primary-backup (RTPB) replication scheme for supporting faulttolerant real-time applications. It formally de nes two types of temporal consistency, namely external temporal consistency and inter-object temporal consistency. By introducing a key concept called phase variance, we are able to build our temporal consistency models and derive necessary and su cient co...

2 Regimes of 1D gases 2 2.1 Strongly versus weakly interacting regimes . . . . . . . . . . . . . . . . . . . . 4 2.2 Nearly ideal gas regime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3 Quasi-condensate regime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3.1 Density fluctuations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3.2 Phase fluc...

Smoke reduction processes in an indoor room-scale chamber are generated by injecting nanoparticle aggregates. A numerical model, with a flow solver implemented with a particle collision model, is used to simulate the smoke-reduction effect. The collision model, developed particularly for simulating collisions among particles with significantly different sizes, enables real-time simulations of t...

In neuroscience, phase is assumed to contain more important information about the neural activity than amplitude. However, the most exploited feature in electroencephalogram (EEG) based brain computer interface (BCI) is the amplitude change, phase has been largely ignored, and only phase locking values (PLV) has been introduced in EEG classification recently. In this paper, we define phase inte...

Homogenized laws for sequences of high-contrast two-phase non-symmetric conductivities perturbed by a parameter h are derived in two and three dimensions. The parameter h characterizes the antisymmetric part of the conductivity for an idealized model of a conductor in the presence of a magnetic field. In dimension two an extension of the Dykhne transformation to non-periodic high conductivities...

Co-allocation is a fundamental infrastructure to aggregate heterogeneous and distributed resources in grid environments. Although it has been studied extensively, coallocation under the constraints to budget and deadline still remains an opening issue, which means that tradeoff between user QoS requirements and system performance should be agreed. In this paper, a novel agent-based twophase co-...

A common technique in high-performance hardware design is to intersperse combinatorial logic freely between level-sensitive latch layers (wherein one layer is transparent during the “high” clock phase, and the next during the “low”). Such logic poses a challenge to verification – unless the two-phase netlist N may be abstracted to a full-cycle model N ′ (wherein each memory element may sample e...

Using a lattice model for water-oil-amphiphile mixtures, we examine the interfaces between the water-rich, oil-rich and disordered phases in the mean-field and Bethe approximations. By calculating the surface tensions between these phases along their coexistence triple line, we find that the disordered phase wets the water-oil interface when it is an ordinary disordered fluid but not when it is...

We address the problem of the automated verification of temporal properties of infinite state reactive systems. We present some improvements of a verification method based on the specialization of constraint logic programs (CLP). First, we reformulate the verification method as a two-phase procedure: (1) in the first phase a CLP specification of an infinite state system is specialized with resp...

We propose an approach which allows to construct and use a potential function written in terms of an angle variable to describe interacting spin systems. We show how this can be implemented in the Lipkin-Meshkov-Glick, here considered a paradigmatic spin model. It is shown how some features of the energy gap can be interpreted in terms of a spin tunneling. A discrete Wigner function is construc...