- Subscribe to this page:
- RSS
- Email Alert
c heap
(22 results)White Papers, Webcasts, and Resources
-
Check out this white paper to learn how you can use MS Office 365 to transform your business productivity and collaboration.
-
White Papers
CRAMM: Virtual Memory Support for Garbage-Collected Applications
January 9, 2007 12:00am PST
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performance of...
Provided by: University of Massachusetts Amherst
-
White Papers
WHATSAT: Dynamic Heap Type Inference for Program Understanding and Debugging
December 1, 2006 12:00am PST
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. The authors present a dynamic analysis for C that checks heap snapshots for consistency with...
Provided by: University of Wisconsin
-
White Papers
Weak Updates and Separation Logic
August 16, 2010 12:00am PDT
Separation logic provides a simple but powerful technique for reasoning about low-level imperative programs that use shared data structures. Unfortunately, separation logic supports only "Strong...
Provided by: Yale University
-
Software
.NET Memory Profiler Standard 3.1 (Windows)
June 21, 2008 12:00am PDT
.NET Memory Profiler is a powerful tool for finding memory leaks and optimizing the memory usage in programs written in C#, VB.NET or any other .NET Language.It allows you to retrieve information...
Provided by: SciTech Software
-
Downloads
.NET Memory Profiler Standard 3.1 (Windows)
June 21, 2008 12:00am PDT
.NET Memory Profiler is a powerful tool for finding memory leaks and optimizing the memory usage in programs written in C#, VB.NET or any other .NET Language.It allows you to retrieve information...
Provided by: SciTech Software
-
-
White Papers
Safe Manual Memory Management
August 29, 2007 12:00am PDT
The authors present HeapSafe, a tool that uses reference counting to dynamically verify the soundness of manual memory management of C programs. HeapSafe relies on a simple extension to the usual...
Provided by: Intel
-
White Papers
DieHard: Efficient Probabilistic Memory Safety
February 20, 2009 12:00am PST
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors can lead to...
Provided by: Association for Computing Machinery
-
Software
Enterprise Architect 9.1 build 909 (Windows)
August 31, 2011 12:00am PDT
Use Enterprise Architect with UML 2.3 to model, design, and build your next software or business project. Leverage MDA and code generation support (ActionScript, Java, C#, C++, C, VB.Net, VB,...
Provided by: Sparx Systems
-
Downloads
Enterprise Architect 9.1 build 909 (Windows)
August 31, 2011 12:00am PDT
Use Enterprise Architect with UML 2.3 to model, design, and build your next software or business project. Leverage MDA and code generation support (ActionScript, Java, C#, C++, C, VB.Net, VB,...
Provided by: Sparx Systems
-
Software
Basic Dutch 1.1 (Mobile)
November 4, 2011 12:00am PDT
Learn Dutch smart and effective You don't have to know anything about the Dutch language to use iTeach Dutch to equip yourself to converse in Dutch. iTeach is designed to be easy to use. It...
Provided by: ArtWorks
-
Software
iTeach Thai 1.0 (Mobile)
October 26, 2011 12:00am PDT
Learn Thai smart and effectiveYou don't have to know anything about the Thai language to use iTeach Thai to equip yourself to converse in Thai . iTeach is designed to be easy to use. It exploits...
Provided by: eduGamer
-
White Papers
Quarantine: Java Heap Protection in the Presence of Native Code
December 29, 2009 12:00am PST
By using Java Native Interface (JNI), programmers can integrate Java programs with legacy systems or third-party libraries written in other languages (e.g., C, C++, and Pascal). However, the use...
Provided by: Association for Computing Machinery
-
Software
TotalView 8.7.0 (Mac)
August 25, 2009 12:00am PDT
Etnus TotalView leverages more than 19 years of continuous product development to maintain its clear leadership position. More and more developers are discovering its unequaled value for...
Provided by: TotalView Technologies
-
Downloads
TotalView 8.7.0 (Mac)
August 25, 2009 12:00am PDT
Etnus TotalView leverages more than 19 years of continuous product development to maintain its clear leadership position. More and more developers are discovering its unequaled value for...
Provided by: TotalView Technologies
-
White Papers
Accurate Garbage Collection in Uncooperative Environments Revisited
March 5, 2008 12:00am PST
Implementing a concurrent programming language such as Java by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host...
Provided by: John Wiley & Sons
-
White Papers
Vertical Object Layout and Compression for Fixed Heaps
October 3, 2007 12:00am PDT
Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as nesC and Virgil...
Provided by: Association for Computing Machinery
-
White Papers
Accurate Garbage Collection in Uncooperative Environments With Lazy Pointer Stacks
February 8, 2007 12:00am PST
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host language and reduces...
Provided by: Purdue University
-
White Papers
Dependent Types for Low-Level Programming
February 2, 2007 12:00am PST
In this paper, the authors describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are a sound type system that combines...
Provided by: University of California
-
White Papers
Schism: Fragmentation-Tolerant Real-Time Garbage Collection
June 10, 2010 12:00am PDT
Managed languages such as Java and C# are being considered for use in hard real-time systems. A hurdle to their widespread adoption is the lack of garbage collection algorithms that offer...
Provided by: Association for Computing Machinery
-
White Papers
Chameleon: Adaptive Selection of Collections
June 20, 2009 12:00am PDT
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choice in the...
Provided by: Association for Computing Machinery









































