Searching for authors named "William Henderson" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Analysis of Randomized Controlled Trials Peduzzi et al. Analysis of Randomized Controlled Trials
- … Trials Peter Peduzzi, 1 William Henderson, 2 Pamela Hartigan, 1 and Philip Lavori 3,4 INTRODUCTION…
- 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
-
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter
- … to Distributed Systems Computing Minimal Response Times and Reducing Jitter WILLIAM HENDERSON william.henderson…
- Cited by 4 (0 self) – 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
- …Integrating AORTA with Model-Based Data Specification Languages Steven Bradley , William…
- Cited by 2 (1 self) – Add To MetaCart
-
Reducing Conservatism in Response Time Analysis of Distributed Systems
- …; William Henderson, and David Kendall are with the Department of Computing, University of Northumbria…
- Cited by 1 (0 self) – Add To MetaCart
-
Validation, Verification and Implementation of Timed Protocols Using AORTA
- …Validation, Verification and Implementation of Timed Protocols using AORTA Steven Bradley William…
- Cited by 4 (2 self) – Add To MetaCart
-
A Formal Design and Implementation Method for Real-Time Embedded Systems
- …A Formal Design and Implementation Method For Real-Time Embedded Systems Steven Bradley William…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
