Results 281 to 290 of about 8,430 (314)

Designing self-timed devices using the finite automaton model

IEEE Design & Test of Computers, 1995
The authors suggest a procedure for designing a self-timed device defined by the finite automaton model. This procedure proves useful when designing these devices using the available synchronous behavior specifications. They illustrate the effectiveness of their procedure by applying it to the design of a stack memory and constant acknowledgement delay
V.I. Varshavsky, V.B. Marakhovsky, V. Smolensky   +2 more
openaire   +1 more source

Short Time Dynamics of an Irreversible Probabilistic Cellular Automaton

Modern Physics Letters B, 1998
We study the short-time dynamics of a three-state probabilistic cellular automaton. This automaton, termed TD model, possess "up-down" symmetry similar to Ising models, and displays continuous kinetic phase transitions belonging to the Ising model universality class. We perform Monte Carlo simulations on the early time regime of the two-dimensional TD
T. Tomé, J. R. Drugowich de Fel Icio
openaire   +1 more source

Estimating time-varying densities using a stochastic learning automaton

Soft Computing, 2005
The popular Expectation Maximization technique suffers a major drawback when used to approximate a density function using a mixture of Gaussian components; that is the number of components has to be a priori specified. Also, Expectation Maximization by itself cannot estimate time-varying density functions. In this paper, a novel stochastic technique is
Wael Abd-Almageed, Aly I. El-Osery, Christopher E. Smith   +2 more
openaire   +1 more source

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications

2012
A method for the automatic refinement of single-task timed automaton specifications into microcontroller assembly code is proposed. The outputs of the refinement are an assembly implementation and a timed automaton describing its exact behaviour.
Victor Bandur, Wolfram Kahl, Alan Wassyng   +2 more
openaire   +1 more source

Computing the Untimed Language of a Buechi Timed Automaton

IFAC Proceedings Volumes, 1998
Abstract Given a timed Buechi automaton G, we present a simplified procedure for computing the untimed language accepted by G, provided certain restrictions are made on the queries along the edges of G. The untimed language accepted by G is given as the language accepted by a Muller automaton.
M.R. Laurence, M.P. Spathopoulos
openaire   +1 more source

Object-oriented method for real-time systems based on timed automaton

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 2002
It is useful to introduce object-orientation into an analysis and design methodology for real-time systems. We have proposed such an object-oriented methodology for real-time systems, which is integrated with a timed automaton, but, using the proposed method, the verification cost is very large.
openaire   +1 more source

‘‘Wave automaton’’ for wave propagation in the time domain

The Journal of the Acoustical Society of America, 1993
The new model introduced recently [Vanneste etal., Europhys. Lett. 17, 715 (1992)] for the dynamical propagation of waves in arbitrary heterogeneous media, which is efficient for calculations on large systems (1024×1024) over long times (several 106 inverse band widths) will be discussed.
Didier Sornette, Patrick Sebbah, Christian Vanneste   +2 more
openaire   +1 more source

Implicit integration of scenarios into a reduced timed automaton

Information and Software Technology, 2003
Abstract We aim at synthesizing an executable specification for a real-time reactive system by integrating real-time scenarios into a reduced timed automaton (TA). A scenario is a part of the specification of a system behavior. The integration of scenarios into a single TA is based on its formal semantics.
A. Salah, R. Dssouli, G. Lapalme
openaire   +1 more source

A Time‐Dependent Frictional Cellular Automaton Model of Seismicity

Chinese Journal of Geophysics, 2000
AbstractAn advanced cellular automaton model (CA) was designed for earthquake preparation process in a single fault in this paper. By designing the energy exchange between the circumstance and the model by loading and the nonlinear interaction among the cells of the model, we tried to understand the mechanism of seismicity feature.
openaire   +1 more source

Watson-Crick online tessellation automaton and timed Watson-Crick ω-automaton

2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2010
Mary Jemima Samuel, V.R. Daret
openaire   +1 more source