History
1
au:von Ronne, J*
17


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 17 of 17 total

Safe, multiphase bounds check elimination in Java. (English)
Softw., Pract. Exper. 41, No. 7, 753-788 (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Safe, multiphase bounds check elimination in Java (English)
Softw., Pract. Exper. 41, No. 7, 753-788 (2011).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
The effectiveness of producer-side machine-independent optimizations for mobile code. (English)
Softw., Pract. Exper. 39, No. 10, 923-946 (2009).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Safe bounds check annotations. (English)
Concurrency Comput. Pract. Exp. 21, No. 1, 41-57 (2009).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
A verifiable, control flow aware constraint analyzer for bounds check elimination. (English)
Palsberg, Jens (ed.) et al., Static analysis. 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9‒11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03236-3/pbk). Lecture Notes in Computer Science 5673, 137-153 (2009).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
The effectiveness of producer-side machine-independent optimizations for mobile code (English)
Softw., Pract. Exper. 39, No. 10, 923-946 (2009).
WorldCat.org
6
PDF XML AMS-TeX TEXT BIBTeX DOI
A verifiable, control flow aware constraint analyzer for bounds check elimination (English)
SAS, 137-153 (2009).
WorldCat.org
7
PDF XML AMS-TeX TEXT BIBTeX DOI
Intermediate representations of mobile code. (English)
Informatica, Ljubl. 32, No. 1, 1-25 (2008).
WorldCat.org
8
PDF XML AMS-TeX TEXT BIBTeX
Speculative improvements to verifiable bounds check elimination (English)
PPPJ, 85-94 (2008).
WorldCat.org
9
PDF XML AMS-TeX TEXT BIBTeX DOI
SSA-based mobile code: Implementation and empirical evaluation. (English)
ACM Trans. Archit. Code Optim. 4, No. 2 (2007).
WorldCat.org
10
PDF XML AMS-TeX TEXT BIBTeX DOI
$FIFTH^{TM}$: A stack based GP language for vector processing (English)
EuroGP, 102-113 (2007).
WorldCat.org
11
PDF XML AMS-TeX TEXT BIBTeX DOI
Quantifying the benefits of SSA-based mobile code. (English)
Electron. Notes Theor. Comput. Sci. 141, No. 2, 103-119 (2005).
WorldCat.org
12
PDF XML AMS-TeX TEXT BIBTeX DOI
Code annotation for safe and efficient dynamic object resolution. (English)
Electron. Notes Theor. Comput. Sci. 82, No. 2 (2003).
WorldCat.org
13
PDF XML AMS-TeX TEXT BIBTeX
Empirical studies of test-suite reduction. (English)
Softw. Test., Verif. Reliab. 12, No. 4, 219-249 (2002).
WorldCat.org
14
PDF XML AMS-TeX TEXT BIBTeX DOI
Can fault-exposure-potential estimates improve the fault detection abilities of test suites? (English)
Softw. Test., Verif. Reliab. 12, No. 4, 197-218 (2002).
WorldCat.org
15
PDF XML AMS-TeX TEXT BIBTeX DOI
Efficient online optimization by utilizing offline analysis and the safetsa representation (English)
PPPJ/IRE, 181-186 (2002).
WorldCat.org
16
PDF XML AMS-TeX TEXT BIBTeX DOI
Safetsa: A type safe and referentially secure mobile-code representation based on static single assignment form (English)
PLDI, 137-147 (2001).
WorldCat.org
17
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 17 of 17 total

Valid XHTML 1.0 Transitional Valid CSS!