Sciweavers

1414 search results - page 34 / 283
» Completion Energies and Scale
Sort
View
ICIP
2008
IEEE
14 years 10 months ago
Modeling spatial patterns of shapes
We introduce a framework for modeling spatial patterns of shapes formed by multiple objects in an image. Our approach is graph-based where each node denotes an object and attribut...
Anuj Srivastava, Wei Liu, Shantanu H. Joshi
ICCAD
2006
IEEE
101views Hardware» more  ICCAD 2006»
14 years 5 months ago
Temperature-aware leakage minimization technique for real-time systems
In this paper, we study the interdependency between leakage energy and chip temperature in real-time systems. We observe that the temperature variation on chip has a large impact ...
Lin Yuan, Sean Leventhal, Gang Qu
JCNS
2010
81views more  JCNS 2010»
13 years 7 months ago
Sensory information in local field potentials and spikes from visual and auditory cortices: time scales and frequency bands
Studies analyzing sensory cortical processing or trying to decode brain activity often rely on a combination of different electrophysiological signals, such as local field potentia...
Andrei Belitski, Stefano Panzeri, Cesare Magri, Ni...
CADE
2008
Springer
14 years 9 months ago
Certifying a Tree Automata Completion Checker
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
Benoît Boyer, Thomas Genet, Thomas P. Jensen
ISLPED
2004
ACM
151views Hardware» more  ISLPED 2004»
14 years 2 months ago
Dynamic voltage and frequency scaling based on workload decomposition
This paper presents a technique called “workload decomposition” in which the CPU workload is decomposed in two parts: on-chip and off-chip. The on-chip workload signifies the ...
Kihwan Choi, Ramakrishna Soma, Massoud Pedram