( en | de | ru )

 

Disambiguation of "Kendall, David"

Author of the publication

copydeleteadd this publication to your clipboard
Validation, verification and implementation of timed protocols using AORTA.

, , , and . PSTV, volume 38 of IFIP Conference Proceedings, page 205-220. Chapman & Hall, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arnold Kendall

Kendall Lister

Kendall Grant Byler

Bodo David

Erich David

 

Other publications of authors with the same name

Vulnerability of insens to denial of service attacks., , and . ICASSP, page 1896-1899. IEEE, (2011)The Martin boundary of Pólya's urn scheme, and an application to stochastic population growth, and . J. Appl. Probability, (1964)Consider an ``urn scheme'' in which balls of $k$ colors are present in a single urn (initially one of each color) and successive random drawings made. After each drawing, the selected ball is replaced together with another of the same color. The authors add to the existing supply of examples by determining the Martin boundary of this process, which turns out to be homeomorphic to the set of $k$-vectors with non-negative components summing to 1. Applications to a moment problem and a stochastic birth process are discussed. Reviewer's remark: In case $k=2$, the boundary is the unit interval, as in T. Watanabe's coin-tossing example J. Math. Soc. Japan 12 (1960), 192--206; MR0120683 (22 #11432). In fact, the Pólya process is an $h$-process for coin-tossing, so that this agreement is no coincidence..A Formal Design and Implementation Method for Real-Time Embedded Systems., , , , and . EUROMICRO, page 77-. IEEE Computer Society, (1996)bCANDLE: Formal Modelling and Analysis of CAN Control Systems., , , and . IEEE Real Time Technology and Applications Symposium, page 171-177. IEEE Computer Society, (1998)Validation, verification and implementation of timed protocols using AORTA., , , and . PSTV, volume 38 of IFIP Conference Proceedings, page 205-220. Chapman & Hall, (1995)Efficacy, Safety, and Tolerability of Once-Daily Niacin for the Treatment of Dyslipidemia Associated With Type 2 Diabetes: Results of the Assessment of Diabetes Control and Evaluation of the Efficacy of Niaspan Trial, , , , , , , , , and 2 other author(s). Archives of Internal Medicine, (Jul 22, 2002)Some Data-Analytic Problems in Archaeology and History.. IFIP Congress (2), page 1371-1376. North-Holland, (1971)Formal modelling and analysis of broadcasting embedded control systems.. Newcastle University, Newcastle upon Tyne, UK, (2001)British Library, EThOS.Applying formal modelling to detect DoS attacks in wireless medium., , , and . CSNDSP, page 896-900. IEEE, (2010)Void Reduction in Self-Healing Swarms., , , , and . ALIFE, page 87-94. MIT Press, (2019)