%{search_type} search results

56 catalog results

RSS feed for this result
View results as:
Number of results to display per page

1. Trace theory for automatic hierarchical verification of speed-independent circuits [1989]

  • SAL3 (off-campus storage) : Stacks : TK7868 .S9 D55 1989

6. Proof methodologies for processor verification [2003]

  • SAL3 (off-campus storage) : Stacks : 3781 2003 C
  • Special Collections : University Archives : 3781 2003 C

7. Synchronization design for digital systems [1991]

  • SAL3 (off-campus storage) : Stacks : TK7868 .T5 M46 1991

8. Techniques for automatic verification of real-time systems [1991]

  • SAL3 (off-campus storage) : Stacks : 3781 1991 A
  • Special Collections : University Archives : 3781 1991 A

9. Boolean analysis of high-throughput biological datasets [2008]

  • SAL3 (off-campus storage) : Stacks : 3781 2008 S
  • Special Collections : University Archives : 3781 2008 S

10. Decision procedures for bit-vectors, arrays and integers [2007]

  • SAL3 (off-campus storage) : Stacks : 3781 2007 G
  • Special Collections : University Archives : 3781 2007 G

11. CMC : a model checker for network protocol implementations [2004]

  • SAL3 (off-campus storage) : Stacks : 3781 2004 M
  • Special Collections : University Archives : 3781 2004 M

12. Checking validities and proofs with CVC and flea [2002]

  • SAL3 (off-campus storage) : Stacks : 3781 2002 S
  • Special Collections : University Archives : 3781 2002 S

13. Checking validity of quantifier-free formulas in combinations of first-order theories [2002]

  • SAL3 (off-campus storage) : Stacks : 3781 2002 B
  • Special Collections : University Archives : 3781 2002 B

14. Symbolic simulation techniques for verifying circuits combining datapaths and controllers [2002]

  • SAL3 (off-campus storage) : Stacks : 3781 2001 S
  • Special Collections : University Archives : 3781 2001 S

15. State reduction methods for automatic formal verification [1996]

  • SAL3 (off-campus storage) : Stacks : 3781 1997 I
  • Special Collections : University Archives : 3781 1997 I

16. Hierarchical models of synchronous circuits for formal verification and substitution [1995]

  • SAL3 (off-campus storage) : Stacks : 3781 1996 W
  • Special Collections : University Archives : 3781 1996 W

17. Techniques for efficient formal verification using binary decision diagrams [1995]

  • SAL3 (off-campus storage) : Stacks : 3781 1996 H
  • Special Collections : University Archives : 3781 1996 H

18. Symbolic approximations for verifying real-time systems [1994]

  • SAL3 (off-campus storage) : Stacks : 3781 1995 W
  • Special Collections : University Archives : 3781 1995 W

19. Automatic synthesis of burst-mode asynchronous controllers [1993]

  • SAL3 (off-campus storage) : Stacks : 3781 1993 N
  • Special Collections : University Archives : 3781 1993 N

20. Formal verification along with design for transactional models [2008]

  • SAL3 (off-campus storage) : Stacks : 3781 2008 C
  • Special Collections : University Archives : 3781 2008 C

21. Automatic generation of invariants in formal verification of microprocessors and memory systems [2004]

  • SAL3 (off-campus storage) : Stacks : 3781 2004 A
  • Special Collections : University Archives : 3781 2004 A

22. Predicate abstraction [2004]

  • SAL3 (off-campus storage) : Stacks : 3781 2004 D
  • Special Collections : University Archives : 3781 2004 D

23. Writing, verifying, and exploiting formal specifications for hardware designs [2002]

  • SAL3 (off-campus storage) : Stacks : 3781 2002 S
  • Special Collections : University Archives : 3781 2002 S

24. Symbolic simulation using automatic abstraction of internal node values [2001]

  • SAL3 (off-campus storage) : Stacks : 3781 2001 W
  • Special Collections : University Archives : 3781 2001 W

25. Approximate symbolic model checking using overlapping projections [2000]

  • SAL3 (off-campus storage) : Stacks : 3781 2000 G
  • Special Collections : University Archives : 3781 2000 G

26. Applications of symbolic simulation to the formal verification of microprocessors [1999]

  • SAL3 (off-campus storage) : Stacks : 3781 1999 J
  • Special Collections : University Archives : 3781 1999 J

27. Polynomial-time techniques for approximate timing analysis of asynchronous systems [1998]

  • SAL3 (off-campus storage) : Stacks : 3781 1998 C
  • Special Collections : University Archives : 3781 1998 C

28. Prioritized model checking [1998]

  • SAL3 (off-campus storage) : Stacks : 3781 1999 Y
  • Special Collections : University Archives : 3781 1999 Y

Online 30. Algorithms for decoding cancer genomes [electronic resource] : phylogenetic inference and haplotype assembly [2015]

  • Special Collections : University Archives : 3781 2015 K

Online 31. Data representation synthesis [electronic resource] [2012]

  • Special Collections : University Archives : 3781 2012 H

Online 32. A modular and symbolic approach to static program analysis [electronic resource] [2011]

  • Special Collections : University Archives : 3781 2011 D

Online 33. Precise and automatic verification of container-manipulating programs [electronic resource] [2011]

  • Special Collections : University Archives : 3781 2011 D

Online 34. Algorithms for analysis of multiple biological sequences [electronic resource] : theory and practice [2010]

  • Special Collections : University Archives : 3781 2009 D

Online 36. Data-driven verification [electronic resource] [2016]

  • Special Collections : University Archives : 3781 2016 S

Online 37. Under-constrained symbolic execution [electronic resource] : correctness checking for real code [2015]

  • Special Collections : University Archives : 3781 2015 R

Online 38. State space reduction for dynamic symbolic execution [electronic resource] [2014]

  • Special Collections : University Archives : 3781 2014 B

Online 39. Computational algorithms and statistical models for ChIP sequencing analysis [electronic resource] [2012]

  • Special Collections : University Archives : 3781 2012 M

Online 40. Integrative methods for the analysis of genome wide association studies [electronic resource] [2012]

  • Special Collections : University Archives : 3781 2012 S

Online 43. 3D reconstruction in the wild [electronic resource] [2015]

  • Special Collections : University Archives : 3781 2015 C

Online 44. Computational methods for analyzing metabolomics data using metabolic networks [electronic resource] [2015]

  • Special Collections : University Archives : 3781 2015 Z

Online 46. Symbolic protocol composition logic [electronic resource] : proving network protocols to be secure [2014]

  • Special Collections : University Archives : 3781 2014 S

Online 47. Security and privacy of client-side isolation on the web [electronic resource] [2012]

  • Special Collections : University Archives : 3781 2012 B

Online 48. Axe, an automated formal equivalence checking tool for programs [electronic resource] [2011]

  • Special Collections : University Archives : 3781 2011 S

Online 49. Post-silicon bug localization in processors [electronic resource] [2010]

  • Special Collections : University Archives : 3781 2010 P

Online 50. Data mining and modeling of the human microbiome [electronic resource] [2015]

  • Special Collections : University Archives : 3781 2015 A

Articles+

Journal articles, e-books, & other e-resources

Guides

Course- and topic-based guides to collections, tools, and services.