2041 search results - page 210 / 409 » Balance Machines: Computing = Balancing |
142
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
143
Voted
ICCD
2008
IEEE
16 years 2 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...
165
click to vote
PERCOM
2009
ACM
16 years 23 days ago
2009
ACM
Abstract—In this paper, we consider privacy challenges in eventdriven pervasive spaces where multimedia streams captured by sensors embedded in the infrastructure are used to det...
158
click to vote
DATE
2009
IEEE
16 years 21 days ago
2009
IEEE
NBTI (Negative Bias Temperature Instability) has emerged as the dominant PMOS device failure mechanism for sub100nm VLSI designs. There is little research to quantify its impact o...
141
click to vote
SSDBM
2009
IEEE
16 years 20 days ago
2009
IEEE
As the size of scientific and commercial datasets grows, it becomes imperative that an expressive metadata framework to be developed to facilitate access to the semantics of the d...