3394 search results - page 186 / 679 » A Modal Model of Memory |
145
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
108
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Our agent-based model of genotype editing is defined by two distinct genetic components: a coding portion encoding phenotypic solutions, and a non-coding portion used to edit the ...
147
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
127
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper discusses a longitudinal study that explored the relationship between use of organizational memory and knowledge (OM/K) and knowledge worker productivity within the eng...
146
click to vote
IFL
2001
Springer
15 years 8 months ago
2001
Springer
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...