Searching for authors named "Alan Williams" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Surface Fitting Using GCV Smoothing Splines on Supercomputers
- …Surface Fitting Using GCV Smoothing Splines on Supercomputers Alan Williams and Kevin Burrage abw…
- Cited by 3 (2 self) – Add To MetaCart
-
A Practical Strategy for Testing Pair-wise Coverage of Network Interfaces
- …A Practical Strategy for Testing Pair-wise Coverage of Network Interfaces Alan W. Williams Robert L…
- Cited by 21 (2 self) – Add To MetaCart
-
The ELLA Verification Environment: A Tutorial Introduction
- … Introduction Howard Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-94…
- Cited by 3 (1 self) – Add To MetaCart
-
A Process Algebra Foundation for Reasoning about Core ELLA
- … ELLA Howard Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-94-12-1 FORMAL…
- Cited by 2 (2 self) – Add To MetaCart
-
A Process Algebraic Semantics for Core - ELLA
- … Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-93-2-1 FORMAL VERIFICATION…
- Cited by 2 (2 self) – Add To MetaCart
-
The State Evolution Method for Verifying Hardware Systems
- … Howard Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-95-7-1 FORMAL…
- Cited by 1 (1 self) – Add To MetaCart
-
Fast Functional Test Generation Using an SDL model
- …FAST FUNCTIONAL TEST GENERATION USING AN SDL MODEL Robert L. Probert, Alan W. Williams School…
- Cited by 2 (2 self) – Add To MetaCart
-
Formulation of the interaction test coverage problem as an integer problem
- …Formulation of the Interaction Test Coverage Problem as an Integer Program Alan W. Williams…
- Cited by 3 (0 self) – Add To MetaCart
-
Fast Functional Test Generation Using an SDL Model
- …1 FAST FUNCTIONAL TEST GENERATION USING AN SDL MODEL Robert L. Probert, Alan W. Williams School…
- Add To MetaCart
-
Applying a robust heteroscedastic probabilistic neural network to analog fault detection and classification
- … and Classification Zheng Rong Yang, Mark Zwolinski, Member, IEEE, Chris D. Chalk, and Alan Christopher Williams…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
