2756 search results - page 109 / 552 » Computation-Centric Memory Models |
143
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
137
click to vote
ENTCS
2002
15 years 4 months ago
2002
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
154
click to vote
PDP
2009
IEEE
15 years 11 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
148
click to vote
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
We present an architecture for the online learning of object representations based on a visual cortex hierarchy developed earlier. We use the output of a topographical feature hier...
154
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...