|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 14 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
Schedulability analysis for Java finalizers.  |
JTRES  |
2010 |
DBLP DOI BibTeX RDF |
schedulability, Java, model checking, real-time, finalizers |
| 2 | Westley Weimer, George C. Necula |
Finding and preventing run-time error handling mistakes. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
destructors, try-finally, dataflow, exceptions, finalizers |
| 2 | Hans-Juergen Boehm |
Destructors, finalizers, and synchronization. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
destructor, synchronization, garbage collection, deadlock, thread, finalization |
| 1 | Melissa E. O'Neill, F. Warren Burton |
Smarter garbage collection with simplifiers. |
Memory System Performance and Correctness |
2006 |
DBLP DOI BibTeX RDF |
lightweight daemon, simplifier, weak pointer, finalizer |
| 1 | Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider |
Certified In-lined Reference Monitoring on .NET. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
in-lined reference monitoring, program rewriting, reference monitors, security automata, execution monitoring |
| 1 | Westley Weimer |
Exception-Handling Bugs in Java and a Language Extension to Avoid Them. |
Advanced Topics in Exception Handling Techniques |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Amorim Leal, Roberto Ierusalimschy |
A Formal Semantics for Finalizers. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | David S. Wise, Craig Citro, Joshua Hursey, Fang Liu, Michael Rainey |
A Paradigm for Parallel Matrix Algorithms: . |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")