Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,295 papers from all fields of science
Search
Sign In
Create Free Account
Correctness (computer science)
Known as:
Partial
, Correctness
, Provably correct
Expand
In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
Algorithm
Algorithmic program debugging
Alloy (specification language)
Artifact (software development)
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
A Distributed Fault-Tolerant Topology Control Algorithm for Heterogeneous Wireless Sensor Networks
Hakkı Bağcı
,
I. Korpeoglu
,
A. Yazıcı
IEEE Transactions on Parallel and Distributed…
2015
Corpus ID: 7691294
This paper introduces a distributed fault-tolerant topology control algorithm, called the Disjoint Path Vector (DPV), for…
Expand
Highly Cited
2005
Highly Cited
2005
An error model for inter-vehicle communications in highway scenarios at 5.9GHz
Yunpeng Zang
,
Lothar Stibor
,
G. Orfanos
,
Shumin Guo
,
Hans-Jürgen Reumerman
ACM International Workshop on Performance…
2005
Corpus ID: 11114763
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational…
Expand
Highly Cited
2002
Highly Cited
2002
Development of ceramic mixed potential sensors for automotive application
E. Brasha
,
R. Mukundan
,
D. R. Brown
,
F. Garzon
,
J. Visser
2002
Corpus ID: 98449173
Highly Cited
2001
Highly Cited
2001
Refined Search Tree Technique for Dominating Set on Planar Graphs 1
J. Alber
,
H. Fernau
,
R. Niedermeier
,
Hongbing Fan
,
M. Fellows
,
Frances A. Rosamond
2001
Corpus ID: 3978714
We establish a refined search tree technique for the parameterized Dominating Set problem on planar graphs. Here, we are given an…
Expand
Highly Cited
1995
Highly Cited
1995
Bayesian Learning for Neural Networks
Radford M. Neal
1995
Corpus ID: 60809283
Artificial "neural networks" are widely used as flexible models for classification and regression applications, but questions…
Expand
Highly Cited
1991
Highly Cited
1991
CAREL: Computer Aided Reliability Evaluator for Distributed Computing Networks
S. Soh
,
S. Rai
IEEE Trans. Parallel Distributed Syst.
1991
Corpus ID: 1132635
An efficient method to compute the terminal reliability (the probability of communication between a pair of nodes) of a…
Expand
Highly Cited
1985
Highly Cited
1985
Novel method for analysis of printed circuit images
J. Mandeville
1985
Corpus ID: 56693143
To keep pace with the trend towards increased circuit integration, printed circuit patterns are becoming denser and more complex…
Expand
Highly Cited
1977
Highly Cited
1977
A Unified Method for the Specification and Verification of Protocols
G. Bochmann
,
J. Gecsei
IFIP Congress
1977
Corpus ID: 11620779
Verification of communication protocols usually involves two parts: a state-machine analysis of the control structure and proving…
Expand
Highly Cited
1975
Highly Cited
1975
Characterization of trace metal species and measurement of trace metal stability constants by electrochemical techniques
R. Ernst
,
H. Allen
,
K. H. Mancy
1975
Corpus ID: 53695013
Highly Cited
1934
Highly Cited
1934
THE IONIZATION OF CALCIUM, MAGNESIUM, AND STRONTIUM CITRATES
A. Baird Hastings
,
Franklin C. McLean
,
L. Eichelberger
,
James Lowell Hall
,
Esther Da Costa
1934
Corpus ID: 33741012
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