13383 search results - page 2373 / 2677 » Abstractions from proofs |
113
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Chip multiprocessors (CMPs) present a unique scenario for software data prefetching with subtle tradeoffs between memory bandwidth and performance. In a shared L2 based ...
132
Voted
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We show how to efficiently extract truly random bits from two independent sources of linear min-entropy, under a computational assumption. The assumption we rely on is...
125
Voted
ISCC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— The fluctuations of the price of crude oil is pushing the oil companies to increase the investments in seismic exploration of new oil and gas reservoir. Seismic explor...
129
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
135
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Previous work [1] shows that the movement representation in task spaces offers many advantages for learning object-related and goal-directed movement tasks through imit...