Search Results - Melham, T.

Refine Results
  1. 1
    An industrially effective environment for formal hardware verification

    An industrially effective environment for formal hardware verification by Seger, C.-J.H., Jones, R.B., O'Leary, J.W., Melham, T., Aagaard, M.D., Barrett, C., Syme, D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Chronic ankle pain and fibrosis successfully treated with a new noninvasive augmented soft tissue mobilization technique (ASTM): a case report

    Chronic ankle pain and fibrosis successfully treated with a new noninvasive augmented soft tissue mobilization technique (ASTM): a case report by MELHAM, THOMAS J, SEVIER, THOMAS L, MALNOFSKI, MICHAEL J, WILSON, JULIE K, HELFST, ROBERT H

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    An analysis of errors in interactive proof attempts

    An analysis of errors in interactive proof attempts by Aitken, S., Melham, T.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A reflective functional language for hardware design and theorem proving

    A reflective functional language for hardware design and theorem proving by GRUNDY, JIM, MELHAM, TOM, O'LEARY, JOHN

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Interactive Theorem Proving: An Empirical Study of User Activity

    Interactive Theorem Proving: An Empirical Study of User Activity by Aitken, J.S., Gray, P., Melham, T., Thomas, M.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Atypical Pneumonia in Active Patients: Clues, Causes, and Return to Play

    Atypical Pneumonia in Active Patients: Clues, Causes, and Return to Play by Melham, Thomas J., Christie, Donald M.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    A symbolic execution framework for algorithm-level modelling

    A symbolic execution framework for algorithm-level modelling by Hanna, Z., Melham, T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Comparison of the effects of selected dressings on the healing of standardized abrasions

    Comparison of the effects of selected dressings on the healing of standardized abrasions by Claus, E E, Fusco, C F, Ingram, T, Ingersoll, C D, Edwards, J E, Melham, T J

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Using Nuprl for the Verification and Synthesis of Hardware [and Discussion]

    Using Nuprl for the Verification and Synthesis of Hardware [and Discussion] by Leeser, Miriam, Melham, T. F., Hunt, W. A., Clarke, E. M.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Practical formal verification in microprocessor design

    Practical formal verification in microprocessor design by Jones, R.B., O'Leary, J.W., Seger, C.-J.H., Aagaard, M.D., Melham, T.F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Dynamic specialisation of XC6200 FPGAs by partial evaluation

    Dynamic specialisation of XC6200 FPGAs by partial evaluation by McKay, N., Melham, T., Kong Woei Susanto

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Atypical Pneumonia In Active Patients

    Atypical Pneumonia In Active Patients by Melham, T J, Christie, D M

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    A Refinement Approach to Design and Verification of On-Chip Communication Protocols

    A Refinement Approach to Design and Verification of On-Chip Communication Protocols by Bohm, P., Melham, T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    A Package For Inductive Relation Definitions In HOL

    A Package For Inductive Relation Definitions In HOL by Melham, T.F.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Alcohol dehydrogenase II and fructose-1,6-bisphosphatase appear to be co-regulated in wild-type yeast

    Alcohol dehydrogenase II and fructose-1,6-bisphosphatase appear to be co-regulated in wild-type yeast by Wills, Christopher, Martin, Tracy, Melham, Thomas, Walker, Diana

    Published in FEBS letters
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Alcohol dehydrogenase II and fructose-1,6-biosphosphatase appear to be co-regulated in wild-type yeast

    Alcohol dehydrogenase II and fructose-1,6-biosphosphatase appear to be co-regulated in wild-type yeast by Wills, C, Martin, T, Melham, T, Walker, D

    Published in FEBS letters
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    The HOL logic extended with quantification over type variables

    The HOL logic extended with quantification over type variables by Melham, Thomas F.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  18. 18
    Towards A Vlsi Design Tool System

    Towards A Vlsi Design Tool System by Liblong, Breen, Melham, Tom, Birtwistle, Graham, Kendall, John

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  19. 19
    2OBJ: A Metalogical Framework Theorem Prover Based on Equational Logic [and Discussion]

    2OBJ: A Metalogical Framework Theorem Prover Based on Equational Logic [and Discussion] by Goguen, Joseph, Stevens, Andrew, Hilberdink, Hendrik, Hobley, Keith, Hunt, W. A., Melham, T. F.

    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Using Nuprl for the verification and synthesis of hardware. Discussion: Mechanised reasoning and hardware design

    Using Nuprl for the verification and synthesis of hardware. Discussion: Mechanised reasoning and hardware design by LEESER, M, MELHAM, T. F, LEESER, M, HUNT, W. A, CLARKE, E. M

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: