Sciweavers

936 search results - page 139 / 188
» FSM-Hume is finite state
Sort
View
IJMMSC
2010
62views more  IJMMSC 2010»
13 years 5 months ago
Conditional Processes Induced by Birth and Death Processes
For birth and death processes with finite state space consisting of N + 1 points (N 2), we consider stochastic processes induced by conditioning on hitting the right boundary poi...
Masaru Iizuka, Matsuyo Tomisaki
SIAMCO
2010
114views more  SIAMCO 2010»
13 years 5 months ago
Discrete Carleman Estimates for Elliptic Operators in Arbitrary Dimension and Applications
In arbitrary dimension, we consider the semi-discrete elliptic operator -2 t + AM , where AM is a finite difference approximation of the operator - x((x) x). For this operator we d...
Franck Boyer, Florence Hubert, Jérôme...
TVLSI
2008
110views more  TVLSI 2008»
13 years 10 months ago
Thermal Switching Error Versus Delay Tradeoffs in Clocked QCA Circuits
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
Sanjukta Bhanja, Sudeep Sarkar
ALGORITHMICA
2002
84views more  ALGORITHMICA 2002»
13 years 10 months ago
On-Line Multi-Threaded Paging
In this paper we introduce a generalization of Paging to the case where there are many threads of requests. This models situations in which the requests come from more than one ind...
Esteban Feuerstein, Alejandro Strejilevich de Loma
DAC
2009
ACM
14 years 11 months ago
Generating test programs to cover pipeline interactions
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, ...