Page 1 Next

Displaying 1 – 20 of 41

Showing per page

Gate circuits in the algebra of transients

Janusz Brzozowski, Mihaela Gheorghiu (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We study simulation of gate circuits in the infinite algebra of transients recently introduced by Brzozowski and Ésik. A transient is a word consisting of alternating 0 s and 1 s; it represents a changing signal. In the algebra of transients, gates process transients instead of 0 s and 1 s. Simulation in this algebra is capable of counting signal changes and detecting hazards. We study two simulation algorithms: a general one that works with any initial state, and a special one that applies only if...

Gate circuits in the algebra of transients

Janusz Brzozowski, Mihaela Gheorghiu (2010)

RAIRO - Theoretical Informatics and Applications


We study simulation of gate circuits in the infinite algebra of transients recently introduced by Brzozowski and Ésik. A transient is a word consisting of alternating 0s and 1s; it represents a changing signal. In the algebra of transients, gates process transients instead of 0s and 1s. Simulation in this algebra is capable of counting signal changes and detecting hazards. We study two simulation algorithms: a general one that works with any initial state, and a special one that applies only if...

Generador de seqüències de test per circuits integrats NMOS.

Carles Ferrer Ramis, Jean Pierre Deschamps, Joan Oliver Malagelada, Jordi Carrabina Bordoll, Elena Valderrama Vallés (1987)

Qüestiió

El generador de secuencias de ensayo que se presenta en este artículo utiliza una descripción del circuito a nivel de transistor que representa las redes de transistores de enriquecimiento de las funciones lógicas NMOS mediante grafos no orientados. Para la generación de vectores de ensayo se emplea el algoritmo D, habiendo desarrollado un método enumerativo de búsqueda de caminos en la parte superior del grafo, a partir del camino mínimo que pasa por el flanco que representa el transistor afectado...

Generalised filtering.

Friston, Karl, Stephan, Klaas, Li, Baojuan, Daunizeau, Jean (2010)

Mathematical Problems in Engineering

Generalized information criteria for Bayes decisions

Domingo Morales, Igor Vajda (2012)

Kybernetika

This paper deals with Bayesian models given by statistical experiments and standard loss functions. Bayes probability of error and Bayes risk are estimated by means of classical and generalized information criteria applicable to the experiment. The accuracy of the estimation is studied. Among the information criteria studied in the paper is the class of posterior power entropies which include the Shannon entropy as special case for the power α = 1 . It is shown that the most accurate estimate is in this...

Currently displaying 1 – 20 of 41

Page 1 Next