Publications associées à History of operating systems

NrOS: Effective Replication and Sharing in an Operating System

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

Architecture Exploration and Optimization of Heterogeneous Many-Core Compute and Memory Architectures with Architectural Extensions

Yasir Mahmood Qureshi

The expeditious proliferation of Internet connectivity and the growing adoption of digital products have transformed various spheres of our everyday lives. This increased digitization of society has led to the emergence of new applications, which are deplo ...

EPFL2021

Analog Control of Retainable Resistance Multistates in HfO2 Resistive-Switching Random Access Memories (ReRAMs)

Elmira Shahrabi, Yusuf Leblebici, Jury Sandrini, Carlo Ricciardi, Cecilia Giovinazzo, Oguz Tolga Celik

Resistive-switching random access memory (ReRAM) technologies are nowadays a good candidate to overcome the bottleneck of Von Neumann architectures, taking advantage of their logic-in-memory capability and the ability to mimic biological synapse behavior. ...

AMER CHEMICAL SOC2019

A mixed anion hydroborate/carba-hydroborate as a room temperature Na-ion solid electrolyte

Radovan Cerny, Pascal Alexander Schouwink, Matteo Brighi

The novel compound Na2-x(CB11H12)(x)(B12H12)(1-x) shows a fast ionic Na conductivity of 2 mS cm(-1) at room temperature, reaching the superionic regime above 333 K. A low activation energy of 314 meV, in a thermodynamically and electrochemically stable str ...

ELSEVIER SCIENCE BV2018

The ALPS project release 2.0: open source software for strongly correlated systems

Jean-David Picon

We present release 2.0 of the ALPS (Algorithms and Libraries for Physics Simulations) project, an open source software project to develop libraries and application programs for the simulation of strongly correlated quantum lattice models such as quantum ma ...

2011

Reverse Engineering of Binary Device Drivers with RevNIC

George Candea, Vitaly Chipounov

This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driver’s logic, and synthesizes new device driver code that implements the exact same ...

2010

Dynamically reconfigurable bio-inspired hardware

Andres Upegui

During the last several years, reconfigurable computing devices have experienced an impressive development in their resource availability, speed, and configurability. Currently, commercial FPGAs offer the possibility of self-reconfiguring by partially modi ...

EPFL2006

Unifying software and hardware of multithreaded reconfigurable applications within operating system processes

Miljan Vuletic

Novel reconfigurable System-on-Chip (SoC) devices offer combining software with application-specific hardware accelerators to speed up applications. However, by mixing user software and user hardware, principal programming abstractions and system-software ...

EPFL2006

Design and development of the smart machine vision sensor

The Smart Machine Vision Sensor (SMVS) is a self-contained low-cost machine vision system that combines an image sensor, a processing unit and communication interfaces in a single unit. This paper describes the design of the SMVS, the concept of the operat ...

1998