This article surveys and gives historical accounts to the algorithmic essentials of directed
model checking, a promising bug-hunting technique to mitigate the state explosion problem …

We report on initial experimental results for a practical I/O-efficient Single-Source Shortest-
Paths (SSSP) algorithm on general undirected sparse graphs where the ratio between the …

Using the cloud storage services, users can access their data in any time, at any place, even
with any computing device including mobile devices. Although these properties provide …

Flash memory-based solid-state disks are fast becoming the dominant form of end-user
storage devices, partly even replacing the traditional hard-disks. Existing two-level memory …

In this paper we improve large-scale disk-based model checking by shifting complex
numerical operations to the graphic card, enjoying that during the last decade graphics …

Solid state disks based on flash memory are an apparent alternative to hard disks for
external memory search. Random reads are much faster, while random writes are generally …

Many state spaces are so big that even in compressed form they fail to fit into main memory.
As a result, during the execution of a search algorithm, only a part of the state space can be …

The evolution of science is a double-track process composed of theoretical insights on the
one hand and practical inventions on the other one. While in most cases new theoretical …

We propose a variation of online paging in two-level memory systems where pages in the
fast cache get modified and therefore have to be explicitly written back to the slow memory …

As the capacity and speed of flash memories in form of solid state disks grow, they are
becoming a practical alternative for standard magnetic drives. Currently, most solid-state …