3616 search results - page 461 / 724 » Conditional Memory Ordering |
216
click to vote
VLDB
2005
ACM
16 years 3 months ago
2005
ACM
With the recent advances in wireless networks, embedded systems and GPS technology, databases that manage the location of moving objects have received increased interest. In this ...
143
click to vote
ICCD
2004
IEEE
16 years 9 days ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
115
click to vote
ICCAD
2008
IEEE
16 years 9 days ago
2008
IEEE
— With process variation becoming a growing concern in deep submicron technologies, the ability to efficiently obtain an accurate estimate of failure probability of SRAM compone...
115
Voted
ICCAD
2002
IEEE
16 years 8 days ago
2002
IEEE
The simulation of on-chip inductance using PEEC-based circuit analysis methods often requires the solution of a subproblem where an extracted inductance matrix must be multiplied ...
125
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...