Hardware: (ResearchIndex)

See this document in CiteSeerX!

Hardware: (Make Corrections)
Bill Bevier described the development of a theory of noninterference-style...

Rate this article:

(Enter summary)
Abstract: i of the U.S. Government presented a tool suitable for developing custom netlists for hardware such as DSPs. ffl Ed Greenwood of Motorola described the design of the DSP under analysis. ffl Bishop Brock described his efforts in modeling the DSP within Acl2. ffl Ken Albin and Warren Hunt described the modeling and formal verification of the implementation of two algorithms on the DSP: a reciprocal algorithm and a fast fourier transform. 12 ffl John Cowles (a CLI consultant) from the... (Update)

Similar documents (at the sentence level):
7.6%: The QED Workshop - Held At (Correct)

Active bibliography (related documents): More All
0.5: Proof Procedures for Logic Programming - Donald W. Loveland, Gopalan.. (1994) (Correct)
0.0: Automated Deduction by Theory Resolution - Stickel (1985) (Correct)
0.0: A Theory of Resolution - Bachmair, Ganzinger (1997) (Correct)

Similar documents based on text: More All
0.6: Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (Correct)
0.6: Technical Overview of the Common Language Runtime - Meijer, Gough (2000) (Correct)
0.3: Compact Clifford-Klein Forms Of Homogeneous Spaces Of SO(2,n) - Oh, Witte (Correct)

BibTeX entry: (Update)

@misc{ very-hardware,
  author = "Cli Has Very",
  title = "Hardware:",
  url = "citeseer.ist.psu.edu/300325.html" }