2756 search results - page 339 / 552 » Computation-Centric Memory Models |
159
click to vote
RTSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
126
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The problem of discrete universal filtering, in which the components of a discrete signal emitted by an unknown source and corrupted by a known discrete memoryless channel (DMC) ar...
166
click to vote
EELC
2006
15 years 8 months ago
2006
In this article, we study the emergence of associations between words and concepts using the self-organizing map. In particular, we explore the meaning negotiations among communica...
132
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We consider the discrete, time-varying broadcast channel with memory, under the assumption that the channel states belong to a set of nite cardinality. We begin with the de nition...
130
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...