2610 search results - page 166 / 522 » codes 2007 |
139
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
We develop virtual machines and compilers for a multi-level language, which supports multi-stage specialization by composing program fragments with quotation mechanisms. We conside...
131
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—Distributed storage systems provide reliable access to data through redundancy spread over individually unreliable nodes. Application scenarios include data centers, peer-to-pee...
231
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
166
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
128
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
— Motivated by video coding applications, we study the problem of sequential coding of correlated sources with (noncausal) encoding and/or decoding frame-delays. The fundamental ...