Searching for authors named "David Kendall" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
CANDLE: A Tool for Efficient Analysis of CAN Control Systems
- …CANDLE: A Tool for E#cient Analysis of CAN Control Systems David Kendall Department of Computer…
- Add To MetaCart
-
Space Efficient Reachability Analysis for a Value Passing, Timed Process Algebra (Extended Abstract)
- …) David Kendall, William Henderson, and Adrian Robson Department of Computing and Mathematics, University…
- Add To MetaCart
-
Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems
- … William Henderson David Kendall Department of Computer Science, Durham University, South Road…
- Cited by 5 (0 self) – Add To MetaCart
-
An Application Oriented Real-Time Algebra
- …An Application Oriented Real-Time Algebra Steven Bradley William Henderson David Kendall Adrian…
- Cited by 1 (1 self) – Add To MetaCart
-
Designing and Implementing Correct Real-Time Systems
- …Designing and Implementing Correct Real-Time Systems Steven Bradley, William Henderson, David…
- Cited by 2 (2 self) – Add To MetaCart
-
Integrating AORTA with Model-Based Data Specification Languages
- … Henderson y , David Kendall y , Adrian Robson y October 20, 1997 Abstract AORTA has been proposed…
- Cited by 2 (1 self) – Add To MetaCart
-
Reducing Conservatism in Response Time Analysis of Distributed Systems
- … Henderson, David Kendall Abstract--- Rate Monotonic Analysis (RMA) is a wellestablished technique…
- Cited by 1 (0 self) – Add To MetaCart
-
Validation, Verification and Implementation of Timed Protocols Using AORTA
- … Henderson David Kendall Adrian Robson February 15, 1995 Abstract AORTA is an implementable timed process…
- Cited by 4 (2 self) – Add To MetaCart
-
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter
- ….henderson@(email omitted); School of Computing and Mathematics, University of Northumbria, Newcastle upon Tyne, UK DAVID KENDALL…
- Cited by 5 (0 self) – Add To MetaCart
-
A Formal Design and Implementation Method for Real-Time Embedded Systems
- … Henderson David Kendall Adrian Robson Department of Computing, University of Northumbria at Newcastle, UK…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
