Modern computer systems have been built around the assumption that persistent storage is accessed via a slow, block-based interface. However, new byte-addressable, persistent memory technologies such as Phase Change Memory (PCM) offer fast, fine-grained access to persistent storage. In this paper, the authors present a file system and a hardware architecture that are designed around ...

The past two decades have witnessed a proliferation of microelectronic devices in automotive systems. Today, such devices are commonly used in a wide range of automotive applications including engine and vehicle control, anti-lock brakes, navigation systems, and car entertainment units. In this paper, the authors report on their progress in developing a dynamically reconfigurable processing ...

There has been a great deal of hype about Amazon’s Simple Storage Service (S3). S3 provides infinite scalability and high availability at low cost. Currently, S3 is used mostly to store multi-media documents (videos, photos, audio) which are shared by a community of people and rarely updated. The purpose of this paper is to demonstrate ...

There has been a significant amount of excitement and recent work on column-oriented database systems (“Column-stores”). These database systems have been shown to perform more than an order of magnitude better than traditional row-oriented database systems (“Row-stores”) on analytical workloads such as those found in data warehouses, decision support, and business intelligence applications. The elevator ...

Real-time embedded systems are typically constrained in terms of three system performance criteria: space, time, and energy. The performance requirements are directly translated into constraints imposed on the system’s resources, such as code size, execution time, and energy consumption. These resource constraints often interact or even conflict with each other in a complex manner, making ...

Automated verification of distributed programs is a challenging problem. Since the behavior of a distributed program encompasses the behavior of the network, possible configurations of the network have to be investigated during verification. This leads to very large state spaces, and automated verification becomes infeasible. The authors present a framework that addresses this problem by ...