13383 search results - page 2373 / 2677 » Abstractions from proofs |
146
Voted
DATE
2009
IEEE
16 years 27 days 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 ...
158
click to vote
FOCS
2009
IEEE
16 years 27 days 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...
159
click to vote
ISCC
2009
IEEE
16 years 26 days 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...
158
Voted
RTSS
2009
IEEE
16 years 26 days 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...
164
click to vote
IROS
2009
IEEE
16 years 24 days 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...