3338 search results - page 334 / 668 » Assigning Papers to Referees |
232
click to vote
HPCA
2012
IEEE
14 years 2 months ago
2012
IEEE
Since the onset of pipelined processors, balancing the delay of the microarchitectural pipeline stages such that each microarchitectural pipeline stage has an equal delay has been...
194
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
213
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
This paper introduces CarSpeak, a communication system for autonomous driving. CarSpeak enables a car to query and access sensory information captured by other cars in a manner si...
198
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
Many large content publishers use multiple content distribution networks to deliver their content, and many industrial systems have become available to help a broader set of conte...
202
click to vote
MOBIHOC
2012
ACM
13 years 9 months ago
2012
ACM
Dynamic spectrum access is a maturing technology that allows next generation wireless devices to make highly efficient use of wireless spectrum. Spectrum can be allocated on an o...