|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard |
Randomized accuracy-aware program transformations for efficient approximate computations.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard |
Dynamic knobs for responsive power-aware computing.  |
ASPLOS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sasa Misailovic, Daniel M. Roy, Martin C. Rinard |
Probabilistically Accurate Program Transformations.  |
SAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard |
Detecting and Escaping Infinite Loops with Jolt.  |
ECOOP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard |
Managing performance vs. accuracy trade-offs with loop perforation.  |
SIGSOFT FSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou |
Patterns and statistical analysis for understanding reduced resource computing.  |
OOPSLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard |
Quality of service profiling.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
loop perforation, quality of service, profiling |
| 1 | Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid |
Korat: A Tool for Generating Structurally Complex Test Inputs.  |
ICSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov |
Parallel test generation and execution with Korat.  |
ESEC/SIGSOFT FSE  |
2007 |
DBLP DOI BibTeX RDF |
Korat, test data generation, parallel testing, bounded-exhaustive testing |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|