Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Haim Kaplan, Robert Endre Tarjan	Thin heaps, thick heaps.	ACM Transactions on Algorithms	2008	DBLP DOI BibTeX RDF	binomial queue, decrease key operation, fibonacci heap, melding, thick heap, thin heap, Data structure, priority queue, heap
5	Mazen Kharbutli, Xiaowei Jiang, Yan Solihin, Guru Venkataramani, Milos Prvulovic	Comprehensively and efficiently protecting the heap.	ASPLOS	2006	DBLP DOI BibTeX RDF	heap attacks, heap security, heap server, computer security
4	Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine	Parametric prediction of heap memory requirements.	ISMM	2008	DBLP DOI BibTeX RDF	heap consumption, heap space analysis, java, memory regions
4	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa	Heap space analysis for java bytecode.	ISMM	2007	DBLP DOI BibTeX RDF	heap consumption, heap space analysis, Java bytecode, low-level languages
4	Bernard Chazelle	The soft heap: an approximate priority queue with optimal error rate.	J. ACM	2000	DBLP DOI BibTeX RDF	amoritization, soft heap, priority queue, heap
4	Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao	Heap Analysis and Optimizations for Threaded Programs.	IEEE PACT	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
4	Michael L. Fredman, Dan E. Willard	Trans-dichotomous Algorithms for Minimum Spanning Trees and Shortest Paths	FOCS	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
3	Y. C. Tay, X. R. Zong	A page fault equation for dynamic heap sizing.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	dynamic tuning, heap size, garbage collection, page faults
3	Evan K. Maxwell, Godmar Back, Naren Ramakrishnan	Diagnosing memory leaks using graph mining on heap dumps.	KDD	2010	DBLP DOI BibTeX RDF	heap profiling, graph mining, graph grammars, memory leaks, dominator tree
3	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	PLDI	2009	DBLP DOI BibTeX RDF	heap properties, garbage collection, dynamic analysis
3	Leena Unnikrishnan, Scott D. Stoller	Parametric heap usage analysis for functional programs.	ISMM	2009	DBLP DOI BibTeX RDF	live heap space analysis, garbage collection, functional languages, recurrence relations
3	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa	Live heap space analysis for languages with garbage collection.	ISMM	2009	DBLP DOI BibTeX RDF	live heap space analysis, peak memory consumption, java bytecode, low-level languages
3	Fariborz Mahmoudi, Rasul Enayatifar, Mohsen Mirzashaeri	Image Encryption Using Chaotic Signal and Max-Heap Tree.	e-Forensics	2009	DBLP DOI BibTeX RDF	Max-Heap Tree, Chaotic Signal, Image Encryption
3	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
3	Yoonseo Choi, Hwansoo Han	Shared heap management for memory-limited java virtual machines.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	heap sharing, memory protection unit, garbage collection, Dynamic memory management
3	Jennifer B. Sartor, Martin Hirzel, Kathryn S. McKinley	No bit left behind: the limits of heap data compression.	ISMM	2008	DBLP DOI BibTeX RDF	compression, heap
3	Uday P. Khedker, Amitabha Sanyal, Amey Karkare	Heap reference analysis using access graphs.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	heap references, data flow analysis, liveness, Aliasing
3	Aggelos Ioannou, Manolis Katevenis	Pipelined heap (priority queue) management for advanced scheduling in high-speed networks.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	high-speed network scheduling, pipelined hard-ware heap, synthesizable core, weighted fair queueing, priority queue, weighted round robin
3	Rehan Akbani, Turgay Korkmaz, G. V. S. Raju	HEAP: hop-by-hop efficient authentication protocol for Mobile Ad-hoc Networks.	SpringSim	2007	DBLP DOI BibTeX RDF	security, MANETs, mobile ad-hoc networks, authentication, HEAP
3	Marina Polishchuk, Ben Liblit, Chloë W. Schulze	Dynamic heap type inference for program understanding and debugging.	POPL	2007	DBLP DOI BibTeX RDF	dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection
3	Ju Qian, Baowen Xu, Hongbo Min	Interstatement must aliases for data dependence analysis of heap locations.	PASTE	2007	DBLP DOI BibTeX RDF	must alias, data dependence, pointer analysis, heap
3	Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham	Controlling garbage collection and heap growth to reduce the execution time of Java applications.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	heap growth, Java, implementation, programming languages, Garbage collection, memory management, performance measurement
3	Myra B. Cohen, Shiu Beng Kooi, Witawas Srisa-an	Clustering the heap in multi-threaded applications for improved garbage collection.	GECCO	2006	DBLP DOI BibTeX RDF	heap clustering, virtual machines, garbage collection, hill climbing, search based software engineering
3	Jianli Shen, Guru Venkataramani, Milos Prvulovic	Tradeoffs in fine-grained heap memory protection.	ASID	2006	DBLP DOI BibTeX RDF	heap security, protection granularity, memory protection
3	Trishul M. Chilimbi, Vinod Ganapathy	HeapMD: identifying heap-based bugs using anomaly detection.	ASPLOS	2006	DBLP DOI BibTeX RDF	metrics, debugging, anomaly detection, bugs, heap
3	Yoonseo Choi, Hwansoo Han	Protected heap sharing for memory-constrained java environments.	CASES	2006	DBLP DOI BibTeX RDF	heap sharing, memory protection unit, garbage collection, dynamic memory management
3	Kewei Sun, Ying Li, Matt Hogstrom, Ying Chen	Sizing multi-space in heap for application isolation.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java heap, multiple spaces, resonant model, isolation
3	Guangyu Chen, Mahmut T. Kandemir, Mary Jane Irwin	Exploiting frequent field values in java objects for reducing heap memory requirements.	VEE	2005	DBLP DOI BibTeX RDF	frequent field value, garbage collection, Java virtual machine, heap
3	Rezaul Alam Chowdhury, Vijaya Ramachandran	Cache-oblivious shortest paths in graphs using buffer heap.	SPAA	2004	DBLP DOI BibTeX RDF	buffer heap, cache-aware model, cache-oblivious model, decrease-key, tournament tree, shortest paths, priority queue
3	Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu	Importance of heap specialization in pointer analysis.	PASTE	2004	DBLP DOI BibTeX RDF	heap specialization, pointer analysis, context sensitivity
3	Martin Hofmann, Steffen Jost	Static prediction of heap space usage for first-order functional programs.	POPL	2003	DBLP DOI BibTeX RDF	program analysis, functional programming, garbage collection, resources, heap
3	Guangyu Chen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Bernd Mathiske, Mario Wolczko	Heap compression for memory-constrained Java environments.	OOPSLA	2003	DBLP DOI BibTeX RDF	memory compression, garbage collection, Java virtual machine, heap
3	Zoltan Somogyi, Peter J. Stuckey	Using the heap to eliminate stack accesses.	PPDP	2002	DBLP DOI BibTeX RDF	heap cells, stack accesses, stack frames, maximal matching
3	Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew	On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. (PDF / PS)	ISPAN	2002	DBLP DOI BibTeX RDF	points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
3	Li-Jen Mao, Sheau-Dong Lang	Parallel Algorithms for the Degree-Constrained Minimum Spanning Tree Problem Using Nearest-Neighbor Chains and the Heap-Traversal Technique.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	Parallel approximate algorithm, degree-constrained minimum spanning tree, nearest neighbor chain, heap traversal
3	Jie Wu	On Sorting an Intransitive Total Ordered Set Using Semi-Heap. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF	Data structure, sorting, directed graph, Hamiltonian path, heap, total order
3	Sushil 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.	PADS	2000	DBLP DOI BibTeX RDF	parallel heap, parallelizing framework, parallel discrete event simulation, logic simulation
3	Jack B. Dennis	General Parallel Computation can be Performed with a Cycle-Free Heap.	IEEE PACT	1998	DBLP DOI BibTeX RDF	heap storage management, nondeterminate merge, stream processing, functional programming languages
3	Aviezri S. Fraenkel, Dmitri Zusman	A New Heap Game.	Computers and Games	1998	DBLP DOI BibTeX RDF	multi-heap games, efficient strategy, Wythoff game
3	Amer Diwan, David Tarditi, J. Eliot B. Moss	Memory System Performance of Programs with Intensive Heap Allocation	ACM Trans. Comput. Syst.	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
3	Sajal K. Das, Wen-Bing Horng	Managing a Parallel Heap Efficiently.	PARLE	1991	DBLP DOI BibTeX RDF	optimal speedup, parallel algorithm, data structure, priority queue, Algorithm analysis, heap, EREW PRAM
2	Zhenjiang Wang, Chenggang Wu, Pen-Chung Yew	On improving heap memory layout by dynamic pool allocation.	CGO	2010	DBLP DOI BibTeX RDF	adaptive partial call chain, pool allocation, dynamic optimization, data layout
2	Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay	Automatic numeric abstractions for heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	abstraction, program verification, termination, shape analysis, separation logic
2	Martin T. Vechev, Eran Yahav, Greta Yorsh	PHALANX: parallel checking of expressive heap assertions.	ISMM	2010	DBLP DOI BibTeX RDF	parallel garbage collector, virtual machine, ownership
2	Mehdi Bahrami, Peyman Arebi	A Binomial Heap Algorithm for Self-Recognition in Exclusive Management on Autonomic Grid Networks.	CICSyN	2010	DBLP DOI BibTeX RDF	Autonomic Grid Networks, Binomial Heap, Self-managing
2	Steven P. Reiss	Visualizing the Java heap.	ICSE	2010	DBLP DOI BibTeX RDF	dynamic program understanding, object ownership, memory management, programming tools
2	Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa	Parametric inference of memory requirements for garbage collected languages.	ISMM	2010	DBLP DOI BibTeX RDF	live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages
2	Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley	Z-rays: divide arrays and conquer speed and flexibility.	PLDI	2010	DBLP DOI BibTeX RDF	arraylets, z-rays, compression, arrays, heap
2	Brian Demsky, Martin C. Rinard	Automatic Extraction of Heap Reference Properties in Object-Oriented Programs.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
2	Christian Scheideler, Stefan Schmid	A Distributed and Oblivious Heap.	ICALP	2009	DBLP DOI BibTeX RDF
2	Kristijan Dragicevic, Daniel Bauer	Optimization techniques for concurrent STM-based implementations: A concurrent binary heap as a case study.	IPDPS	2009	DBLP DOI BibTeX RDF
2	Mark Marron, Deepak Kapur, Manuel V. Hermenegildo	Identification of logically related heap regions.	ISMM	2009	DBLP DOI BibTeX RDF	region analysis, shape analysis
2	Steven P. Reiss	Visualizing the Java heap demonstration proposal.	ICSM	2009	DBLP DOI BibTeX RDF
2	Guanhua He, Chenguang Luo	Heap Memory Requirements Analysis via Separation Logic.	TASE	2009	DBLP DOI BibTeX RDF
2	Josh Berdine	Automatic Verification of Heap Manipulation Using Separation Logic.	SOFSEM	2009	DBLP DOI BibTeX RDF
2	Misagh Mohammadizadeh, Ali Movaghar, Seyad Mohammad Safi	SEAODV: secure efficient AODV routing protocol for MANETs networks.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	AODV, HEAP, one-way hash function, secure routing protocol
2	Gene Novark, Emery D. Berger, Benjamin G. Zorn	Efficiently and precisely locating memory leaks and bloat.	PLDI	2009	DBLP DOI BibTeX RDF	heap profiling, hound, memory leak detection, virtual compaction, dynamic memory allocation
2	Feng Mao, Eddy Z. Zhang, Xipeng Shen	Influence of program inputs on the selection of garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	cross-input program analysis, input-specific selection, minimum possible heap size, selection of garbage collectors, profiling
2	Tiancheng Liu, Ying Li, Andrew Schofield, Matt Hogstrom, Kewei Sun, Ying Chen	Partition-based heap memory management in an application server.	Operating Systems Review	2008	DBLP DOI BibTeX RDF	Java, reliability, memory management, application server
2	Xavier Allamigeon, Charles Hymans	Static analysis by abstract interpretation: application to the detection of heap overflows.	Journal in Computer Virology	2008	DBLP DOI BibTeX RDF
2	Chenguang Luo, Guanhua He, Shengchao Qin	A Heap Model for Java Bytecode to Support Separation Logic.	APSEC	2008	DBLP DOI BibTeX RDF
2	Guoqing (Harry) Xu, Atanas Rountev	Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	pointer analysis, context sensitivity, points-to analysis
2	Edward Aftandilian, Samuel Z. Guyer	GC assertions: using the garbage collector to check heap properties.	MSPC	2008	DBLP DOI BibTeX RDF	garbage collection, memory leaks, managed languages
2	Jurriaan Hage, Stefan Holdermans	Heap recycling for lazy languages.	PEPM	2008	DBLP DOI BibTeX RDF	compile-time garbage collection, lazy functional programming, type-based program analysis
2	Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic	Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.	CC	2008	DBLP DOI BibTeX RDF
2	Andreas Podelski, Andrey Rybalchenko, Thomas Wies	Heap Assumptions on Demand.	CAV	2008	DBLP DOI BibTeX RDF
2	Prakash Prabhu, Priti Shankar	Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.	SAS	2008	DBLP DOI BibTeX RDF
2	Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine	Heap Decomposition for Concurrent Shape Analysis.	SAS	2008	DBLP DOI BibTeX RDF
2	Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo	Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.	LCPC	2008	DBLP DOI BibTeX RDF
2	Hideki Hayashi, Daisuke Ito, Masaaki Tanizaki, Kohji Kimura, Hisanori Kajiyama	Dual-heap kNN: k-nearest neighbor search for spatial data retrieval in embedded DBMS.	GIS	2008	DBLP DOI BibTeX RDF	embedded database management, nearest neighbor
2	Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin	Analysing memory resource bounds for low-level programs.	ISMM	2008	DBLP DOI BibTeX RDF	fixpoint analysis, heap space analysis, low level programs, stack space analysis
2	Bor-Yuh Evan Chang, Xavier Rival	Relational inductive shape analysis.	POPL	2008	DBLP DOI BibTeX RDF	symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis
2	Shuvendu K. Lahiri, Shaz Qadeer	Back to the future: revisiting precise program verification using SMT solvers.	POPL	2008	DBLP DOI BibTeX RDF	heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers
2	Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang	Avoiding Program Failures Through Safe Execution Perturbations.	COMPSAC	2008	DBLP DOI BibTeX RDF	avoiding failures, environmental faults, logging/replay tools, bad user requests, heap overflow, atomicity violation
2	Chris Grzegorczyk, Sunil Soman, Chandra Krintz, Richard Wolski	Isla Vista Heap Sizing: Using Feedback to Avoid Paging.	CGO	2007	DBLP DOI BibTeX RDF
2	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Multiple Pre/Post Specifications for Heap-Manipulating Methods.	HASE	2007	DBLP DOI BibTeX RDF
2	Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti	Verifying Heap-Manipulating Programs in an SMT Framework.	ATVA	2007	DBLP DOI BibTeX RDF
2	Asia Slowinska, Herbert Bos	The Age of Data: Pinpointing Guilty Bytes in Polymorphic Buffer Overflows on Heap or Stack.	ACSAC	2007	DBLP DOI BibTeX RDF	attack analysis, honeypots, intrusion detection and prevention
2	Jinseong Jeon, Keoncheol Shin, Hwansoo Han	Layout Transformations for Heap Objects Using Static Access Patterns.	CC	2007	DBLP DOI BibTeX RDF
2	Sumit Gulwani, Ashish Tiwari	An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.	CAV	2007	DBLP DOI BibTeX RDF
2	Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu	An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.	VMCAI	2007	DBLP DOI BibTeX RDF
2	Ben Titzer, Jens Palsberg	Vertical object layout and compression for fixed heaps.	CASES	2007	DBLP DOI BibTeX RDF	heap optimization, object layout, pointer compression, program data compression, reference compression, vertical object layout, microcontrollers
2	Yefim Shuf, Ian M. Steiner	Characterizing a Complex J2EE Workload: A Comprehensive Analysis and Opportunities for Optimizations.	ISPASS	2007	DBLP DOI BibTeX RDF	J2EE workload, Java benchmarks, SPECjvm98, SPECjbb2000, Java 2 Enterprise Edition, SPECjAppServer2004, systems research, software research, cache-to-cache modified data transfers, intelligent thread co-scheduling, Java heap, bursty data cache, Java virtual method calls, optimizations, performance analysis, garbage collection, instruction cache, data prefetching, commercial workload
2	Vinaitheerthan Sundaram, Sandip HomChaudhuri, Sachin Garg, Chandra M. R. Kintala, Saurabh Bagchi	Improving Dependability Using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems.	PRDC	2007	DBLP DOI BibTeX RDF	resource constrained fault-tolerance, embedded systems, software rejuvenation, heap overflow, stack overflow
2	Oliver Storz, Adrian Friday, Nigel Davies	Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing.	Personal and Ubiquitous Computing	2006	DBLP DOI BibTeX RDF
2	Ruth Manor	Solving the Heap.	Synthese	2006	DBLP DOI BibTeX RDF
2	Kuo-Yuan Kao	On Colored Heap Games of Sumbers.	ACG	2006	DBLP DOI BibTeX RDF
2	Yves Younan, Wouter Joosen, Frank Piessens	Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic.	ICICS	2006	DBLP DOI BibTeX RDF
2	Nicolas Marti, Reynald Affeldt, Akinori Yonezawa	Formal Verification of the Heap Manager of an Operating System Using Separation Logic.	ICFEM	2006	DBLP DOI BibTeX RDF
2	Xianghua Deng, Jooyong Lee, Robby	Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.	ASE	2006	DBLP DOI BibTeX RDF
2	Frances Perry, Limin Jia, David Walker	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
2	Yuji Chiba	Heap protection for Java virtual machines.	PPPJ	2006	DBLP DOI BibTeX RDF
2	Gogul Balakrishnan, Thomas W. Reps	Recency-Abstraction for Heap-Allocated Storage.	SAS	2006	DBLP DOI BibTeX RDF
2	Alexey Gotsman, Josh Berdine, Byron Cook	Interprocedural Shape Analysis with Separated Heap Abstractions.	SAS	2006	DBLP DOI BibTeX RDF
2	Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo	A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework.	LCPC	2006	DBLP DOI BibTeX RDF
2	Zhuang Guo, José Nelson Amaral, Duane Szafron, Yang Wang 0006	Utilizing field usage patterns for Java heap space optimization.	CASCON	2006	DBLP DOI BibTeX RDF
2	Jesse D. Bingham, Zvonimir Rakamaric	A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.	VMCAI	2006	DBLP DOI BibTeX RDF
2	Martin Hofmann, Steffen Jost	Type-Based Amortised Heap-Space Analysis.	ESOP	2006	DBLP DOI BibTeX RDF
2	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.	CiE	2006	DBLP DOI BibTeX RDF
2	Stylianos Mamagkakis, David Atienza, Christophe Poucet, Francky Catthoor, Dimitrios Soudris	Energy-efficient dynamic memory allocators at the middleware level of embedded systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	heap data, low-energy consumption, embedded systems, middleware, dynamic memory allocation