Results for:
"
Calvert+Vaux
" in Documents
- Conversations with Rep. Ken Calvert. Interview by Frank Sietzen Jr.
- Rep. Calvert, chair of the House aeronautics and space subcommittee of the Science Committee, answers questions related to priorities for space in the current congressional session: the Vision for Spa...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2005-7-28
- An Extensible End-to-End Protocol and Framework 1995 1 citations ? 1 s...
- We describe a framework for composing end-to-end protocol functions. The framework comprises: a generic model of protocol processing; a metaheader protocol supporting per-packet configuration of proto...
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 13-05-09
- Augmenting the Proebsting-Watterson Filter Fusion Algorithm
- A sequence of processes connected by data streams can be executed using multiple threads, but, given current hardware, are more efficiently executed with a single thread. The ProebstingWatterson filte...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Augmenting the Proebsting-Watterson Filter Fusion Algorithm
- A sequence of processes connected by data streams can be executed using multiple threads, but, given current hardware, are more efficiently executed with a single thread. The ProebstingWatterson filte...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Augmenting the Proebsting-Watterson Filter Fusion Algorithm
- A sequence of processes connected by data streams can be executed using multiple threads, but, given current hardware, are more efficiently executed with a single thread. The ProebstingWatterson filte...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Augmenting the Proebsting-Watterson Filter Fusion Algorithm
- A sequence of processes connected by data streams can be executed using multiple threads, but, given current hardware, are more efficiently executed with a single thread. The ProebstingWatterson filte...
-
Rating:
Views: (1015)
Pages: ()
Uploaded: 13-05-09
- A Less Elementary Tutorial for the PVS Specification and Verification ...
- PVS is a verification system that provides a specification language integrated with support tools and a theorem-prover. It has been used at SRI and elsewhere to perform verifications of several signif...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- A Less Elementary Tutorial for the PVS Specification and Verification ...
- PVS is a verification system that provides a specification language integrated with support tools and a theorem-prover. It has been used at SRI and elsewhere to perform verifications of several signif...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09