Showing 1 - 20 results of 22 for search 'Martin Rinard.', query time: 0.27s Refine Results
  1. 1
    Using dynamic analysis to infer Python programs and convert them into database programs
    by Wu, Jerry.
    Published 2019
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  2. 2
    Composable inference metaprogramming using subproblems
    by Handa, Shivam.
    Published 2019
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  3. 3
    Tree form : an intermediate representation for retargetable optimizing compliers
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  4. 4
    Region-based memory management for real-time Java
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  5. 5
    An empirical study of a novel technique : rationed-memory compiling
    by Leu, Ioan Tudor
    Published 2006
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  6. 6
    Dynamic optimization through the use of automatic runtime specialization
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  7. 7
    Implementing a verified FTP client and server
    by Ramseyer, Jennifer
    Published 2016
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  8. 8
    Learning precise partial semantic mappings via linear algebra
    by Khani, Fereshte
    Published 2016
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  9. 9
    Newton : a language for describing physics
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  10. 10
    Architectural and compiler support for strongly atomic transactional memory
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  11. 11
    Extending the Java language for the prevention of data races
    by Lee, Robert Honway, 1981-
    Published 2005
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  12. 12
    Detecting and escaping infinite loops using Bolt
    by Kling, Michael (Michael W.)
    Published 2013
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  13. 13
    An empirical study of technologies to implement servers in Java
    by Demsky, Brian Charles, 1975-
    Published 2014
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  14. 14
    Statistically determining memory consumption of real-time Java threads
    by Gheorghioiu, Ovidiu, 1979-
    Published 2014
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  15. 15
    The static single information form
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  16. 16
    The Hob system for verifying software design properties
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  17. 17
    An optimizing C compiler for DSP architectures
    Other Authors: “...Martin Rinard....”
    Get full text
    Others
  18. 18
    Adding Support for MC/DC instrumentation in the Green Hills C/C++ compiler
    Other Authors: “...Martin Rinard and Nikola Valerjev....”
    Get full text
    Others
  19. 19
    Texas Instruments DSP Dynamic Run-Time Loader
    Other Authors: “...John Rowlands and Martin Rinard....”
    Get full text
    Others
  20. 20
    Preventing injection attacks through automated randomization of keywords
    by Willenson, Daniel M
    Published 2013
    Other Authors: “...Jeff Perkins and Martin Rinard....”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search