Showing 1 - 20 results of 26 for search 'Misailović, Saša', query time: 0.03s Refine Results
  1. 1
    Accuracy-aware optimization of approximate programs

    Accuracy-aware optimization of approximate programs by Misailović, Saša

    Published 2016
    Get full text
    Thesis
  2. 2
    Exploring the effectiveness of loop perforation for quality of service profiling

    Exploring the effectiveness of loop perforation for quality of service profiling by Misailovíc, Saša

    Published 2011
    Get full text
    Thesis
  3. 3
    Synthesis of Randomized Accuracy-Aware Map-Fold Programs

    Synthesis of Randomized Accuracy-Aware Map-Fold Programs by Misailovic, Sasa, Rinard, Martin

    Published 2013
    Get full text
  4. 4
    Automatic Parallelization With Statistical Accuracy Bounds

    Automatic Parallelization With Statistical Accuracy Bounds by Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin

    Published 2010
    Get full text
  5. 5
    Parallelizing Sequential Programs With Statistical Accuracy Tests

    Parallelizing Sequential Programs With Statistical Accuracy Tests by Misailovic, Sasa, Kim, Deokhwan, Rinard, Martin

    Published 2010
    Get full text
  6. 6
    Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware

    Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware by Carbin, Michael, Misailovic, Sasa, Rinard, Martin

    Published 2013
    Get full text
  7. 7
    Probabilistic and Statistical Analysis of Perforated Patterns

    Probabilistic and Statistical Analysis of Perforated Patterns by Misailovic, Sasa, Roy, Daniel M., Rinard, Martin

    Published 2011
    Get full text
  8. 8
    Probabilistically Accurate Program Transformations

    Probabilistically Accurate Program Transformations by Misailovic, Sasa, Roy, Daniel, Rinard, Martin C.

    Published 2012
    Get full text
    Get full text
    Get full text
    Article
  9. 9
    Parallelizing Sequential Programs with Statistical Accuracy Tests

    Parallelizing Sequential Programs with Statistical Accuracy Tests by Misailovic, Sasa, Kim, Deokhwan, Rinard, Martin C.

    Published 2015
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  10. 10
    Randomized accuracy-aware program transformations for efficient approximate computations

    Randomized accuracy-aware program transformations for efficient approximate computations by Misailovic, Sasa, Kelner, Jonathan Adam, Rinard, Martin C.

    Published 2012
    Get full text
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  11. 11
    Verifying quantitative reliability for programs that execute on unreliable hardware

    Verifying quantitative reliability for programs that execute on unreliable hardware by Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James

    Published 2015
    Get full text
    Get full text
    Get full text
    Article
  12. 12
    Reasoning about Relaxed Programs

    Reasoning about Relaxed Programs by Carbin, Michael, Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C.

    Published 2011
    Get full text
  13. 13
    Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures

    Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures by Hoffmann, Henry, Misailovic, Sasa, Sidiroglou, Stelios, Agarwal, Anant, Rinard, Martin

    Published 2009
    Get full text
  14. 14
    Patterns and statistical analysis for understanding reduced resource computing

    Patterns and statistical analysis for understanding reduced resource computing by Rinard, Martin C., Hoffmann, Henry Christian, Misailovic, Sasa, Sidiroglou, Stylianos

    Published 2011
    Get full text
    Get full text
    Get full text
    Article
  15. 15
    Quality of service profiling

    Quality of service profiling by Misailovic, Sasa, Sidiroglou, Stylianos, Hoffmann, Henry Christian, Rinard, Martin C.

    Published 2012
    Get full text
    Get full text
    Get full text
    Article
  16. 16
    Proving acceptability properties of relaxed nondeterministic approximate programs

    Proving acceptability properties of relaxed nondeterministic approximate programs by Carbin, Michael James, Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C.

    Published 2012
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  17. 17
    Managing performance vs. accuracy trade-offs with loop perforation

    Managing performance vs. accuracy trade-offs with loop perforation by Sidiroglou, Stelios, Misailovic, Sasa, Hoffmann, Henry Christian, Rinard, Martin C.

    Published 2012
    Get full text
    Get full text
    Get full text
    Article
  18. 18
    Reliability-Aware Optimization of Approximate Computational Kernels with Rely

    Reliability-Aware Optimization of Approximate Computational Kernels with Rely by Misailovic, Sasa, Carbin, Michael, Achour, Sara, Qi, Zichao, Rinard, Martin

    Published 2014
    Get full text
  19. 19
    Verified integrity properties for safe approximate program transformations

    Verified integrity properties for safe approximate program transformations by Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James

    Published 2014
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  20. 20
    Bolt: on-demand infinite loop escape in unmodified binaries

    Bolt: on-demand infinite loop escape in unmodified binaries by Kling, Michael W., Misailovic, Sasa, Carbin, Michael James, Rinard, Martin C

    Published 2020
    Get full text
    Article

Search Tools: