Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for hashmap with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004-2024 (10)
Publication types (Num. hits)
article(3) inproceedings(7)
Venues (Conferences, Journals, ...)
CoRR(2) OOPSLA Companion(2) Formal Methods and Hybrid Real...(1) IMDM@VLDB(1) ISEC(1) OOPSLA(1) PLDI(1) SN Comput. Sci.(1)
Authors
Frank Tip(2) Robert M. Fuhrer(2) Abolfazl Asudeh(1) Adam Kiezun(1) Adrienne Decker(1) Akhil Shekar(1) Anuj Kumar(1) Christopher A. Egert(1) David Schwalb(1) E. Grace Mary Kanaga(1) Gaurav Sengar(1) Hasso Plattner(1) Ittai Balaban(1) Jeno Lovesum(1) Jim Woodcock 0001(1) Kevin Skadron(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 24 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
77David Schwalb, Markus Dreseler, Matthias Uflacker, Hasso Plattner NVC-Hashmap: A Persistent and Concurrent Hashmap For Non-Volatile Memories. Search on Bibsonomy IMDM@VLDB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
58Leo Freitas, Jim Woodcock 0001 Proving Theorems About JML Classes. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository
51Takuya Nakaike, Maged M. Michael Lock elision for read-only critical sections in Java. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF lock elision, java, optimization, synchronization, monitor, lock, just-in-time compiler
39Rose Rani John, E. Grace Mary Kanaga, Jeno Lovesum, S. G. Sandeep An Enhanced Approximation Algorithm Using Red Black Tree and HashMap for Virtual Machine Placement Problem. Search on Bibsonomy SN Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
39Akhil Shekar, Morteza Baradaran, Sabiha Tajdari, Kevin Skadron HashMem: PIM-based Hashmap Accelerator. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
39Abolfazl Asudeh, Nima Shahbazi, Stavros Sintos A Fair and Memory/Time-efficient Hashmap. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Gaurav Sengar, Anuj Kumar Design and implementation of micro caching. Search on Bibsonomy ISEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hashmap, micro cache, caching
25Ittai Balaban, Frank Tip, Robert M. Fuhrer Refactoring support for class library migration. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Robert M. Fuhrer, Frank Tip, Adam Kiezun Advanced refactorings in eclipse. Search on Bibsonomy OOPSLA Companion The full citation details ... 2004 DBLP  DOI  BibTeX  RDF parametric types, software engineering, refactoring, type systems
25Phil Ventura, Christopher A. Egert, Adrienne Decker Ancestor worship in CS1: on the primacy of arrays. Search on Bibsonomy OOPSLA Companion The full citation details ... 2004 DBLP  DOI  BibTeX  RDF data structures, object-oriented programming, CS1, curriculum, object oriented-design, arrays, objects-first
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license