3394 search results - page 323 / 679 » A Modal Model of Memory |
177
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
165
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
While much work has been devoted to the study of cache behavior during the execution of codes with regular access patterns, little attention has been paid to irregular codes. An i...
172
click to vote
SIGMETRICS
1990
ACM
15 years 10 months ago
1990
ACM
Multiprocessors require an interconnection network to connect processors with memory modules. The performance of the interconnection network can have a large effect upon overall s...
184
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
It is well known that our prior knowledge and experiences affect how we learn new concepts. Although several formal modeling attempts have been made to quantitatively describe the ...
177
click to vote
ICMLA
2008
15 years 8 months ago
2008
Mining for outliers in sequential databases is crucial to forward appropriate analysis of data. Therefore, many approaches for the discovery of such anomalies have been proposed. ...