Cycle detection

Known as: Floyd cycle-finding algorithm, Cycle, The Tortoise and the Hare (disambiguation)

In computer science, cycle detection or cycle finding is the algorithmic problem of finding a cycle in a sequence of iterated function values. For…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi…

2013

Compilation of real-world programs often requires hours. The term nightly build known to industrial researchers is an artifact of…

2010

Partial order reduction and distributed-memory processing are the two essential techniques to fight the well-known state space…

2009

One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm…

2008

As Moore's law comes to an end, multiprocessor systems are becoming ubiquitous in today's embedded systems design. In this paper…

2006

The present study examined the extent to which self-concept is related to depressive and externalizing symptoms in Hispanic…

2005

2005

1993

This paper is concerned with the problem of recognizing, in a graph with rational vector-weights associates with the edges, the…

1987

This paper presents a novel optimistic concurrency control mechanism for distributed database systems. The optimistic concurrency…