Sciweavers

4359 search results - page 99 / 872
» Automated Pipeline Design
Sort
View
CI
2004
95views more  CI 2004»
13 years 9 months ago
Automated Design of Security Protocols
Hao Chen, John A. Clark, Jeremy L. Jacob
IJHCI
2000
36views more  IJHCI 2000»
13 years 9 months ago
Designing a Telephone-Based Interface for a Home Automation System
Nina Sandweg, Marc Hassenzahl, Klaus Kuhn
CAV
1998
Springer
86views Hardware» more  CAV 1998»
14 years 1 months ago
Formal Verification of Out-of-Order Execution Using Incremental Flushing
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
Jens U. Skakkebæk, Robert B. Jones, David L....