2779 search results - page 289 / 556 » Modelling Immunological Memory |
136
click to vote
MTDT
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents all simple (i.e., not linked) static fault models that have been shown to exist for Random Access Memories (RAMs), and shows that none of the current industria...
152
click to vote
STACS
2009
Springer
15 years 9 months ago
2009
Springer
ABSTRACT. This paper gives a brief overview of computation models for data stream processing, and it introduces a new model for multi-pass processing of multiple streams, the so-ca...
148
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
The data stream model has recently attracted attention for its applicability to numerous types of data, including telephone records, web documents and clickstreams. For analysis o...
114
click to vote
CPE
1997
Springer
15 years 8 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
122
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...