Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,771 papers from all fields of science
Search
Sign In
Create Free Account
Strongly connected component
Known as:
Strongly Connected Components
, Strongly connected
, Condensation (disambiguation)
Expand
In the mathematical theory of directed graphs, a graph is said to be strongly connected if every vertex is reachable from every other vertex. The…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
43 relations
2-satisfiability
Aperiodic graph
Büchi automaton
Clique (graph theory)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Performance-guaranteed strongly connected dominating sets in heterogeneous wireless sensor networks
Chunyan Liu
,
Hejiao Huang
,
Hongwei Du
,
Xiaohua Jia
IEEE INFOCOM - The 35th Annual IEEE…
2016
Corpus ID: 2972570
In wireless sensor networks, Virtual Backbone (VB) construction based on connected dominating set is a competitive issue for…
Expand
Review
2011
Review
2011
Towards Modelica 4 Meta-Programming and Language Modeling with MetaModelica 2.0
P. Fritzson
,
A. Pop
,
Martin Sjölund
2011
Corpus ID: 62148978
This report gives a language definition and tutorial on how to model languages using MetaModelica 2.0 – an extension of Modelica…
Expand
2010
2010
Symbolic Computation of Strongly Connected Components Using Saturation
Yang Zhao
,
G. Ciardo
NASA Formal Methods
2010
Corpus ID: 887528
Finding strongly connected components (SCCs) in the state-space of discrete-state models is a critical task in formal…
Expand
2004
2004
On the role of strongly connected components in argumentation
U. Brescia
,
Via Branze
2004
Corpus ID: 14429445
In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion…
Expand
Review
2002
Review
2002
Market Research in the Boat Tourism Segment
O. Gjesdal
,
J. R. Sulebak
,
M. Borge
Information and Communication Technologies in…
2002
Corpus ID: 14625180
The purpose of this study was to determine whether there is a need for better tourism information on a portable media like a PDA…
Expand
1998
1998
Parallel Arc-Consistency for Functional Constraints
A. Ruiz-Andino
,
Lourdes Araujo
,
F. Sáenz-Pérez
,
J. Ruz
Implementation Technology for Programming…
1998
Corpus ID: 11964716
We present in this paper a parallel execution model of arc-consistency for Constraint Satisfaction Problems (CSP), implemented on…
Expand
1997
1997
Optimizing synchronization in multiprocessor DSP systems
S. Bhattacharyya
,
S. Sriram
,
Edward A. Lee
IEEE Transactions on Signal Processing
1997
Corpus ID: 10027813
This paper is concerned with multiprocessor implementations of embedded applications specified as iterative dataflow programs in…
Expand
1995
1995
Minimizing synchronization overhead in statically scheduled multiprocessor systems
S. Bhattacharyya
,
S. Sriram
,
Edward A. Lee
Proceedings The International Conference on…
1995
Corpus ID: 2424929
Synchronization overhead can significantly degrade performance in embedded multiprocessor systems. This paper develops techniques…
Expand
1985
1985
Counting strongly connected finite automata
R. W. Robinson
1985
Corpus ID: 124910846
1962
1962
The Structure of an Automaton and Its Operation-Preserving Transformation Group
G. Weeg
JACM
1962
Corpus ID: 3260844
This paper is mot iva ted by Fleck's s tudy [1] on certain classes of structurepreserving, nontrivial t ransformations of au…
Expand