Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,758 papers from all fields of science
Search
Sign In
Create Free Account
Cycle detection
Known as:
Floyd cycle-finding algorithm
, Cycle
, The Tortoise and the Hare (disambiguation)
Expand
In computer science, cycle detection or cycle finding is the algorithmic problem of finding a cycle in a sequence of iterated function values. For…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
38 relations
Algorithm
Burt Kaliski
Cellular automaton
Common Lisp
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
Ekaterina Komendantskaya
,
Patricia Johann
arXiv.org
2015
Corpus ID: 18108315
Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi…
Expand
2013
2013
Time- and space-efficient flow-sensitive points-to analysis
R. Nasre
ACM Transactions on Architecture and Code…
2013
Corpus ID: 17951509
Compilation of real-world programs often requires hours. The term nightly build known to industrial researchers is an artifact of…
Expand
2010
2010
Parallel Partial Order Reduction with Topological Sort Proviso
J. Barnat
,
L. Brim
,
P. Ročkai
IEEE International Conference on Software…
2010
Corpus ID: 1284766
Partial order reduction and distributed-memory processing are the two essential techniques to fight the well-known state space…
Expand
2009
2009
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
J. Barnat
,
L. Brim
,
P. Ročkai
IEEE International Conference on Formal…
2009
Corpus ID: 1151201
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm…
Expand
2008
2008
Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization
Weichen Liu
,
Mingxuan Yuan
,
Xiuqiang He
,
Z. Gu
,
Xue Liu
IEEE Real-Time Systems Symposium
2008
Corpus ID: 6510521
As Moore's law comes to an end, multiprocessor systems are becoming ubiquitous in today's embedded systems design. In this paper…
Expand
2006
2006
The role of ecodevelopmental context and self-concept in depressive and externalizing symptoms in Hispanic adolescents
S. Schwartz
,
J. Coatsworth
,
Hilda M. Pantin
,
G. Prado
,
E. Sharp
,
J. Szapocznik
2006
Corpus ID: 44192368
The present study examined the extent to which self-concept is related to depressive and externalizing symptoms in Hispanic…
Expand
2005
2005
Handling Liveness Properties in (omega-)Regular Model Checking
A. Bouajjani
,
Axel Legay
,
P. Wolper
Infinity
2005
Corpus ID: 30320626
2005
2005
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Mohammad Awedh
,
F. Somenzi
BMC@CAV
2005
Corpus ID: 7685490
1993
1993
Strongly polynomial-time and NC algorithms for detecting cycles in periodic graphs
E. Cohen
,
N. Megiddo
JACM
1993
Corpus ID: 16326492
This paper is concerned with the problem of recognizing, in a graph with rational vector-weights associates with the edges, the…
Expand
1987
1987
Concurrency control based on distributed cycle detection
K. Sugihara
IEEE Third International Conference on Data…
1987
Corpus ID: 10790155
This paper presents a novel optimistic concurrency control mechanism for distributed database systems. The optimistic concurrency…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE