( en | de | ru )

 

Disambiguation of "Kendall, David"

Author of the publication

copydeleteadd this publication to your clipboard
Designing and Implementing Correct Real-Time Systems.

, , , and . FTRTFT, volume 863 of Lecture Notes in Computer Science, page 228-246. Springer, (1994)

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

Erich David

Ernst David

 

Other publications of authors with the same name

Vulnerability of insens to denial of service attacks., , and . ICASSP, page 1896-1899. IEEE, (2011)Application-oriented real time algebra., , , and . Softw. Eng. J., 9 (5): 201-212 (1994)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)Integrating AORTA with Model-Based Data Specification Languages., , , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 54-70. Springer, (1998)A novel potential field model for perimeter and agent density control in multiagent swarms., , , , and . Expert Syst. Appl., (October 2023)Formal modelling of a robust Wireless Sensor Network routing protocol., , , and . AHS, page 281-288. IEEE Computer Society, (2010)A formally based hard real-time kernel., , , and . Microprocess. Microsystems, 18 (9): 513-521 (1994)Designing and Implementing Correct Real-Time Systems., , , and . FTRTFT, volume 863 of Lecture Notes in Computer Science, page 228-246. Springer, (1994)