Concept
Direct rendering infrastructure
Publications associées (14)
Quote Erat Demonstrandum: AWeb Interface for Exploring the Quotebank Corpus
Robert West, Akhil Arora, Andreas Oliver Spitz, Huan-Cheng Chang, Vuk Vukovic
The use of attributed quotes is the most direct and least filtered pathway of information propagation in news. Consequently, quotes play a central role in the conception, reception, and analysis of news stories. Since quotes provide a more direct window in ...
ASSOC COMPUTING MACHINERY2022Perceptual Quality of Point Clouds with application to Compression
Modern information technologies and human-centric communication systems employ advanced content representations for richer portrayals of the real world. The newly adopted imaging modalities offer additional information cues and permit the depiction of real ...
EPFL2021A Computational Method for Identifying the Optimum Buffer Size in the Era of Zero Defect Manufacturing
Decreasing defects, waste time, meeting customer demand and being adaptable are the goals of a Zero Defect Manufacturing (ZDM) strategy. Scheduling is an important tool to perform that. It should take in account buffer size allocation. In this study, a met ...
SPRINGER INTERNATIONAL PUBLISHING AG2020A Formally Verified NAT Stack
George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh
Prior work proved a stateful NAT network function to be semantically correct, crash-free, and memory safe. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardware to ...
2018A Formally Verified NAT Stack
George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh
Prior work proved a stateful NAT network function to be, crash-free, memory safe and semantically correct [29]. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardwar ...
ASSOC COMPUTING MACHINERY2018Contrast measures for predicting perceptual effects of daylight in architectural renderings
Marilyne Andersen, María Lovísa Ámundadóttir, Siobhan Francois Rockcastle
Daylit architecture is perceived as a dynamic luminous composition, yet most existing performance metrics were designed to evaluate natural illumination for its ability to adequately illuminate a two-dimensional task surface and avoid glare-based discomfor ...
SAGE Publications2017A Bio-Inspired Reconfigurable Architecture for Local Binary Descriptors
Selman Ergünay, Yusuf Leblebici
Limited resources of embedded devices and increased real time constraints have raised interest to the binary description methods over the floating-point ones such as SIFT and SURF in computer vision applications. Although many software applications of the ...
Ieee2016Precise static analysis of untrusted driver binaries
Most closed source drivers installed on desktop systems today have never been exposed to formal analysis. Without vendor support, the only way to make these often hastily written, yet critical programs accessible to static analysis is to directly work at t ...
IEEE2010Efficient volume rendering on the body centered cubic lattice using box splines
Dimitri Nestor Alice Van De Ville
We demonstrate that non-separable box splines deployed on body centered cubic lattices (BCC) are suitable for fast evaluation on present graphics hardware. Therefore, we develop the linear and quintic box splines using a piecewise polynomial (pp)-form as o ...
2010Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many new security vulnerabilities (buffer overflows) in Windows and Linux applicatio ...
ACM Press2010