Since the advent of the first computers, chemists have been at the forefront of using
computers to understand and solve complex chemical problems. As the hardware and …

NAMD is a molecular dynamics program designed for high-performance simulations of very
large biological objects on CPU-and GPU-based architectures. NAMD offers scalable …

The next generation of supercomputers will break the exascale barrier. Soon we will have
systems capable of at least one quintillion (billion billion) floating-point operations per …

The Internet of Things (IoT) is a ubiquitous system connecting many different devices-the
things-which can be accessed from the distance. The cyber-physical systems (CPSs) …

The increasing complexity of modern high-performance computing (HPC) systems
necessitates the introduction of automated and data-driven methodologies to support system …

During the past few years, a number of verification tools have been developed for real-time
systems in the framework of timed automata (eg KRONOS and UPPAAL). One of the major …

In their quest toward Exascale, High Performance Computing (HPC) systems are rapidly
becoming larger and more complex, together with the issues concerning their maintenance …

The upcoming 5G technologies promise to enable ultra low latency services such as remote
robotics, augmented reality or vehicle to vehicle communications. Fog and MEC computing …

In a design based on the Charm++ parallel programming framework, an adaptive runtime
system dynamically interacts with a datacenter's resource manager to control power by …

We present a unified fault-tolerance framework for task-parallel message-passing
applications to mitigate transient errors. First, we propose a fault-tolerant message-logging …