51 search results - page 1 / 11 » sp 2009 |
SP
2009
IEEE
14 years 1 months ago
2009
IEEE
MOMM
2009
ACM
13 years 11 months ago
2009
ACM
In this paper we discuss possible benefits of transmitting SI frames as an error resilience tool in UMTS video streaming. SP and SI frames can be used to stop temporal error prop...
CCS
2009
ACM
14 years 1 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
ISCA
2009
IEEE
14 years 1 months ago
2009
IEEE
In the past decade, the proliferation of mobile devices has increased at a spectacular rate. There are now more than 3.3 billion active cell phones in the world—a device that we...
ASPLOS
2009
ACM
14 years 1 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...