155 search results - page 13 / 31 » Flexible Aliasing with Protection |
TRIDENTCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
PCM
2007
Springer
14 years 1 months ago
2007
Springer
The integration of scalable video representation and network coding (NC) offers an excellent solution to robust and flexible video multicast over IP networks. In this work, we exam...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
In this paper, we focus on the reconstruction of iDQC MR spectroscopy data. Unlike standard 1-D MR spectroscopy schemes, iDQC acquires 2-D spectral data to decouple the magnetic f...
OSDI
1996
ACM
13 years 9 months ago
1996
ACM
Today's extensible operating systems allow applications to modify kernel behavior by providing mechanisms for application code to run in the kernel address space. The advanta...