Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Simon Kahan, Petr Konecny	"MAMA!": a memory allocator for multithreaded architectures.	PPoPP	2006	DBLP DOI BibTeX RDF	Eldorado, MTA, malloc, parallel memory allocation, multithreading, combining
24	Qing Dai, Jie Wu 0001	Computation of Minimal Uniform Transmission Range in Ad Hoc Wireless Networks.	Clust. Comput.	2005	DBLP DOI BibTeX RDF	power control, minimum spanning tree, ad hoc wireless network, graph connectivity, transmission power
24	Seth Pettie	Towards a Final Analysis of Pairing Heaps.	FOCS	2005	DBLP DOI BibTeX RDF
24	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
24	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.	ESOP	2005	DBLP DOI BibTeX RDF
24	Alexandru Salcianu, Martin C. Rinard	Purity and Side Effect Analysis for Java Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
24	Dries Buytaert, Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	Garbage Collection Hints.	HiPEAC	2005	DBLP DOI BibTeX RDF
24	Tim Owen, Des Watson	Reducing the Cost of Object Boxing.	CC	2004	DBLP DOI BibTeX RDF
24	Radu Rugina	Shape Analysis Quantitative Shape Analysis.	SAS	2004	DBLP DOI BibTeX RDF
24	Angeles G. Navarro, Francisco Corbera, Rafael Asenjo, Adrian Tineo, Oscar G. Plata, Emilio L. Zapata	A New Dependence Test Based on Shape Analysis for Pointer-Based Codes.	LCPC	2004	DBLP DOI BibTeX RDF
24	Shengli Bao, Peter R. Wurman	A comparison of two algorithms for multi-unit k-double auctions.	ICEC	2003	DBLP DOI BibTeX RDF	Clearing Algorithms, Double Auctions
24	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Inserting Safe Memory Reuse Commands into ML-Like Programs.	SAS	2003	DBLP DOI BibTeX RDF
24	Chia-Tien Dan Lo	The Design of a Self-Maintained Memory Module for Real-Time Systems.	IWSOC	2003	DBLP DOI BibTeX RDF	Copying Collection, Real-Time, Garbage Collection, Dynamic Memory Management
24	J Strother Moore, George Porter	The apprentice challenge.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation
24	Weidong Shi, Xiaotong Zhuang, Indrani Paul, Karsten Schwan	Efficient Implementation of Packet Scheduling Algorithm on High-Speed Programmable Network Processors.	MMNS	2002	DBLP DOI BibTeX RDF
24	Michal Konecný	Typing with Conditions and Guarantees for Functional In-place Update.	TYPES	2002	DBLP DOI BibTeX RDF
24	Markus Pizka, Christian Rehn	Heaps and Stacks in Distributed Shared Memory.	IPDPS	2002	DBLP DOI BibTeX RDF
24	Fridtjof Siebert	Constant-Time Root Scanning for Deterministic Garbage Collection.	CC	2001	DBLP DOI BibTeX RDF
24	Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss	Age-Based Garbage Collection.	OOPSLA	1999	DBLP DOI BibTeX RDF	generational and copy collection, garbage collection, write barrier, object behavior
24	Tadao Takaoka	Theory of 2-3 Heaps.	COCOON	1999	DBLP DOI BibTeX RDF
24	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
24	Robert Rönngren, Rassul Ayani	A Comparative Study of Parallel and Sequential Priority Queue Algorithms.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	parallel access priority queue, pending event set implementations, priority queue
24	Darko Stefanovic, J. Eliot B. Moss	Characterization of Object Behaviour in Standard ML of New Jersey.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Standard ML
24	Giuseppe Attardi, Tito Flagella	Customising Object Allocation.	ECOOP	1994	DBLP DOI BibTeX RDF
24	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
24	David R. Barach, David H. Taenzer, Robert E. Wells	A technique for finding storage allocation errors in C-language programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
24	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
24	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
24	Misagh Mohammadizadeh, Ali Movaghar 0001, Seyad Mohammad Safi	SEAODV: secure efficient AODV routing protocol for MANETs networks.	ICIS	2009	DBLP DOI BibTeX RDF	AODV, HEAP, one-way hash function, secure routing protocol
24	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
24	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
24	Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001, Xiangyu Zhang 0001	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
24	Ben L. 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
24	Katerina Asdre, Stavros D. Nikolopoulos	P-Tree Structures and Event Horizon: Efficient Event-Set Implementations.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	event set algorithms, hold model, event horizon, P-tree structures, data structures, discrete-event simulation, heap, P-tree
24	Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev	A specification-based approach to reasoning about pointers.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	heap memory management, pointer specification, reasoning
24	Ben L. Titzer	Virgil: objects on the head of a pin.	OOPSLA	2006	DBLP DOI BibTeX RDF	data-sensitive optimization, heap compression, multi-stage computation, standalone programs, whole-program compilation, sensor networks, embedded systems, static analysis, microcontrollers, systems software, dead code elimination
24	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
24	Noboru Takagi	An Agglomerative Hierarchical Clustering by Finding Adjacent Hyper-Rectangles.	RSCTC	2006	DBLP DOI BibTeX RDF	heap sort, combinatorial optimization problem, agglomerative hierarchical clustering
24	Fufang Li, Deyu Qi 0001, Limin Zhang, Xianguang Zhang, Zhili Zhang	Research on Novel Dynamic Resource Management and Job Scheduling in Grid Computing.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF	Heap sort Tree (HST), Node State Monitoring Agent (NSMA), Autonomy Presentation Agent (ARA), Grid Computing
24	Mangala Gowri Nanda, Christian Grothoff, Satish Chandra 0001	Deriving object typestates in the presence of inter-object references.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, predicate abstraction, alias analysis, interface specification, heap analysis
24	Rick Siow Mong Goh, Ian Li-Jin Thng	Twol-amalgamated priority queues.	ACM J. Exp. Algorithmics	2004	DBLP DOI BibTeX RDF	Henriksen's, future event list, pending event set, skew heap, simulator, discrete event simulation, tree, priority queue, Algorithm analysis, splay tree, calendar queue
24	Jonathan D. Pincus, Brandon Baker	Beyond Stack Smashing: Recent Advances in Exploiting Buffer Overruns.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	stack smashing, attacking systems, arc injection, pointer subterfuge, heap smashing, buffer overruns
24	Christoph von Praun, Thomas R. Gross	Static conflict analysis for multi-threaded object-oriented programs.	PLDI	2003	DBLP DOI BibTeX RDF	heap shape graph, object use graph, representations for concurrent programs, program analysis, race detection
24	Yefim Shuf, Manish Gupta 0002, 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
24	Peng Wu 0001, Paul Feautrier, David A. Padua, Zehra Sura	Instance-wise points-to analysis for loop-based dependence testing.	ICS	2002	DBLP DOI BibTeX RDF	pointer arrays, Java, dependence analysis, pointer analysis, heap analysis
24	Chi-Min Lin, Tien-Fu Chen	Dynamic memory management for real-time embedded Java chips.	RTCSA	2000	DBLP DOI BibTeX RDF	storage management chips, dynamic runtime memory management, real-time embedded Java chips, CPU design, hardware-assisted scheme, dynamic garbage collection mechanism, predictable memory allocation time, data transition events, circular heap, simulation, Java, embedded systems, response time, memory architecture, memory architecture, storage allocation, coprocessors, resource constraints, real-time constraints, co-processor
24	Panos M. Pardalos, Guoliang Xue	Algorithms for a Class of Isotonic Regression Problems.	Algorithmica	1999	DBLP DOI BibTeX RDF	Binomial heap, Linear time algorithms, Isotonic regression
24	Gary S. Tyson, Todd M. Austin	Improving the Accuracy and Performance of Memory Communication Through Renaming.	MICRO	1997	DBLP DOI BibTeX RDF	data fetching, data value speculation, heap segment, instruction loading, memory access latency, memory communication, memory references, memory renaming, memory segments, processor pipeline, register access techniques, stores, performance, delays, accuracy, instruction-level parallelism, execution time, storage allocation, data dependence speculation, address calculation
24	Josep Lluís Larriba-Pey, Daniel Jiménez-González, Juan J. Navarro	An Analysis of Superscalar Sorting Algorithms on an R8000 Processor.	SCCC	1997	DBLP DOI BibTeX RDF	superscalar sorting algorithms, R8000 processor, in-memory sorting algorithms, Quick sort, Heap sort, Multiway merge, parallel algorithms, locality, superscalar architectures, Radix sort, Bucket sort
24	Akira Imai, Evan Tick	Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	parallel copying, heap allocation, concurrent logic programming system, VPIM, parallel algorithms, load-balancing, resource allocation, logic programming, garbage collection, shared-memory multiprocessor, shared memory systems, storage management, contention, fragmentation, load distribution, symbolic languages
24	Jit Biswas, James C. Browne	Data Structures for Parallel Resource Management.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	parallel resource management, system state, weakened specifications, multiple processes, concurrent heap, software banyan, simultaneous update, parallel algorithms, parallel algorithms, parallel programming, data structures, data structures, resource allocation, resource allocation, operating systems, priority queue, processor architectures
23	Steven P. Reiss	Visualizing the Java heap.	ICSE (2)	2010	DBLP DOI BibTeX RDF	dynamic program understanding, object ownership, memory management, programming tools
23	Brian Demsky, Martin C. Rinard	Automatic Extraction of Heap Reference Properties in Object-Oriented Programs.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
23	Josh Berdine	Automatic Verification of Heap Manipulation Using Separation Logic.	SOFSEM	2009	DBLP DOI BibTeX RDF
23	Steven P. Reiss	Visualizing the Java heap demonstration proposal.	ICSM	2009	DBLP DOI BibTeX RDF
23	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Multiple Pre/Post Specifications for Heap-Manipulating Methods.	HASE	2007	DBLP DOI BibTeX RDF
23	Sumit Gulwani, Ashish Tiwari 0001	An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.	CAV	2007	DBLP DOI BibTeX RDF
23	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
23	Ruth Manor	Solving the Heap.	Synth.	2006	DBLP DOI BibTeX RDF
23	Kuo-Yuan Kao	On Colored Heap Games of Sumbers.	ACG	2006	DBLP DOI BibTeX RDF
23	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
23	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
23	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.	CiE	2006	DBLP DOI BibTeX RDF
23	Jesse D. Bingham, Zvonimir Rakamaric	A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.	VMCAI	2006	DBLP DOI BibTeX RDF
23	Yves Younan, Wouter Joosen, Frank Piessens	Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic.	ICICS	2006	DBLP DOI BibTeX RDF
23	Lennart Beringer, Martin Hofmann 0001, Alberto Momigliano, Olha Shkaravska	Automatic Certification of Heap Consumption.	LPAR	2004	DBLP DOI BibTeX RDF
23	Birgit Schieder	Pointer Theory and Weakest Preconditions without Addresses and Heap.	MPC	2004	DBLP DOI BibTeX RDF
23	Guangyu Chen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin	Field level analysis for heap space optimization in embedded java environments.	ISMM	2004	DBLP DOI BibTeX RDF	garbage collection, java virtual machine
23	Ali-Reza Adl-Tabatabai, Jay Bharadwaj, Michal Cierniak, Marsha Eng, Jesse Fang, Brian T. Lewis, Brian R. Murphy, James M. Stichnoth	Improving 64-Bit Java IPF Performance by Compressing Heap References.	CGO	2004	DBLP DOI BibTeX RDF
23	Guilin Chen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Mary Jane Irwin	Analyzing heap error behavior in embedded JVM environments.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	softerrors, JVM
23	Sushil K. Prasad, Zhiyong Cao	Parallel distributed simulation and modeling methods: SyncSim: a synchronous simple optimistic simulation technique based on a global parallel heap event queue.	WSC	2003	DBLP DOI BibTeX RDF
23	Walid Taha, Stephan Ellner, Hongwei Xi	Generating Heap-Bounded Programs in a Functional Setting.	EMSOFT	2003	DBLP DOI BibTeX RDF
23	Mandana Vaziri, Daniel Jackson 0001	Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.	TACAS	2003	DBLP DOI BibTeX RDF
23	Tony Printezis, Richard E. Jones	GCspy: an adaptable heap visualisation framework.	OOPSLA	2002	DBLP DOI BibTeX RDF	visualisation of objects, Java, garbage collection, memory management, language implementation
23	Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson	Heap architectures for concurrent languages using message passing.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	message passing, garbage collection, erlang, runtime systems, concurrent languages
23	Martin Hirzel, Johannes Henkel, Amer Diwan, Michael Hind	Understanding the connectivity of heap objects.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	connectivity based garbage collection, object lifetimes
23	Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv	Heap Profiling for Space-Efficient Java.	PLDI	2001	DBLP DOI BibTeX RDF	Java
16	Xin Li 0010, Mizuhito Ogawa	Conditional weighted pushdown systems and applications.	PEPM	2010	DBLP DOI BibTeX RDF	weighted pushdown systems, model checking
16	Jeremy Singer, Richard E. Jones, Gavin Brown 0001, Mikel Luján	The economics of garbage collection.	ISMM	2010	DBLP DOI BibTeX RDF	allocation curve, java, garbage collection, memory management, elasticity, microeconomics
16	Fridtjof Siebert	Concurrent, parallel, real-time garbage-collection.	ISMM	2010	DBLP DOI BibTeX RDF	java, real-time, parallel, concurrent, garbage collection, multicore
16	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
16	Chen Tian 0002, Min Feng 0001, Rajiv Gupta 0001	Supporting speculative parallelization in the presence of dynamic data structures.	PLDI	2010	DBLP DOI BibTeX RDF	multicore processors, speculative parallelization
16	Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný	Parallel programming with object assemblies.	OOPSLA	2009	DBLP DOI BibTeX RDF	irregular parallelism, parallel programming, data parallelism, ownership, programming abstractions
16	Renato Cherini, Javier O. Blanco	Local reasoning for abstraction and sharing.	SAC	2009	DBLP DOI BibTeX RDF	modularity, resources, separation logic
16	Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann 0001	"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.	FM	2009	DBLP DOI BibTeX RDF
16	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
16	Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji	Automated Analysis of Data-Dependent Programs with Dynamic Memory.	ATVA	2009	DBLP DOI BibTeX RDF
16	Shaoshan Liu, Ligang Wang 0001, Xiao-Feng Li, Jean-Luc Gaudiot	Packer: An innovative space-time-efficient parallel garbage collection algorithm based on virtual spaces.	IPDPS	2009	DBLP DOI BibTeX RDF
16	Tomas Kalibera	Replicating real-time garbage collector for Java.	JTRES	2009	DBLP DOI BibTeX RDF
16	Shaoshan Liu, Ligang Wang 0001, Xiao-Feng Li, Jean-Luc Gaudiot	Space-and-time efficient garbage collectors for parallel systems.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	garbage collection, java virtual machine
16	Zvonimir Rakamaric, Alan J. Hu	A Scalable Memory Model for Low-Level Code.	VMCAI	2009	DBLP DOI BibTeX RDF
16	Ondrej Lhoták, Laurie J. Hendren	Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Interprocedural program analysis, cast safety analysis, Java, binary decision diagrams, context sensitivity, points-to analysis, call graph construction
16	Stephen Magill, Ming-Hsien Tsai 0001, Peter Lee 0001, Yih-Kuen Tsay	THOR: A Tool for Reasoning about Shape and Arithmetic.	CAV	2008	DBLP DOI BibTeX RDF
16	Susumu Nishimura	Safe Modification of Pointer Programs in Refinement Calculus.	MPC	2008	DBLP DOI BibTeX RDF
16	Thomas Noll 0001, Stefan Rieger	Verifying Dynamic Pointer-Manipulating Threads.	FM	2008	DBLP DOI BibTeX RDF
16	James Brotherston, Richard Bornat, Cristiano Calcagno	Cyclic proofs of program termination in separation logic.	POPL	2008	DBLP DOI BibTeX RDF	cyclic proof, program verification, termination, hoare logic, separation logic, inductive definitions
16	Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata	Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
16	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Regional Logic for Local Reasoning about Global Invariants.	ECOOP	2008	DBLP DOI BibTeX RDF
16	Martin Schoeberl, Wolfgang Puffitsch	Non-blocking object copy for real-time garbage collection.	JTRES	2008	DBLP DOI BibTeX RDF
16	Nicholas D. Matsakis, Thomas R. Gross	Thread Safety through Partitions and Effect Agreements.	LCPC	2008	DBLP DOI BibTeX RDF