Showing 1 - 20 results of 27 for search 'OBJECT ORIENTED PROGRAMMING', query time: 1.44s Refine Results
  1. 1
    Automatic extraction of heap reference properties in object-oriented programs
    by Demsky, Brian, Rinard, Martin C.
    Published 2010
    Get fulltext
    Article
  2. 2
    Data-driven synthesis for object-oriented frameworks
    Get fulltext
    Article
  3. 3
    A flexible architecture and object-oriented model for space logistics simulation
    Get fulltext
    Article
  4. 4
    Virtual Environment System in Support of a Traditional Orientation and Mobility Rehabilitation Program for People Who Are Blind
    Get fulltext
    Article
  5. 5
    Programming with enumerable sets of structures
    Get fulltext
    Article
  6. 6
    Parallelizing Sequential Programs with Statistical Accuracy Tests
    Get fulltext
    Article
  7. 7
    StreamJIT: A Commensal Compiler for High-Performance Stream Programming
    Get fulltext
    Article
  8. 8
    Verifying quantitative reliability for programs that execute on unreliable hardware
    Get fulltext
    Article
  9. 9
    ExTouch: Spatially-aware embodied manipulation of actuated objects mediated by augmented reality
    Get fulltext
    Article
  10. 10
    Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
    Get fulltext
    Article
  11. 11
    αRby-An Embedding of Alloy in Ruby
    Get fulltext
    Article
  12. 12
    Agile specifications
    Get fulltext
    Article
  13. 13
    music21: A Toolkit for Computer-Aided Musicology and Symbolic Music Data
    Get fulltext
    Article
  14. 14
    Compiler verification meets cross-language linking via data abstraction
    Get fulltext
    Article
  15. 15
    Unifying Execution of Imperative and Declarative Code
    Get fulltext
    Article
  16. 16
    Patterns and statistical analysis for understanding reduced resource computing
    Get fulltext
    Article
  17. 17
    Purposes, concepts, misfits, and a redesign of git
    Get fulltext
    Article
  18. 18
    Approximate computation with outlier detection in Topaz
    by Rinard, Martin C, Achour, Sara
    Published 2018
    Get fulltext
    Article
  19. 19
    Detecting and escaping infinite loops with jolt
    Get fulltext
    Article
  20. 20
    nSTAT: Open-source neural spike train analysis toolbox for Matlab
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search