Showing 1 - 5 results of 5 for search 'Rosemary Monahan', query time: 0.03s Refine Results
  1. 1
    Power Consumption Profiling of a Lightweight Development Board: Sensing with the INA219 and Teensy 4.0 Microcontroller

    Power Consumption Profiling of a Lightweight Development Board: Sensing with the INA219 and Teensy 4.0 Microcontroller by Jonathan Lambert, Rosemary Monahan, Kevin Casey

    Published 2021-03-01
    Get full text
    Article
  2. 2
    Accidental Choices—How JVM Choice and Associated Build Tools Affect Interpreter Performance

    Accidental Choices—How JVM Choice and Associated Build Tools Affect Interpreter Performance by Jonathan Lambert, Rosemary Monahan, Kevin Casey

    Published 2022-06-01
    Get full text
    Article
  3. 3
    Predicting SMT Solver Performance for Software Verification

    Predicting SMT Solver Performance for Software Verification by Andrew Healy, Rosemary Monahan, James F. Power

    Published 2017-01-01
    Get full text
    Article
  4. 4
    Building Specifications in the Event-B Institution

    Building Specifications in the Event-B Institution by Marie Farrell, Rosemary Monahan, James F. Power

    Published 2022-11-01
    Get full text
    Article
  5. 5
    CSP2Turtle: Verified Turtle Robot Plans

    CSP2Turtle: Verified Turtle Robot Plans by Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

    Published 2023-04-01
    Get full text
    Article

Search Tools: