Sciweavers

2703 search results - page 176 / 541
» Optimizing memory transactions
Sort
View
APLAS
2008
ACM
14 years 4 days ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
AAAI
2006
13 years 11 months ago
Memory Intensive Branch-and-Bound Search for Graphical Models
AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sens...
Radu Marinescu 0002, Rina Dechter
ICIP
2009
IEEE
14 years 11 months ago
A Graph-cut Based Algorithm For Approximate Mrf Optimization
This paper copes with the approximate minimization of Markovian energy with pairwise interactions. We extend previous approaches that rely on graph-cuts and move making techniques...
DATE
2002
IEEE
77views Hardware» more  DATE 2002»
14 years 3 months ago
An Optimal Algorithm for the Automatic Generation of March Tests
This paper presents an innovative algorithm for the automatic generation of March Tests. The proposed approach is able to generate an optimal March Test for an unconstrained set o...
Alfredo Benso, Stefano Di Carlo, Giorgio Di Natale...
ICCAD
2003
IEEE
152views Hardware» more  ICCAD 2003»
14 years 7 months ago
Leakage Power Optimization Techniques for Ultra Deep Sub-Micron Multi-Level Caches
On-chip L1 and L2 caches represent a sizeable fraction of the total power consumption of microprocessors. In deep sub-micron technology, the subthreshold leakage power is becoming...
Nam Sung Kim, David Blaauw, Trevor N. Mudge