1458 search results - page 59 / 292 » The sequentially realizable functionals |
134
Voted
ICCD
2001
IEEE
16 years 11 days ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
112
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Bayesian estimation in nonlinear stochastic dynamical systems has been addressed for a long time. Among other solutions, Particle Filtering (PF) algorithms propagate in time a Mon...
120
click to vote
SP
2003
IEEE
15 years 8 months ago
2003
IEEE
Many recent large-scale distributed computing applications utilize spare processor cycles of personal computers that are connected to the Internet. The resulting distributed compu...
122
click to vote
VLSID
2009
IEEE
16 years 4 months ago
2009
IEEE
Synthesis of reversible logic has become a very important research area. In recent years several algorithms ? heuristic as well as exact ones ? have been introduced in this area. ...
174
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—In this paper we consider an interacting two-agent sequential decision-making problem consisting of a Markov source process, a causal encoder with feedback, and a causal decoder...