2035 search results - page 293 / 407 » Working memory |
141
click to vote
DAMON
2007
Springer
15 years 9 months ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
138
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
153
click to vote
HIPC
2007
Springer
15 years 9 months ago
2007
Springer
: The Cell is a heterogeneous multi-core processor, which has eight co-processors, called SPEs. The SPEs can access a common shared main memory through DMA, and each SPE can direct...
131
click to vote
ILC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
105
click to vote
LOCA
2007
Springer
15 years 9 months ago
2007
Springer
Continuous logging of a person’s geographical position is required for various “life-log” applications, such as memory aids, automatic blog generation, and life pattern analy...