Search results for "deallocation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Verifying Temporal Heap Properties Specified via Evolution Logic.	ESOP	2003	DBLP DOI BibTeX RDF
14	Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson	Message Analysis for Concurrent Languages.	SAS	2003	DBLP DOI BibTeX RDF
14	Amal J. Ahmed 0001, David Walker 0001	The logical approach to stack typing.	TLDI	2003	DBLP DOI BibTeX RDF	bunched logic, ordered logic, type systems, memory management, linear logic, stack, typed assembly language
14	Changqing Fu, Kent D. Wilken	A faster optimal register allocator.	MICRO	2002	DBLP DOI BibTeX RDF
14	John C. Reynolds	Separation Logic: A Logic for Shared Mutable Data Structures.	LICS	2002	DBLP DOI BibTeX RDF
14	Atsushi Igarashi, Naoki Kobayashi 0001	Resource usage analysis.	POPL	2002	DBLP DOI BibTeX RDF
14	Henning Makholm, Konstantinos Sagonas	On Enabling the WAM with Region Support.	ICLP	2002	DBLP DOI BibTeX RDF
14	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
14	Ralf H. Reussner	Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.	SOFSEM	2002	DBLP DOI BibTeX RDF	software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability
14	David Walker 0001, Kevin Watkins	On Regions and Linear Types.	ICFP	2001	DBLP DOI BibTeX RDF
14	Peter W. O'Hearn, John C. Reynolds, Hongseok Yang	Local Reasoning about Programs that Alter Data Structures.	CSL	2001	DBLP DOI BibTeX RDF
14	David Walker 0001, J. Gregory Morrisett	Alias Types for Recursive Data Structures.	Types in Compilation	2000	DBLP DOI BibTeX RDF
14	Martin Hirzel, Amer Diwan	On the Type Accuracy of Garbage Collection.	ISMM	2000	DBLP DOI BibTeX RDF
14	Frederick Smith, David Walker 0001, J. Gregory Morrisett	Alias Types.	ESOP	2000	DBLP DOI BibTeX RDF
14	Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth	Checkmate: cornering C++ dynamic memory errors with checked pointers.	SIGCSE	2000	DBLP DOI BibTeX RDF	C++
14	Jeeraporn Srisawat, Nikitas A. Alexandridis	A "Generalized k-Tree-Based Model to Sub-system Allocation" for Partitionable Multi-dimensional Mesh-Connected Architectures.	ISHPC	2000	DBLP DOI BibTeX RDF
14	Fredrik Larsson, Paul Pettersson, Wang Yi 0001	On Memory-Block Traversal Problems in Model-Checking Timed-Systems.	TACAS	2000	DBLP DOI BibTeX RDF
14	Alan A. Bertossi, Luigi V. Mancini, Federico Rossini	Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Hard-Real-Time Systems.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Fault tolerance, multiprocessor systems, hard-real-time systems, periodic tasks, rate-monotonic scheduling, task replication
14	Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke	Region Analysis and the Polymorphic Lambda Calculus.	LICS	1999	DBLP DOI BibTeX RDF	semantics, program analysis, garbage collection, memory management, polymorphism
14	M. Chang, Woo Hyong Lee, Yusuf Hasan	Measuring dynamic memory invocations in object-oriented programs.	IPCCC	1999	DBLP DOI BibTeX RDF
14	Martin Naedele	Fault-Tolerant Real-Time Scheduling under Execution Time Constraints.	RTCSA	1999	DBLP DOI BibTeX RDF	primary/backup, simulation, fault-tolerance, heuristics, real-time scheduling, multiprocessor scheduling, online scheduling
14	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.	ICSM	1999	DBLP DOI BibTeX RDF	execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation
14	David Gay, Alexander Aiken	Memory Management with Explicit Regions.	PLDI	1998	DBLP DOI BibTeX RDF	C
14	Hyunseung Choo, Hee Yong Youn, Gyung-Leen Park, Behrooz A. Shirazi	Efficient Processor Allocation Scheme for Multi Dimensional Interconnection Networks.	ICPP	1997	DBLP DOI BibTeX RDF
14	Kelvin D. Nilsen	High-level dynamic memory management for object-oriented real-time systems.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
14	Suresh Rai, Jerry L. Trahan, Thomas Smailus	Processor Allocation in Hypercube Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
14	Elliot K. Kolodner, William E. Weihl	Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
14	R. Kent Dybvig, Carl Bruggeman, David Eby	Guardians in a Generation-Based Garbage Collector.	PLDI	1993	DBLP DOI BibTeX RDF	SCHEME
14	S. Y. Yoon, Ohan Kang, Hyunsoo Yoon, Seung Ryoul Maeng, Jung Wan Cho	A heuristic processor allocation strategy in hypercube systems.	SPDP	1991	DBLP DOI BibTeX RDF
14	Henry G. Baker	Unify and Conquer.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
14	Mark Rain	Portable IPC on Vanilla Unix.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	UNIX
14	Ming-Syan Chen, Kang G. Shin	Task Migration in Hypercube Multiprocessors.	ISCA	1989	DBLP DOI BibTeX RDF
14	Chris Tomlinson, Won Kim 0001, Mark Scheevel, Vineet Singh, Becky Will, Gul Agha	Rosette: An object-oriented concurrent systems architecture.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
14	William A. Shay	A project for operating systems simulation.	SIGCSE	1986	DBLP DOI BibTeX RDF
14	Nan C. Shu, Barron C. Housel, Robert W. Taylor, Sakti P. Ghosh, Vincent Y. Lum	EXPRESS: A Data EXtraction, Processing, amd REStructuring System.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	file conversion, program generation, data conversion, data translation, data manipulation languages, very high level languages, data description languages, data restructuring