Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,350,554 papers from all fields of science
Search
Sign In
Create Free Account
Alternating bit protocol
Known as:
ABP
Alternating bit protocol (ABP) is a simple network protocol operating at the data link layer that retransmits lost or corrupted messages. It can be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Bounded Retransmission Protocol
Calculus of Broadcasting Systems
Channel (communications)
Stop-and-wait ARQ
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Robust Approximate Bilinear Programming for Value Function Approximation
Marek Petrik
,
S. Zilberstein
Journal of machine learning research
2011
Corpus ID: 14397552
Value function approximation methods have been successfully used in many applications, but the prevailing techniques often lack…
Expand
2011
2011
Comparative studies on solder joint reliability of CTBGA assemblies with various adhesives using the array-based package shear test
Hongbin Shi
,
T. Ueda
Microelectronics and reliability
2011
Corpus ID: 34761404
2009
2009
Unidad didáctica para abordar el concepto de célula desde la resolución de problemas por investigación
Edith Herrera San Martín
,
I. S. Soto
2009
Corpus ID: 191173284
El presente trabajo muestra la forma de construir y aplicar una unidad didactica para aprendizaje de la celula en forma activa…
Expand
2007
2007
Programming Research Group a Stepwise Development of the Alternating Bit Protocol a Stepwise Development of the Alternating Bit Protocol
A. Wabenhorst
2007
Corpus ID: 14742437
In this paper, the theory of fair action systems is used in the speciication and development of the Alternating Bit Protocol. A…
Expand
2006
2006
A photocrosslinkable melt processible acrylonitrile terpolymer as carbon fiber precursor
T. Mukundan
,
V. Bhanu
,
+7 authors
J. Mcgrath
2006
Corpus ID: 26289575
2006
2006
New Load Modeling Approaches Based on Field Tests for Fast Transient Stability Calculations
Q. Ai
,
D. Gu
,
Cheng Chen
IEEE Transactions on Power Systems
2006
Corpus ID: 45248577
The load models play an important role in the simulation and evaluation of power systems performance. This paper first proposes a…
Expand
1999
1999
The Alternating Bit Protocol
W. Feijen
,
A. V. Gasteren
1999
Corpus ID: 60328238
The Alternating Bit Protocol is an algorithm for the correct transmission of a data stream from one place to another via so…
Expand
1998
1998
An Elementary Derivation of the Alternating Bit Protocol
W. Feijen
,
A. van Gasteren
,
Birgit Schieder
International Conference on Mathematics of…
1998
Corpus ID: 35925342
The famous alternating bit protocol is an algorithm for transmitting a sequence of data through a so-called faulty channel, i.e…
Expand
1993
1993
A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions
M. Bezem
,
J. F. Groote
1993
Corpus ID: 18493528
We report on a formal verification of the Alternating Bit Protocol (ABP) in the Calculus of Constructions. We outline a semi…
Expand
1981
1981
A mechanical verification of the Alternating Bit Protocol
Ben DiVito
SOEN
1981
Corpus ID: 16010636
The Alternating Bit Protocol has been modeled via a straighforward application of the Gypsy methodology. A safety property was…
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