Search results for "deallocation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Sigmund Cherem, Radu Rugina	Compile-time deallocation of individual objects.	ISMM	2006	DBLP DOI BibTeX RDF	compile-time memory management, individual object deallocation, program transformations, shape analysis
68	Sigmund Cherem, Radu Rugina	Uniqueness inference for compile-time object deallocation.	ISMM	2007	DBLP DOI BibTeX RDF	compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations
55	Anirban Mondal, Sanjay Kumar Madria, Masaru Kitsuregawa	CADRE: A Collaborative replica allocation and deallocation approach for Mobile-P2P networks.	IDEAS	2006	DBLP DOI BibTeX RDF	dynamic replication, fair replication, thrashing prevention, Mobile peer-to-peer networks
55	Hoang Truong 0001, Marc Bezem	Finding Resource Bounds in the Presence of Explicit Deallocation.	ICTAC	2005	DBLP DOI BibTeX RDF
55	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
55	Pedro Javier García, Francisco J. Quiles 0001, José Flich, José Duato, Ian Johnson, Finbar Naven	RECN-DD: A Memory-Efficient Congestion Management Technique for Advanced Switching.	ICPP	2006	DBLP DOI BibTeX RDF
54	Manuel Montenegro, Ricardo Pena, Clara Segura	A type system for safe memory management and its proof of correctness.	PPDP	2008	DBLP DOI BibTeX RDF	safe memory deallocation, type systems
54	Derek A. Park, Stephen V. Rice	A framework for unified resource management in Java.	PPPJ	2006	DBLP DOI BibTeX RDF	resource monitoring and deallocation, exception handling
54	Debendra Das Sharma, Dhiraj K. Pradhan	Processor Allocation in Hypercube Multicomputers: Fast and Efficient Strategies for Cubic and Noncubic Allocation.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Cubic allocation, deallocation, dynamic binary tree, noncubic allocation, hypercube, fragmentation
41	Kohei Suenaga, Naoki Kobayashi 0001	Fractional Ownerships for Safe Memory Deallocation.	APLAS	2009	DBLP DOI BibTeX RDF
41	Gérard Boudol	Typing Safe Deallocation.	ESOP	2008	DBLP DOI BibTeX RDF
41	Joseph J. Sharkey, Dmitry V. Ponomarev	An L2-miss-driven early register deallocation for SMT processors.	ICS	2007	DBLP DOI BibTeX RDF	register files, simultaneous multithreading
41	Oguz Ergin, Deniz Balkan, Dmitry Ponomarev 0001, Kanad Ghose	Early Register Deallocation Mechanisms Using Checkpointed Register Files.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	register file optimization, Superscalar processors, precise interrupts
41	Deniz Balkan, Joseph J. Sharkey, Dmitry Ponomarev 0001, Aneesh Aggarwal	Address-Value Decoupling for Early Register Deallocation.	ICPP	2006	DBLP DOI BibTeX RDF
41	Gerth Stølting Brodal, Erik D. Demaine, J. Ian Munro	Fast allocation and deallocation with an improved buddy system.	Acta Informatica	2005	DBLP DOI BibTeX RDF
41	Jack L. Lo, Sujay S. Parekh, Susan J. Eggers, Henry M. Levy, Dean M. Tullsen	Software-Directed Register Deallocation for Simultaneous Multithreaded Processors.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	architecture, register file, simultaneous multithreading, Multithreaded architecture
41	Erik D. Demaine, J. Ian Munro	Fast Allocation and Deallocation with an Improved Buddy System.	FSTTCS	1999	DBLP DOI BibTeX RDF
41	Mee Yee Chan, Shiang-Jen Lee	Subcube Recognition, Allocation/Deallocation and Relocation in Hypercubes.	SPDP	1990	DBLP DOI BibTeX RDF
40	Debendra Das Sharma, Dhiraj K. Pradhan	Job Scheduling in Mesh Multicomputers.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	deallocation, scheduling, mesh, priority, Allocation, reservation
28	Mohan Cui, Chengjun Chen, Hui Xu 0009, Yangfan Zhou	SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
28	Vinayak S. Prabhu, Mohit Singh, Indrajit Ray, Indrakshi Ray, Sudipto Ghosh	Detecting Secure Memory Deallocation Violations with CBMC.	CPSS@AsiaCCS	2022	DBLP DOI BibTeX RDF
28	Min-Hsien Weng, Robi Malik, Mark Utting	Automatic proofs of memory deallocation for a Whiley-to-C Compiler.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
28	Donghyun Lee, Hosung Park, Soonshin Seo, Hyunsoo Son, Gyujin Kim, Ji-Hwan Kim	Robustness of Differentiable Neural Computer Using Limited Retention Vector-based Memory Deallocation in Language Model.	KSII Trans. Internet Inf. Syst.	2021	DBLP DOI BibTeX RDF
28	Mohan Cui, Chengjun Chen, Hui Xu 0009, Yangfan Zhou	SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis.	CoRR	2021	DBLP BibTeX RDF
28	Marco A. Marques, Charles Miers, Marcos A. Simplício Jr.	Container Allocation and Deallocation Traceability using Docker Swarm with Consortium Hyperledger Blockchain.	CLOSER	2021	DBLP DOI BibTeX RDF
28	Yihui Lu, Weidong Liu, Chentao Wu, Jia Wang, Xiaoming Gao, Jie Li 0002, Minyi Guo	Spring Buddy: A Self-Adaptive Elastic Memory Management Scheme for Efficient Concurrent Allocation/Deallocation in Cloud Computing Systems.	ICPADS	2021	DBLP DOI BibTeX RDF
28	Junhee Lee, Seongjoon Hong, Hakjoo Oh	MemFix: static analysis-based repair of memory deallocation errors for C.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
28	Heekwon Park, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	iBuddy: Inverse Buddy for Enhancing Memory Allocation/Deallocation Performanceon Multi-Core Systems.	IEEE Trans. Computers	2015	DBLP DOI BibTeX RDF
28	Jun Zhang, Edwin Hsing-Mean Sha, Qingfeng Zhuge, Juan Yi, Kaijie Wu 0001	Efficient fault-tolerant scheduling on multiprocessor systems via replication and deallocation.	Int. J. Embed. Syst.	2014	DBLP DOI BibTeX RDF
28	Manuel Montenegro, Ricardo Peña, Clara Segura	A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation.	Inf. Comput.	2014	DBLP DOI BibTeX RDF
28	Junxian Huang, Feng Qian 0001, Zhuoqing Morley Mao, Subhabrata Sen, Oliver Spatscheck	RadioProphet: Intelligent Radio Resource Deallocation for Cellular Networks.	PAM	2014	DBLP DOI BibTeX RDF
28	Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi	Type-based safe resource deallocation for shared-memory concurrency.	OOPSLA	2012	DBLP DOI BibTeX RDF
28	Eijiro Sumii	A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
28	Javier de Dios, Manuel Montenegro, Ricardo Peña	Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.	IFM	2010	DBLP DOI BibTeX RDF
28	Kazunaga Hyodo, Kengo Iwamoto, Hideki Ando	Energy-Efficient Pre-Execution Techniques in Two-Step Physical Register Deallocation.	IEICE Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF
28	Manuel Montenegro, Ricardo Peña-Marí, Clara Segura	A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.	WFLP	2008	DBLP DOI BibTeX RDF
28	Akihiro Yamamoto, Yusuke Tanaka 0001, Hideki Ando, Toshio Shimada	Data prefetching and address pre-calculation through instruction pre-execution with two-step physical register deallocation.	MEDEA@PACT	2007	DBLP DOI BibTeX RDF
28	Jim Chow, Ben Pfaff, Tal Garfinkel, Mendel Rosenblum	Shredding Your Garbage: Reducing Data Lifetime Through Secure Deallocation.	USENIX Security Symposium	2005	DBLP BibTeX RDF
28	David R. Hanson	Fast Allocation and Deallocation of Memory Based on Object Lifetimes.	Softw. Pract. Exp.	1990	DBLP DOI BibTeX RDF
28	Martin C. Atkins, Lee R. Nackman	The Active Deallocation of Objects in Object-oriented Systems.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
28	Gianna Cioni, Antoni Kreczmar	Programmed Deallocation Without Dangling Reference.	Inf. Process. Lett.	1984	DBLP DOI BibTeX RDF
27	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
27	Scott Schneider 0001, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos	Scalable locality-conscious multithreaded memory allocation.	ISMM	2006	DBLP DOI BibTeX RDF	synchronization-free, shared memory, multithreading, memory management, non-blocking
27	Abdel Ejnioui, Abdelkader Rhiati	A Reconfigurable Memory Management Core for Java Applications.	ISVLSI	2004	DBLP DOI BibTeX RDF
27	R. David Weldon, Steven S. Chang, Hong Wang 0003, Gerolf Hoflehner, Perry H. Wang, Daniel M. Lavery, John Paul Shen	Quantitative Evaluation of the Register Stack Engine and Optimizations for Future Itanium Processors.	Interaction between Compilers and Computer Architectures	2002	DBLP DOI BibTeX RDF
27	David Walker 0001, Karl Crary, J. Gregory Morrisett	Typed memory management via static capabilities.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	type-directed compilation, typed intermediate languages, certified code, region-based memory management
27	Sunondo Ghosh, Rami G. Melhem, Daniel Mossé	Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	primary/backup, fault-tolerance, reliability, operating systems, redundancy, Real-time scheduling
27	Alexander Aiken, Manuel Fähndrich, Raph Levien	Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages.	PLDI	1995	DBLP DOI BibTeX RDF
27	Henry G. Baker	CONS should not CONS its arguments, or, a lazy alloc is a smart alloc.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
27	Daniel G. Bobrow	Managing Reentrant Structures Using Reference Counts.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
26	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
26	Jeeraporn Srisawat, Nikitas A. Alexandridis	A new "quad-tree-based" sub-system allocation technique for mesh-connected parallel machines.	International Conference on Supercomputing	1999	DBLP DOI BibTeX RDF	mesh-connected parallel machines, resource allocation/deallocation, parallel systems, quad-trees, system partitioning
14	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
14	Aaron Stump, Evan Austin	Resource typing in Guru.	PLPV	2010	DBLP DOI BibTeX RDF	dependently typed programming, resource types
14	Mark Marron, Deepak Kapur, Manuel V. Hermenegildo	Identification of logically related heap regions.	ISMM	2009	DBLP DOI BibTeX RDF	region analysis, shape analysis
14	Eijiro Sumii	A Theory of Non-monotone Memory (Or: Contexts for free).	ESOP	2009	DBLP DOI BibTeX RDF
14	Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta	Runtime Verification of C Memory Safety.	RV	2009	DBLP DOI BibTeX RDF
14	Joseph Sloan, Rakesh Kumar 0002	Towards scalable reliability frameworks for error prone CMPs.	CASES	2009	DBLP DOI BibTeX RDF	dynamic constitution, in-network fault tolerance
14	Guanhua He, Chenguang Luo	Heap Memory Requirements Analysis via Separation Logic.	TASE	2009	DBLP DOI BibTeX RDF
14	Richard E. Jones, Stephen M. Blackburn	International symposium of memory management (ISMM 2008).	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF
14	Miguel Masmano, Ismael Ripoll, Patricia Balbastre, Alfons Crespo	A constant-time dynamic storage allocator for real-time systems.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Real-time allocators, Allocation algorithms evaluation, Dynamic storage allocation
14	Joseph J. Sharkey, Jason Loew, Dmitry V. Ponomarev	Reducing register pressure in SMT processors through L2-miss-driven early register release.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	register file, Simultaneous multithreading
14	Florin Craciun, Shengchao Qin, Wei-Ngan Chin	A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.	ICFEM	2008	DBLP DOI BibTeX RDF
14	Susumu Nishimura	Safe Modification of Pointer Programs in Refinement Calculus.	MPC	2008	DBLP DOI BibTeX RDF
14	Jian Hu, Yang-Li Xiang	A New Fast Frequent Itemsets Mining Algorithm Based on Forest.	FSKD (2)	2008	DBLP DOI BibTeX RDF
14	Cheng-Fu Chou, Leana Golubchik, John C. S. Lui	Multiclass Multiserver Threshold-Based Systems: A Study of Noninstantaneous Server Activation.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Multiclass multiserver queueing system, hysteresis control, performance, evaluation, system design
14	Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang	A pointer logic and certifying compiler.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	pointer logic, Hoare logic, Proof-Carrying Code, software safety, certifying compiler
14	M. Teresa Higuera-Toledano	Name-Based Write Barriers in Real-Time Java.	CIT	2007	DBLP DOI BibTeX RDF
14	Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok	Model Predictive Control for Memory Profiling.	IPDPS	2007	DBLP DOI BibTeX RDF
14	Sigmund Cherem, Lonnie Princehouse, Radu Rugina	Practical memory leak detection using guarded value-flow analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static error detection, value-flow analysis, memory management, memory leaks
14	John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve	Secure virtual architecture: a safe execution environment for commodity operating systems.	SOSP	2007	DBLP DOI BibTeX RDF	security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
14	Sang-Yun Lee, Byung-Uk Choi	EVM's Java Dynamic Memory Manager and Garbage Collector.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Mark & Sweep, EVM, Memory Management, Garbage Collector
14	Saad Bani-Mohammad, Mohamed Ould-Khaoua, Ismail Ababneh, Lewis M. Mackenzie	A Performance Comparison of the Contiguous Allocation Strategies in 3D Mesh Connected Multicomputers.	ISPA	2007	DBLP DOI BibTeX RDF
14	Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez	Incorporating Precise Garbage Collection in an Ada Compiler.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Victor De La Luz, Mahmut T. Kandemir, Ibrahim Kolcu	Reducing memory energy consumption of embedded applications that process dynamically allocated data.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
14	Dhafer Ben Khedher, Roch H. Glitho, Rachida Dssouli	Media handling aspects of multimedia conferencing in broadband wireless ad hoc networks.	IEEE Netw.	2006	DBLP DOI BibTeX RDF
14	Stylianos Karapantazis, Fotini-Niovi Pavlidou	QoS handover management for multimedia LEO satellite networks.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	LEO satellite systems, Handover management, Satellite diversity, Multimedia traffic, QoS provisioning
14	Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson	Message analysis for concurrent programs using message passing.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Static analysis, message passing, Erlang, runtime systems, concurrent languages
14	Christian Del Rosso	The Method, the Tools and Rationales for Assessing Dynamic Memory Efficiency in Embedded Real-Time Systems in Practice.	ICSEA	2006	DBLP DOI BibTeX RDF
14	Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, Ben Hertzberg	McRT-Malloc: a scalable transactional memory allocator.	ISMM	2006	DBLP DOI BibTeX RDF	synchronization, memory management, transactional memory, runtimes
14	Martin Hofmann 0001, Steffen Jost	Type-Based Amortised Heap-Space Analysis.	ESOP	2006	DBLP DOI BibTeX RDF
14	M. Teresa Higuera-Toledano	Towards an Analysis of Garbage Collection Techniques for Embedded Real-Time Java Systems.	RTCSA	2006	DBLP DOI BibTeX RDF	Java, real-time, embedded, garbage collection, memory management, write barriers
14	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
14	Atsushi Igarashi, Naoki Kobayashi 0001	Resource usage analysis.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	type inference, Resource usage
14	Matthew Hertz, Emery D. Berger	Quantifying the performance of garbage collection vs. explicit memory management.	OOPSLA	2005	DBLP DOI BibTeX RDF	explicit memory management, oracular memory management, performance analysis, throughput, garbage collection, paging, time-space tradeoff
14	Brian Hackett, Radu Rugina	Region-based shape analysis with tracked locations.	POPL	2005	DBLP DOI BibTeX RDF	static error detection, memory management, shape analysis, memory leaks
14	Ivana Mijajlovic, Hongseok Yang	Data Refinement with Low-Level Pointer Operations.	APLAS	2005	DBLP DOI BibTeX RDF
14	Amal J. Ahmed 0001, Matthew Fluet, Greg Morrisett	A step-indexed model of substructural state.	ICFP	2005	DBLP DOI BibTeX RDF	mutable references, stepindexed model, substructural type system
14	Valentin Dallmeier, Christian Lindig, Andreas Zeller	Lightweight bug localization with AMPLE.	AADEBUG	2005	DBLP DOI BibTeX RDF
14	T. Srinivasan 0001, P. J. S. Srikanth, K. Praveen, L. Harish Subramaniam	Parallel AI Game Playing Approach for Faster Processor Allocation in Hypercube Systems using Veitch Diagram.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
14	M. Sundstron, Lars-Åke Larzon	High-performance longest prefix matching supporting high-speed incremental updates and guaranteed compression.	INFOCOM	2005	DBLP DOI BibTeX RDF
14	Peter Petrov, Daniel Tracy, Alex Orailoglu	Energy-effcient physically tagged caches for embedded processors with virtual memory.	DAC	2005	DBLP DOI BibTeX RDF
14	Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jorge Real	TLSF: A New Dynamic Memory Allocator for Real-Time Systems.	ECRTS	2004	DBLP DOI BibTeX RDF	Real-time operating systems, memory allocation
14	Akihito Nagata, Naoki Kobayashi 0001, Akinori Yonezawa	Region-Based Memory Management for a Dynamically-Typed Language.	APLAS	2004	DBLP DOI BibTeX RDF
14	Heikki Verta, Titos Saridakis	Detection of Heap Management Flaws in Component-Based Software.	EUROMICRO	2004	DBLP DOI BibTeX RDF
14	Oguz Ergin, Deniz Balkan, Dmitry V. Ponomarev, Kanad Ghose	Increasing Processor Performance Through Early Register Release.	ICCD	2004	DBLP DOI BibTeX RDF
14	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without runtime checks or garbage collection.	LCTES	2003	DBLP DOI BibTeX RDF	automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management
14	Angelo Corsaro, Ron Cytron	Efficient memory-reference checks for real-time java.	LCTES	2003	DBLP DOI BibTeX RDF	scoped memory, garbage collection, memory management, object oriented languages, real-time java
14	S. Kagan Agun, J. Morris Chang	Reconfigurable Fast Memory Management System Design for Application Specific Processors.	ISVLSI	2003	DBLP DOI BibTeX RDF
14	Martin Hofmann 0001, 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