488 search results - page 64 / 98 » Unbounded Transactional Memory |
CODES
2000
IEEE
14 years 2 months ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...
QEST
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
DCC
2010
IEEE
14 years 2 months ago
2010
IEEE
We propose a linear predictive quantization system for causally transmitting parallel sources with temporal memory (colored frames) over an erasure channel. By optimizing within t...
ARC
2011
Springer
13 years 5 months ago
2011
Springer
In this paper, we propose a regular expression matching circuit based on a decomposed automaton. To implement a regular expression matching circuit, first, we convert regular expr...
CIKM
2001
Springer
14 years 2 months ago
2001
Springer
As mobile devices get ubiquitous and grow in computational power, their management of interdependent data also becomes increasingly important. The mobile environment exhibits all ...