|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andreas Gampe, Jeffery von Ronne, David Niedzielski, Jonathan Vasek, Kleanthis Psarris |
Safe, multiphase bounds check elimination in Java.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffery von Ronne, Andreas Gampe, David Niedzielski, Kleanthis Psarris |
Safe bounds check annotations. |
Concurrency and Computation: Practice and Experience |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris |
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris |
Speculative improvements to verifiable bounds check elimination. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation |
| 1 | David Niedzielski, Kleanthis Psarris |
An Analytical Comparison of the I-Test and Omega Test. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")