Search results for "Dynamic memory allocation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Yusuf Hasan, Wei-Mei Chen, J. Morris Chang, Bashar Gharaibeh	Upper Bounds for Dynamic Memory Allocation.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	memory storage, storage allocation/deallocation policies, first-fit allocator, garbage collection, Dynamic memory allocation
2	María-del-Mar Gallardo, Pedro Merino, David Sanán	Model Checking Dynamic Memory Allocation in Operating Systems.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Model checking, Operating systems, Dynamic memory allocation
2	María-del-Mar Gallardo, Pedro Merino, David Sanán	Model Checking C Programs with Dynamic Memory Allocation.	COMPSAC	2008	DBLP DOI BibTeX RDF	software model checking, pointers, dynamic memory, Model extraction
2	Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh	Construction of concrete verification models from C++.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, C++, pointers, equivalence checking, dynamic memory allocation
2	Hong Min, Sangho Yi, Yookun Cho, Jiman Hong	An efficient dynamic memory allocator for sensor operating systems.	SAC	2007	DBLP DOI BibTeX RDF	sensor networks, operating system, memory management, dynamic memory allocation
2	Neil B. Harrison, John H. Meiners	The dynamics of changing dynamic memory allocation in a large-scale C++ application.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	curiously recurring template pattern, memory management, templates
2	Stylianos Mamagkakis, David Atienza, Christophe Poucet, Francky Catthoor, Dimitrios Soudris, Jose Manuel Mendias	Automated exploration of pareto-optimal configurations in parameterized dynamic memory allocation for embedded systems.	DATE	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
2	Jongwoo Lee, Sung Dong Kim, Jae Won Lee, Jangmin O	CSTallocator: Call-Site Tracing Based Shared Memory Allocator for False Sharing Reduction in Page-Based DSM Systems.	HPCC	2006	DBLP DOI BibTeX RDF	Call Site Tracing, Distributed Shared Memory, Dynamic Memory Allocation, False Sharing
2	Sumesh Udayakumaran, Rajeev Barua	Compiler-decided dynamic memory allocation for scratch-pad based embedded systems.	CASES	2003	DBLP DOI BibTeX RDF	embedded systems, compiler, memory allocation, scratch-pad
2	Franck Morvan, Abdelkader Hameurlain	Dynamic memory allocation strategies for parallel query execution.	SAC	2002	DBLP DOI BibTeX RDF	performance evaluation, optimization, parallelism, parallel databases, dynamic memory allocation
2	Isabelle Puaut	Real-Time Performance of Dynamic Memory Allocation Algorithms.	ECRTS	2002	DBLP DOI BibTeX RDF
2	Luc Séméria, Koichi Sato, Giovanni De Micheli	Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C.	DATE	2000	DBLP DOI BibTeX RDF
2	Per-Åke Larson, Murali Krishnan	Memory Allocation for Long-Running Server Applications.	ISMM	1998	DBLP DOI BibTeX RDF	cache-conscious algorithms, multiprocessor scalability, reducing lock contention, server applications, concurrency, dynamic memory allocation
1	María Soto, André Rossi, Marc Sevaux	Two Iterative Metaheuristic Approaches to Dynamic Memory Allocation for Embedded Systems.	EvoCOP	2011	DBLP DOI BibTeX RDF
1	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
1	David A. Patterson	Software knows best: portable parallelism requires standardized measurements of transparent hardware.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	standardized
1	Peter Bertels, Wim Heirman, Dirk Stroobandt	Strategies for dynamic memory allocation in hybrid architectures.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	java, memory management, hardware acceleration
1	Jörg Herter, Jan Reineke	Making Dynamic Memory Allocation Static to Support WCET Analysis.	WCET	2009	DBLP BibTeX RDF
1	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
1	Ben Titzer, Jens Palsberg	Vertical Object Layout and Compression for Fixed Heaps.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
1	Hoseok Chang, Junho Cho, Wonyong Sung	Compiler-Based Performance Evaluation of an SIMD Processor with a Multi-Bank Memory Unit.	Signal Processing Systems	2009	DBLP DOI BibTeX RDF	Multi-bank memory, Vectorizing compiler, Data allocation, On-chip memory, SIMD processor
1	Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Benjamin G. Zorn	Archipelago: trading address space for reliability and security.	ASPLOS	2008	DBLP DOI BibTeX RDF	Archipelago, probabilistic memory safety, randomized algorithms, virtual memory, buffer overflow, dynamic memory allocation, memory errors
1	François Pottier	Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule.	LICS	2008	DBLP DOI BibTeX RDF	Proofs of programs, hidden local state, higher-order frame rule, separation logic, dynamic memory allocation
1	Arthur Charguéraud, François Pottier	Functional translation of a calculus of capabilities.	ICFP	2008	DBLP DOI BibTeX RDF	type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership
1	Roberto Toccaceli, Francesco Quaglia	DyMeLoR: Dynamic Memory Logger and Restorer Library for Optimistic Simulation Objects with Generic Memory Layout.	PADS	2008	DBLP DOI BibTeX RDF
1	Bernhard Egger, Jaejin Lee, Heonshik Shin	Dynamic scratchpad memory management for code in portable systems with an MMU.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	compilers, virtual memory, paging, scratchpad, victim cache, Code placement, postpass optimization, portable systems, heterogeneous memory
1	Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav	On the complexity of partially-flow-sensitive alias analysis.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	flow-insensitive, Alias analysis, flow-sensitive
1	Guofu Feng, Xiaoshe Dong, Siyuan Ma, Jinghua Feng, Xuhao Wang	A Profile-based Memory Access Optimizing Technology on CBE Architecture.	HPCC	2008	DBLP DOI BibTeX RDF
1	Shih Yu Chang, Hsiao-Chun Wu	Novel Minimum Total-Model-Order Determination for the Inverse of Mixing-Phase Systems and Applications of Communications Equalization.	ICC	2008	DBLP DOI BibTeX RDF
1	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
1	Miguel Masmano, Ismael Ripoll, Patricia Balbastre, Alfons Crespo	A constant-time dynamic storage allocator for real-time systems.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Real-time allocators, Allocation algorithms evaluation, Dynamic storage allocation
1	Kaihui Li, Yuanhai Zhang, Jin Xu, Changqiao Xu	Dynamic Memory Allocation and Data Sharing Schedule in Media Server.	ICME	2007	DBLP DOI BibTeX RDF
1	Gene Novark, Emery D. Berger, Benjamin G. Zorn	Exterminator: automatically correcting memory errors with high probability.	PLDI	2007	DBLP DOI BibTeX RDF	dieFast, exterminator, randomized algorithms, error correction, probabilistic algorithms, dynamic memory allocation, memory errors
1	Jongwoo Lee, Youngho Park, Yongik Yoon	SCSTallocator: Sized and Call-Site Tracing-Based Shared Memory Allocator for False Sharing Reduction in Page-Based DSM Systems.	IDEAL	2007	DBLP DOI BibTeX RDF	Sized Allocation, Call Site Tracing, Distributed Shared Memory, Dynamic Memory Allocation, False Sharing
1	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
1	Huu Hai Nguyen, Martin C. Rinard	Detecting and eliminating memory leaks using cyclic memory allocation.	ISMM	2007	DBLP DOI BibTeX RDF	cyclic memory allocation, failure-oblivious computing, memory leaks
1	Han Bok Lee, Amer Diwan, J. Eliot B. Moss	Design, implementation, and evaluation of a compilation server.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Compilation server, Java virtual machine
1	Erik K. Anderson, Wesley Peck, Jim Stevens, Jason Agron, Fabrice Baijot, Seth Warn, David L. Andrews	Supporting High Level Language Semantics Within Hardware Resident Threads.	FPL	2007	DBLP DOI BibTeX RDF
1	Andrew M. Cheadle, A. J. Field, J. W. Ayres, Neil Dunn, Richard A. Hayden, Johan Nyström-Persson	Visualising dynamic memory allocators.	ISMM	2006	DBLP DOI BibTeX RDF	visualisation of objects, garbage collection, memory management, dynamic memory allocation, language implementation
1	Emery D. Berger, Benjamin G. Zorn	DieHard: probabilistic memory safety for unsafe languages.	PLDI	2006	DBLP DOI BibTeX RDF	DieHard, probabilistic memory safety, replication, randomization, dynamic memory allocation
1	Alfons Crespo, Ismael Ripoll, Miguel Masmano	Dynamic Memory Management for Embedded Real-Time Systems.	DIPES	2006	DBLP DOI BibTeX RDF	real-time systems, embedded systems, Dynamic memory allocation
1	Jaydeep Marathe, Frank Mueller	Hardware profile-guided automatic page placement for ccNUMA systems.	PPOPP	2006	DBLP DOI BibTeX RDF	page placement, NUMA, profile-guided optimization, hardware performance monitoring
1	Sumesh Udayakumaran, Angel Dominguez, Rajeev Barua	Dynamic allocation for scratch-pad memory using compile-time decisions.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	embedded systems, compiler, Memory allocation, software caching, scratch pad, software-managed cache
1	Farn Wang	REDLIB for the Formal Verification of Embedded Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Wentong Li, Saraju P. Mohanty, Krishna M. Kavi	A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator.	Computer Architecture Letters	2006	DBLP DOI BibTeX RDF
1	Victor De La Luz, Mahmut T. Kandemir, Ibrahim Kolcu	Reducing memory energy consumption of embedded applications that process dynamically allocated data.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
1	Christopher Nitta, Raju Pandey, Yann Ramin	Y-Threads: Supporting Concurrency in Wireless Sensor Networks.	DCOSS	2006	DBLP DOI BibTeX RDF	Stack sharing, Concurrency, Multi-threading
1	Gerald Wagenknecht, Daniel Dietterle, Jean-Pierre Ebert, Rolf Kraemer	Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations.	EWSN	2006	DBLP DOI BibTeX RDF
1	Anthony Savidis	Introductory teaching of imperative programming through an anthropomorphic computation model.	SIGCSE Bulletin	2005	DBLP DOI BibTeX RDF	abstraction of program memory, metaphoric computation model, teaching imperative programming, dynamic memory allocation
1	Shuguang Gong, Huawei Li, Yufeng Xu, Tong Liu, Xiaowei Li	Design of an efficient memory subsystem for network processor.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Florin Baboescu, Dean M. Tullsen, Grigore Rosu, Sumeet Singh	A Tree Based Router Search Engine Architecture with Single Port Memories.	ISCA	2005	DBLP DOI BibTeX RDF
1	Dong Yu, Hu Lin, Ruifeng Guo, Jiangang Yang, Pengfei Xiao	The Research on Real-Time Middleware for Open Architecture Controller.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Stylianos Mamagkakis, Christos Baloukas, David Atienza, Francky Catthoor, Dimitrios Soudris, José M. Mendías, Antonios Thanailakis	Reducing Memory Fragmentation with Performance-Optimized Dynamic Memory Allocators in Network Applications.	WWIC	2005	DBLP DOI BibTeX RDF
1	Maged M. Michael	Scalable lock-free dynamic memory allocation.	PLDI	2004	DBLP DOI BibTeX RDF	async-signal-safe, malloc, availability, lock-free
1	Fridtjof Siebert	The Impact of Realtime Garbage Collection on Realtime Java Programming.	ISORC	2004	DBLP DOI BibTeX RDF
1	Abdel Ejnioui, Abdelkader Rhiati	A Reconfigurable Memory Management Core for Java Applications.	ISVLSI	2004	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Daniel Kroening, Flavio Lerda	A Tool for Checking ANSI-C Programs.	TACAS	2004	DBLP DOI BibTeX RDF
1	Matthias Peintner, Faheem Bukhatwa, Ahmed Patel	Analyzing Dynamic Memory Allocation in Embedded Systems for Multi-Channel Modems.	Communications in Computing	2003	DBLP BibTeX RDF
1	Rodric M. Rabbah, Krishna V. Palem	Data remapping for design space optimization of embedded memory systems.	ACM Trans. Embedded Comput. Syst.	2003	DBLP DOI BibTeX RDF	data remapping, embedded systems, caches, memory hierarchy, Design space exploration, compiler optimization, memory subsystem
1	Dave Ahmad	The Rising Threat of Vulnerabilities Due to Integer Errors.	IEEE Security & Privacy	2003	DBLP DOI BibTeX RDF
1	Victor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu	Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve	Ensuring code safety without runtime checks for real-time control systems.	CASES	2002	DBLP DOI BibTeX RDF	security, real-time, compiler, static analysis, control, programming language
1	Mohamed Shalan, Vincent John Mooney III	Hardware support for real-time embedded multiprocessor system-on-a-chip memory management.	CODES	2002	DBLP DOI BibTeX RDF	Atalanta, SoCDMMU, real-time operating systems., two-level memory management, real-time systems, embedded systems, System-on-a-Chip, dynamic memory management
1	Yefim Shuf, Manish Gupta, Hubertus Franke, Andrew W. Appel, Jaswinder Pal Singh	Creating and preserving locality of java applications at allocation and garbage collection times.	OOPSLA	2002	DBLP DOI BibTeX RDF	heap traversal, locality based graph traversal, object co-allocation, prolific types, Java, locality, garbage collection, memory management, JVM, memory allocation, run-time systems, object placement
1	Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve	Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. (PDF / PS)	IPDPS	2002	DBLP BibTeX RDF
1	Venkatesan T. Chakaravarthy, Susan Horwitz	On the non-approximability of points-to analysis.	Acta Inf.	2002	DBLP DOI BibTeX RDF
1	Richard Li, Anthony S. Fong, H. W. Chun, C. H. Tam	Dynamic memory allocation behavior in Java programs.	Computers and Their Applications	2001	DBLP BibTeX RDF
1	Songqing Chen, Li Xiao, Xiaodong Zhang	Dynamic Load Sharing with Unknown Memory Demands in Clusters.	ICDCS	2001	DBLP DOI BibTeX RDF
1	Luc Séméria, Koichi Sato, Giovanni De Micheli	Synthesis of hardware models in C with pointers and complex data structures.	IEEE Trans. VLSI Syst.	2001	DBLP DOI BibTeX RDF
1	Vincenzo Martena, Pierluigi San Pietro	Alias Analysis by Means of a Model Checker.	CC	2001	DBLP DOI BibTeX RDF
1	Yoo C. Chung, Soo-Mook Moon	Memory Allocation with Lazy Fits.	ISMM	2000	DBLP DOI BibTeX RDF
1	David Detlefs, Christine H. Flood, Alex Garthwaite, Paul A. Martin, Nir Shavit, Guy L. Steele Jr.	Even Better DCAS-Based Concurrent Deques.	DISC	2000	DBLP DOI BibTeX RDF
1	Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella	Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF	execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation
1	Dirk Bartz, Wolfgang Straßer	Asynchronous Parallel Construction of Recursive Tree Hierarchies.	ACPC	1999	DBLP DOI BibTeX RDF	Parallel hierarchies, recursive tree structures, memory synchronization, shared memory, octrees, thread model
1	Luc Bouganim, Olga Kapitskaia, Patrick Valduriez	Dynamic Memory Allocation for Large Query Execution.	Networking and Information Systems	1998	DBLP BibTeX RDF
1	Brian Willard, Ophir Frieder	Autonomous Garbage Collection: Resolving Memory Leaks in Long Running Network Applications.	ICCCN	1998	DBLP DOI BibTeX RDF	heap storage, software performance degeneration, garbage collection, network communications, memory leaks, dynamic memory allocation
1	Kiyoshi Oguri, Norbert Imlig, Hideyuki Ito, Kouichi Nagami, Ryusuke Konishi, Tsunemichi Shiozawa	General-Purpose Computer Architecture Based on Fully Programmable Logic.	ICES	1998	DBLP DOI BibTeX RDF
1	Myles F. Barrett, Marshall E. Giguere	A Note on Covariance and Contravariance Unification.	SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
1	Manish Mehta 0002, David J. DeWitt	Dynamic Memory Allocation for Multiple-Query Workloads.	VLDB	1993	DBLP BibTeX RDF
1	Lars Ole Andersen	Binding-Time Analysis and the Taming of C Pointers.	PEPM	1993	DBLP DOI BibTeX RDF	C
1	Valentino Liberali, V. F. Dias, M. Ciapponi, Franco Maloberti	TOSCA: a simulator for switched-capacitor noise-shaping A/D converters.	IEEE Trans. on CAD of Integrated Circuits and Systems	1993	DBLP DOI BibTeX RDF
1	Dz-Ching Ju, Wai-Mee Ching, Chuan-lin Wu	On Performance and Space Usage Improvements for Parallelized Compiled APL Code.	APL	1991	DBLP DOI BibTeX RDF	APL
1	J. Gregory Rollins	Numerical simulator for superconducting integrated circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	Georg Ch. Pflug	Dynamic Memory Allocation - A Markovian Analysis.	Comput. J.	1984	DBLP DOI BibTeX RDF
1	Thomas P. Murtagh	A Less Dynamic Memory Allocation Scheme for Algol-like Languages.	POPL	1984	DBLP DOI BibTeX RDF	ALGOL
1	Ekow J. Otoo, T. H. Merrett	A storage scheme for extendible arrays.	Computing	1983	DBLP DOI BibTeX RDF	Dynamic memory allocation, multidimensional arrays
1	Geneviève Jomier	A Mathematical Model for the Comparison of Static and Dynamic Memory Allocation in a Paged System.	IEEE Trans. Software Eng.	1981	DBLP DOI BibTeX RDF
1	Charles E. Donaghey	CELLSIM: A digital simulation language for cell kinetic modelling.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Cell kinetics, Chemotherapy, Tumor, Simulation, Interpreter, Monte-Carlo, Computer languages
1	J. Somogyi	Deadlock problems of dynamic memory allocation on minicomputers with multi-level interrupt system.	Acta Cybern.	1977	DBLP BibTeX RDF
1	John E. Shore	Anomalous Behaviour of the Fifty-Percent Rule in Dynamic Memory Allocation.	Commun. ACM	1977	DBLP DOI BibTeX RDF
1	Norman R. Nielsen	Dynamic Memory Allocation in Computer Simulation.	Commun. ACM	1977	DBLP DOI BibTeX RDF
1	David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager	Thoth, a Portable Real-Time Operating System (Extended Abstract).	SOSP	1977	DBLP DOI BibTeX RDF	Thoth
1	Barry K. Gilbert, Martin T. Storma, Keith C. Ballard, Leon W. Hobrock, Carl E. James, Earl H. Wood	A Programmable Dynamic Memory Allocation System for Input/Output of Digital Data into Standard Computer Memories at 40 Megasamples/s.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Dual-bus memory access, interleaved memory structures, memory access bandwidth, operator-programmable memory control, real-time data reformatting, real-time digital data processing, serial data streaming
1	Daniel S. Hirschberg	A Class of Dynamic Memory Allocation Algorithms.	Commun. ACM	1973	DBLP DOI BibTeX RDF