The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase AF-heap (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1963-1982 (15) 1983-1987 (22) 1988-1990 (30) 1991-1992 (35) 1993 (21) 1994 (28) 1995-1996 (35) 1997 (17) 1998 (27) 1999 (24) 2000 (39) 2001 (36) 2002 (58) 2003 (68) 2004 (61) 2005 (79) 2006 (117) 2007 (113) 2008 (97) 2009 (107) 2010 (67) 2011 (34) 2012 (34) 2013 (33) 2014 (35) 2015 (32) 2016 (36) 2017 (52) 2018 (36) 2019 (42) 2020 (37) 2021 (35) 2022 (33) 2023 (35) 2024 (3)
Publication types (Num. hits)
article(378) incollection(2) inproceedings(1166) phdthesis(26) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(69) PLDI(55) ISMM(51) POPL(39) SAS(34) OOPSLA(28) VMCAI(23) CC(19) ESOP(19) CAV(16) ASPLOS(15) ECOOP(15) ACM Trans. Program. Lang. Syst...(14) IEEE Access(14) ICFP(13) APLAS(11) More (+10 of total 610)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1277 occurrences of 618 keywords

Results
Found 1598 publication records. Showing 1573 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
181Mazen Kharbutli, Xiaowei Jiang, Yan Solihin, Guru Venkataramani, Milos Prvulovic Comprehensively and efficiently protecting the heap. Search on Bibsonomy ASPLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF heap attacks, heap security, heap server, computer security
118Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Heap space analysis for java bytecode. Search on Bibsonomy ISMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF heap consumption, heap space analysis, Java bytecode, low-level languages
103Heikki Verta, Titos Saridakis Detection of Heap Management Flaws in Component-Based Software. Search on Bibsonomy EUROMICRO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
95Yoonseo Choi, Hwansoo Han Shared heap management for memory-limited java virtual machines. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF heap sharing, memory protection unit, garbage collection, Dynamic memory management
95Guangyu Chen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Bernd Mathiske, Mario Wolczko Heap compression for memory-constrained Java environments. Search on Bibsonomy OOPSLA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF memory compression, garbage collection, Java virtual machine, heap
94Bernard Chazelle The soft heap: an approximate priority queue with optimal error rate. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF amoritization, soft heap, priority queue, heap
87Haim Kaplan, Robert Endre Tarjan Thin heaps, thick heaps. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF binomial queue, decrease key operation, fibonacci heap, melding, thick heap, thin heap, Data structure, priority queue, heap
87Trishul M. Chilimbi, Vinod Ganapathy HeapMD: identifying heap-based bugs using anomaly detection. Search on Bibsonomy ASPLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF metrics, debugging, anomaly detection, bugs, heap
79Mohammad Reza Meybodi Concurrent Data Structures for Hypercube Machine. Search on Bibsonomy PARLE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Banyan Heap, Parallel Algorithm, Hypercube, Concurrent Data Structure
79Ting Yang, Matthew Hertz, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss Automatic heap sizing: taking real memory into account. Search on Bibsonomy ISMM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF garbage collection, virtual memory, paging
79Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Live heap space analysis for languages with garbage collection. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF live heap space analysis, peak memory consumption, java bytecode, low-level languages
79Aggelos Ioannou, Manolis Katevenis Pipelined heap (priority queue) management for advanced scheduling in high-speed networks. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF high-speed network scheduling, pipelined hard-ware heap, synthesizable core, weighted fair queueing, priority queue, weighted round robin
79Uday P. Khedker, Amitabha Sanyal, Amey Karkare Heap reference analysis using access graphs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF heap references, data flow analysis, liveness, Aliasing
79Sajal K. Das 0001, Wen-Bing Horng Managing a Parallel Heap Efficiently. Search on Bibsonomy PARLE (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF optimal speedup, parallel algorithm, data structure, priority queue, Algorithm analysis, heap, EREW PRAM
71Stephen Chong, Radu Rugina Static Analysis of Accessed Regions in Recursive Data Structures. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
71Chengliang Zhang, Kirk Kelsey, Xipeng Shen, Chen Ding 0001, Matthew Hertz, Mitsunori Ogihara Program-level adaptive memory management. Search on Bibsonomy ISMM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF heap sizing, program-level, adaptive, garbage collection, paging
71Martin T. Vechev, Eran Yahav, Greta Yorsh PHALANX: parallel checking of expressive heap assertions. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallel garbage collector, virtual machine, ownership
71Evan K. Maxwell, Godmar Back, Naren Ramakrishnan Diagnosing memory leaks using graph mining on heap dumps. Search on Bibsonomy KDD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF heap profiling, graph mining, graph grammars, memory leaks, dominator tree
71Y. C. Tay, X. R. Zong A page fault equation for dynamic heap sizing. Search on Bibsonomy WOSP/SIPEW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynamic tuning, heap size, garbage collection, page faults
71Rehan Akbani, Turgay Korkmaz, G. V. S. Raju 0001 HEAP: hop-by-hop efficient authentication protocol for Mobile Ad-hoc Networks. Search on Bibsonomy SpringSim (1) The full citation details ... 2007 DBLP  BibTeX  RDF security, MANETs, mobile ad-hoc networks, authentication, HEAP
71Zoltan Somogyi, Peter J. Stuckey Using the heap to eliminate stack accesses. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF heap cells, stack accesses, stack frames, maximal matching
71Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. Search on Bibsonomy ISPAN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
71Amer Diwan, David Tarditi, J. Eliot B. Moss Memory System Performance of Programs with Intensive Heap Allocation Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF automatic storage reclamation, copying garbage collection, heap allocation, page mode, subblock placement, write through, write-back, write-miss policy, garbage collection, generational garbage collection, write-policy, write-buffer
69Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn 09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. Search on Bibsonomy Typing, Analysis and Verification of Heap-Manipulating Programs The full citation details ... 2009 DBLP  BibTeX  RDF
69Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn 09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs. Search on Bibsonomy Typing, Analysis and Verification of Heap-Manipulating Programs The full citation details ... 2009 DBLP  BibTeX  RDF
63Viktor Kuncak, Martin C. Rinard Existential Heap Abstraction Entailment Is Undecidable. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
63Yoo C. Chung, Soo-Mook Moon, Kemal Ebcioglu, Dan Sahlin Reducing Sweep Time for a Nearly Empty Heap. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
63Elliot K. Kolodner, William E. Weihl Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap. Search on Bibsonomy SIGMOD Conference The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
63Michael L. Fredman, Dan E. Willard Trans-dichotomous Algorithms for Minimum Spanning Trees and Shortest Paths Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Fibonacci heap, trans-dichotomous algorithms, fusion tree method, information-theoretic limitations, atomic heap, amortized time, heap size, AF-heap, data structure, shortest paths, minimum spanning trees, linear-time algorithm, shortest-path algorithm
63Jennifer B. Sartor, Martin Hirzel, Kathryn S. McKinley No bit left behind: the limits of heap data compression. Search on Bibsonomy ISMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compression, heap
63Myra B. Cohen, Shiu Beng Kooi, Witawas Srisa-an Clustering the heap in multi-threaded applications for improved garbage collection. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF heap clustering, virtual machines, garbage collection, hill climbing, search based software engineering
55Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera Analysis and reduction of memory inefficiencies in Java strings. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF footprint analysis and reduction, java, garbage collection, memory management, string
55Feng Mao, Eddy Z. Zhang, Xipeng Shen Influence of program inputs on the selection of garbage collectors. Search on Bibsonomy VEE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cross-input program analysis, input-specific selection, minimum possible heap size, selection of garbage collectors, profiling
55Doina Bein, Ajoy Kumar Datta, Vincent Villain Snap-Stabilizing Optimal Binary Search Tree. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF self-stabilization, heap, Binary search tree, snap-stabilization
55Zhenjiang Wang, Chenggang Wu 0002, Pen-Chung Yew On improving heap memory layout by dynamic pool allocation. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF adaptive partial call chain, pool allocation, dynamic optimization, data layout
55Guoqing Xu 0001, Atanas Rountev Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pointer analysis, context sensitivity, points-to analysis
55Mayumi Kato, Chia-Tien Dan Lo A heap de/compression module for wireless Java. Search on Bibsonomy PPPJ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
55Jarrod A. Lewis, Mikko H. Lipasti, Bryan Black Avoiding Initialization Misses to the Heap. Search on Bibsonomy ISCA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF invalid memory traffic, initializing stores, cache installation, allocation range cache
55Christof Fetzer, Zhen Xiao Detecting Heap Smashing Attacks through Fault Containment Wrappers. Search on Bibsonomy SRDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Olin Shivers, James W. Clark, Roland McGrath Atomic Heap Transactions and Fine-grain Interrupts. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
55James W. O'Toole Jr., Scott Nettles, David K. Gifford Concurrent Compacting Garbage Collection of a Persistent Heap. Search on Bibsonomy SOSP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
55Leena Unnikrishnan, Scott D. Stoller Parametric heap usage analysis for functional programs. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF live heap space analysis, garbage collection, functional languages, recurrence relations
55Edward Aftandilian, Samuel Z. Guyer GC assertions: using the garbage collector to check heap properties. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF heap properties, garbage collection, dynamic analysis
55Ju Qian, Baowen Xu, Hongbo Min Interstatement must aliases for data dependence analysis of heap locations. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF must alias, data dependence, pointer analysis, heap
55Marina Polishchuk, Ben Liblit, Chloë W. Schulze Dynamic heap type inference for program understanding and debugging. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection
55Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham Controlling garbage collection and heap growth to reduce the execution time of Java applications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF heap growth, Java, implementation, programming languages, Garbage collection, memory management, performance measurement
55Kewei Sun, Ying Li 0012, Matt Hogstrom, Ying Chen 0004 Sizing multi-space in heap for application isolation. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java heap, multiple spaces, resonant model, isolation
55Jianli Shen, Guru Venkataramani, Milos Prvulovic Tradeoffs in fine-grained heap memory protection. Search on Bibsonomy ASID The full citation details ... 2006 DBLP  DOI  BibTeX  RDF heap security, protection granularity, memory protection
55Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu Importance of heap specialization in pointer analysis. Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF heap specialization, pointer analysis, context sensitivity
55Rezaul Alam Chowdhury, Vijaya Ramachandran Cache-oblivious shortest paths in graphs using buffer heap. Search on Bibsonomy SPAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF buffer heap, cache-aware model, cache-oblivious model, decrease-key, tournament tree, shortest paths, priority queue
55Sushil K. Prasad, Nikhil Junankar Parallelizing a sequential logic simulator using an optimistic framework based on a global parallel heap event queue: an experience and performance report. Search on Bibsonomy PADS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF parallel heap, parallelizing framework, parallel discrete event simulation, logic simulation
55Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine Parametric prediction of heap memory requirements. Search on Bibsonomy ISMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF heap consumption, heap space analysis, java, memory regions
55Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao Heap Analysis and Optimizations for Threaded Programs. Search on Bibsonomy IEEE PACT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis
54Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv (eds.) Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009 Search on Bibsonomy Typing, Analysis and Verification of Heap-Manipulating Programs The full citation details ... 2009 DBLP  BibTeX  RDF
54David G. Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen Minimal Ownership for Active Objects. Search on Bibsonomy Typing, Analysis and Verification of Heap-Manipulating Programs The full citation details ... 2009 DBLP  BibTeX  RDF
48Maria Jump, Kathryn S. McKinley Cork: dynamic memory leak detection for garbage-collected languages. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF memory leak detection, garbage collection, dynamic, runtime analysis, memory leaks
48Tadao Takaoka Theory of Trinomial Heaps. Search on Bibsonomy COCOON The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Svante Carlsson, Jingsen Chen, Christer Mattsson Heaps with Bits. Search on Bibsonomy ISAAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
47Surupa Biswas, Thomas W. Carley, Matthew S. Simpson, Bhuvan Middha, Rajeev Barua Memory overflow protection for embedded systems using run-time checks, reuse, and compression. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Out-of-memory errors, reliability, data compression, reuse, run-time checks, heap overflow, stack overflow
47Doina Bein, Ajoy Kumar Datta, Lawrence L. Larmore On Self-stabilizing Search Trees. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF min-max heap, Distributed algorithm, self-stabilization, search tree
47Andreas Podelski, Andrey Rybalchenko, Thomas Wies Heap Assumptions on Demand. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Chenguang Luo, Guanhua He, Shengchao Qin A Heap Model for Java Bytecode to Support Separation Logic. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Yuji Chiba Heap protection for Java virtual machines. Search on Bibsonomy PPPJ The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Nicolas Marti, Reynald Affeldt, Akinori Yonezawa Formal Verification of the Heap Manager of an Operating System Using Separation Logic. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Madanlal Musuvathi, David L. Dill An Incremental Heap Canonicalization Algorithm. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Chris Lattner, Vikram S. Adve Automatic pool allocation: improving performance by controlling data structure layout in the heap. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pool allocation, cache, static analysis, data layout, recursive data structure
47Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm Verifying Temporal Heap Properties Specified via Evolution Logic. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Jesper Bojesen, Jyrki Katajainen, Maz Spork Performance Engineering Case Study: Heap Construction. Search on Bibsonomy WAE The full citation details ... 1999 DBLP  BibTeX  RDF
47Bernard Chazelle Car-Pooling as a Data Structuring Device: The Soft Heap. Search on Bibsonomy ESA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
47Sajal K. Das 0001, Maria Cristina Pinotti O(log log N) Time Algorithms for Hamiltonian-Suffix and Min-Max-Pair Heap Operations on Hypercube Multicomputers. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
47Niklas Röjemo, Colin Runciman Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
47Svante Carlsson, Jingsen Chen Heap Construction: Optimal in Both Worst and Average Cases? Search on Bibsonomy ISAAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
47Jingsen Chen Parallel Heap Construction Using Multiple Selection. Search on Bibsonomy CONPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF double-ended priority queues, multiple selection, parallel algorithms, Data structures, priority queues
47Ingo Wegener The Worst Case Complexity of McDiarmid and Reed's Variant of Bottom-Up-Heap Sort is Less Than n log n + 1.1n. Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
47Elliot K. Kolodner, Barbara Liskov, William E. Weihl Atomic Garbage Collection: Managing a Stable Heap. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF C++
47Fariborz Mahmoudi, Rasul Enayatifar, Mohsen Mirzashaeri Image Encryption Using Chaotic Signal and Max-Heap Tree. Search on Bibsonomy e-Forensics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Max-Heap Tree, Chaotic Signal, Image Encryption
47Yoonseo Choi, Hwansoo Han Protected heap sharing for memory-constrained java environments. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF heap sharing, memory protection unit, garbage collection, dynamic memory management
47Guangyu Chen, Mahmut T. Kandemir, Mary Jane Irwin Exploiting frequent field values in java objects for reducing heap memory requirements. Search on Bibsonomy VEE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF frequent field value, garbage collection, Java virtual machine, heap
47Martin Hofmann 0001, Steffen Jost Static prediction of heap space usage for first-order functional programs. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF program analysis, functional programming, garbage collection, resources, heap
47Jie Wu 0001 On Sorting an Intransitive Total Ordered Set Using Semi-Heap. Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Data structure, sorting, directed graph, Hamiltonian path, heap, total order
47Jack B. Dennis General Parallel Computation can be Performed with a Cycle-Free Heap. Search on Bibsonomy IEEE PACT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF heap storage management, nondeterminate merge, stream processing, functional programming languages
47Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. Search on Bibsonomy LCPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Ingo Wegener Bottom-Up-Heap Sort, a New Variant of Heap Sort Beating on Average Quick Sort (if n is not very small). Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Mooly Sagiv Thread-Modular Shape Analysis. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Boris Koldehofe, Martin Mogensen, Maxime Monod, Vivien Quéma Heterogeneous Gossip. Search on Bibsonomy Middleware The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur Sharing analysis of arrays, collections, and recursive structures. Search on Bibsonomy PASTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF shared structures, parallelism, shape analysis
40Shiro Kawai Efficient floating-point number handling for dynamically typed scripting languages. Search on Bibsonomy DLS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Christopher Dahn, Spiros Mancoridis Using Program Transformation to Secure C Programs Against Buffer Overflows. Search on Bibsonomy WCRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Haim Kaplan, Nira Shafrir, Robert Endre Tarjan Meldable heaps and boolean union-find. Search on Bibsonomy STOC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Andrew D. Gordon 0001, Don Syme Typing a multi-language intermediate code. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Kenichi Asai Integrating Partial Evaluators into Interpreters. Search on Bibsonomy SAIG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Anthony J. H. Simons Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF borrowing, larceny, stealing, transfer of ownership, C++, C++, memory management, copy-on-write, implementation strategies
40Lorenz Huelsbergen, James R. Larus Dynamic Program Parallelization. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF ML
40Qin Huang, William E. Weihl An evaluation of concurrent priority queue algorithms. Search on Bibsonomy SPDP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
40Ravindra K. Ahuja, Kurt Mehlhorn, James B. Orlin, Robert Endre Tarjan Faster Algorithms for the Shortest Path Problem Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Parametric inference of memory requirements for garbage collected languages. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages
39Shuvendu K. Lahiri, Shaz Qadeer Verifying properties of well-founded linked lists. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving
39Doina Bein, Ajoy Kumar Datta, Lawrence L. Larmore Self-stabilizing Space Optimal Synchronization Algorithms on Trees. Search on Bibsonomy SIROCCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF local mutual exclusion, self-stabilization, heap
39Surupa Biswas, Matthew S. Simpson, Rajeev Barua Memory overflow protection for embedded systems using run-time checks, reuse and compression. Search on Bibsonomy CASES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF out-of-memory errors, reliability, data compression, reuse, runtime checks, heap overflow, stack overflow
39Stephan Olariu, Zhaofang Wen Optimal Parallel Initialization Algorithms for a Class of Priority Queues. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF parallel initialization algorithms, adaptive parallel algorithm, priority queue structure, n-element array, parallel construction algorithms, heap-like structures, double-endedpriority queues, min-max heaps, deeps, min-max-pair heaps, exclusive-read-exclusive-write parallel random-access machine, parallel algorithms, data structures, queueing theory, processors, computationalcomplexity
Displaying result #1 - #100 of 1573 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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