2498 search results - page 361 / 500 » Data Structures with Unpredictable Timing |
163
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: We present a general approach to perform association analyses in pedigrees of arbitrary size and structure, which also allows for a mixture of pedigree members and ind...
160
click to vote
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
122
Voted
ISLPED
2005
ACM
15 years 10 months ago
2005
ACM
As transistors keep shrinking and on-chip data caches keep growing, static power dissipation due to leakage of caches takes an increasing fraction of total power in processors. Se...
128
Voted
MICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper studies an interesting yet less explored behavior of memory access instructions, called access region locality. Unlike the traditional temporal and spatial data localit...
189
click to vote
CEC
2010
IEEE
15 years 2 days ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...