Sciweavers

4235 search results - page 652 / 847
» Processes in Space
Sort
View
ACSAC
2009
IEEE
16 years 1 months ago
Protecting Kernel Code and Data with a Virtualization-Aware Collaborative Operating System
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
Daniela Alvim Seabra de Oliveira, Shyhtsun Felix W...
CVPR
2009
IEEE
16 years 1 months ago
A 3D reconstruction pipeline for digital preservation
—We present a new 3D reconstruction pipeline for digital preservation of natural and cultural assets. This application requires high quality results, making time and space constr...
Alexandre Vrubel, Olga Regina Pereira Bellon, Luci...
CAV
2009
Springer
182views Hardware» more  CAV 2009»
16 years 1 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
ICC
2009
IEEE
112views Communications» more  ICC 2009»
16 years 1 months ago
Towards Secure Spectrum Decision
—The key idea of dynamic spectrum access (DSA) networks is to allow the secondary, unlicensed users to detect and use unused portions of the spectrum (white spaces) opportunistic...
Goce Jakimoski, K. P. Subbalakshmi
SASP
2009
IEEE
222views Hardware» more  SASP 2009»
16 years 1 months ago
A memory optimization technique for software-managed scratchpad memory in GPUs
—With the appearance of massively parallel and inexpensive platforms such as the G80 generation of NVIDIA GPUs, more real-life applications will be designed or ported to these pl...
Maryam Moazeni, Alex A. T. Bui, Majid Sarrafzadeh