8903 search results - page 196 / 1781 » Alternative |
185
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
122
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Generative design theories are needed to b ridge the gaps between pure scientific knowledge, individual ("point") designs and systematic generation of viable design alte...
159
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Evolving database management systems (DBMS) towards more flexibility in functionality, adaptation to changing requirements, and extensions with new or different components, is a c...
141
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...
150
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— We present OCDIMM (Optically Connected DIMM), a CPU-DRAM interface that uses multiwavelength optical interconnects. We show that OCDIMM is more scalable and offers higher bandw...