79 results on '"Hunt, JR"'
Search Results
2. VWSIM: A Circuit Simulator.
3. A Hierarchical Approach to Self-Timed Circuit Verification.
4. Data-Loop-Free Self-Timed Circuit Verification.
5. A Framework for Asynchronous Circuit Modeling and Verification in ACL2.
6. Vegetation water content of crops and woodlands for improving soil moisture retrievals from coriolis windsat.
7. Efficient, Verified Checking of Propositional Proofs.
8. Efficient Certified RAT Verification.
9. How to think about self-timed systems.
10. Expressing Symmetry Breaking in DRAT Proofs.
11. DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs.
12. Simulation and formal verification of x86 machine-code programs that make system calls.
13. Fourier Series Formalization in ACL2(r).
14. A Parallelized Theorem Prover for a Logic with Parallel Execution.
15. Mechanical Verification of SAT Refutations with Extended Resolution.
16. Verifying Refutations with Extended Resolution.
17. Automated Code Proofs on a Formal Model of the X86.
18. Trimming while checking clausal proofs.
19. A formal model of a large memory that supports efficient execution.
20. A Futures Library and Parallelism Abstractions for a Functional Subset of Lisp.
21. A flexible formal verification framework for industrial scale validation.
22. A Mechanically Verified AIG-to-BDD Conversion Algorithm.
23. Verifying VIA Nano microprocessor components.
24. Assessment of spectral indices for crop residue cover estimation.
25. Wheat straw composition and spectral reflectance changes during decomposition.
26. Centaur Technology Media Unit Verification.
27. Connecting pre-silicon and post-silicon verification.
28. Remote Sensing With Simulated Unmanned Aircraft Imagery for Precision Agriculture Applications.
29. Bridging the gap between easy generation and efficient verification of unsatisfiability proofs.
30. Mechanized Information Flow Analysis through Inductive Assertions.
31. Remote Sensing of Canopy Water Content During SMEX'04 and SMEX'05 Using Shortwave-Infrared Reflectances.
32. Improved Remotely-Sensed Estimates of Crop Residue Cover by Incorporating Soils Information.
33. Mechanized Certification of Secure Hardware Designs.
34. A SAT-based procedure for verifying finite state machines in ACL2.
35. Phylogenetic trees in ACL2.
36. Function memoization and unique object representation for ACL2 functions.
37. An embedding of the ACL2 logic in HOL.
38. A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA).
39. Automatic insertion of low power annotations in RTL for pipelined microprocessors.
40. An Integration of HOL and ACL2.
41. Scaling Vegetation Water Content from Thematic Mapper to MODIS During SMEX04.
42. Formalization of the DE2 Language.
43. Meta Reasoning in ACL2.
44. A Compressed Format for Collections of Phylogenetic Trees and Improved Consensus Performance.
45. Mechanical Mathematical Methods for Microprocessor Verification.
46. Deductive Verification of Pipelined Machines Using First-Order Quantification.
47. Linear and Nonlinear Arithmetic in ACL2.
48. Abstract Stobjs and Their Application to ISA Modeling
49. A visible band index for remote sensing leaf chlorophyll content at the canopy scale.
50. Efficient Certified RAT Verification.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.