1271 search results - page 1 / 255 » On Simulation-Checking with Sequential Systems |
ASIAN
2000
Springer
13 years 12 months ago
2000
Springer
ASPDAC
2011
ACM
12 years 11 months ago
2011
ACM
This paper studies realization and performance comparison of the sequential and weak consistency models in the network-on-chip (NoC) based distributed shared memory (DSM) multi-cor...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We propose a compressive method for tracking doubly selective channels within multicarrier systems, including OFDM systems. Using the recently introduced concept of modified comp...
AAAI
2012
11 years 10 months ago
2012
We propose a novel sequential decision approach to modeling ordinal ratings in collaborative filtering problems. The rating process is assumed to start from the lowest level, eva...
JAIR
2011
12 years 10 months ago
2011
