Publications related to NetBSD

Stress granules quantification on fixed and live cells

Francesco Stellacci, Romain Guiet, Xufeng Xu

The custom script was written based on Fiji for measuring the number or size of stress granules inside fixed cells (using a fixed threshold) or live cells (using a local maximum). It allows the batch image data processing for the study of the effects of di ...

Zenodo2023

End-to-end kernel learning via generative random Fourier features

Fanghui Liu, Jie Yang

Random Fourier features (RFFs) provide a promising way for kernel learning in a spectral case. Current RFFs-based kernel learning methods usually work in a two-stage way. In the first-stage process, learn-ing an optimal feature map is often formulated as a ...

ELSEVIER SCI LTD2023

HetCache: Synergising NVMe Storage and GPU acceleration for Memory-Efficient Analytics

Anastasia Ailamaki, Periklis Chrysogelos, Hamish Mcniece Hill Nicholson, Syed Mohammad Aunn Raza

Accessing input data is a critical operation in data analytics: i) slow data access significantly degrades performance, and ii) storing everything in the fastest medium, i.e., memory, incurs high operational and hardware costs. Further, while GPUs offer in ...

2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

2023

Midas: Systematic Kernel TOCTTOU Protection

Mathias Josef Payer, Atri Bhattacharyya, Uros Tesic

Double-fetch bugs are a plague across all major operating system kernels. They occur when data is fetched twice across the user/kernel trust boundary while allowing concurrent modification. Such bugs enable an attacker to illegally access memory, cause den ...

2022

NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems

Rafael Pereira Pires, Pascal Felber

This paper introduces NVCache, an approach that uses a non-volatile main memory (NVMM) as a write cache to improve the write performance of legacy applications. We compare NVCache against file systems tailored for NVMM (Ext4-DAX and NOVA) and with I/O-heav ...

IEEE2021

NrOS: Effective Replication and Sharing in an Operating System

Sanidhya Kashyap, Ankit Bhardwaj

Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...

USENIX ASSOC2021

How Many CPU Cores is an FPGA Worth? Lessons Learned from Accelerating String Sorting on a CPU-FPGA System

Paolo Ienne, Mikhail Asiatici, Damian Maiorano

String sorting is a fundamental kernel of string matching and database index construction; yet, it has not been studied as extensively as fixed-length keys sorting. Because processing variable-length keys in hardware is challenging, it is no surprise that ...

SPRINGER2021

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

NetBSD

Secure Interface Design Leveraging Hardware/Software Support

Stress granules quantification on fixed and live cells

End-to-end kernel learning via generative random Fourier features

HetCache: Synergising NVMe Storage and GPU acceleration for Memory-Efficient Analytics

LISA – A Modern Proof System

Midas: Systematic Kernel TOCTTOU Protection

NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems

NrOS: Effective Replication and Sharing in an Operating System

How Many CPU Cores is an FPGA Worth? Lessons Learned from Accelerating String Sorting on a CPU-FPGA System

Reconfigurable and Latchable Shape‐Morphing Dielectric Elastomers Based on Local Stiffness Modulation

Graph Chatbot

Chat with Graph Search

Secure Interface Design Leveraging Hardware/Software Support

Stress granules quantification on fixed and live cells

End-to-end kernel learning via generative random Fourier features

How Many CPU Cores is an FPGA Worth? Lessons Learned from Accelerating String Sorting on a CPU-FPGA System

HetCache: Synergising NVMe Storage and GPU acceleration for Memory-Efficient Analytics

LISA – A Modern Proof System

Midas: Systematic Kernel TOCTTOU Protection

NrOS: Effective Replication and Sharing in an Operating System

NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems

Reconfigurable and Latchable Shape‐Morphing Dielectric Elastomers Based on Local Stiffness Modulation