Lars M. Kristensen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The sweep-line method is a state space reduction technique for memory-efficient on-the-fly verification of concurrent systems. The method relies on a progress measure capturing inherent progress in the system under verification to store only fragments of the state space in memory at a time and thereby reduce peak memory usage. The sweep-line method has been(More)
A storage system with file replication is an important element in supporting reliable and fault tolerant file access in many grid computing systems. The Chelonia distributed storage system is being developed in the context of the NorduGrid project. It provides transparent access to replicated files stored on a heterogeneous collection of storage nodes with(More)
  • 1