2756 search results - page 75 / 552 » Computation-Centric Memory Models |
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...
126
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...