2208 search results - page 404 / 442 » Memory Practices in the Sciences |
141
click to vote
ICDE
2007
IEEE
16 years 13 days ago
2007
IEEE
Data stream methods look at each new item of the stream, perform a small number of operations while keeping a small amount of memory, and still perform muchneeded analyses. Howeve...
139
click to vote
ICDM
2007
IEEE
16 years 13 days ago
2007
IEEE
Data mining algorithms use various Trie and bitmap-based representations to optimize the support (i.e., frequency) counting performance. In this paper, we compare the memory requi...
149
click to vote
TASE
2007
IEEE
16 years 12 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
178
click to vote
ALGOSENSORS
2007
Springer
16 years 9 days ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
178
click to vote
HIPEAC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...