2555 search results - page 390 / 511 » Quantifiers and Working Memory |
163
Voted
HIPC
2007
Springer
15 years 10 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...
144
Voted
ILC
2007
Springer
15 years 10 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...
120
Voted
LOCA
2007
Springer
15 years 10 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...
128
Voted
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
124
click to vote
WAIM
2007
Springer
15 years 10 months ago
2007
Springer
The DBMS performance might change by allocating resources and by performing a specific kind of workload. Database administrators should be able to identify relative resources that ...