CC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
CC
2005
Springer
13 years 11 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
CC
2005
Springer
13 years 11 months ago
2005
Springer
CC
2005
Springer
13 years 11 months ago
2005
Springer
CC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
CC
2005
Springer
13 years 11 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
CC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
CC
2005
Springer
13 years 11 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
CC
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
CC
2005
Springer
13 years 11 months ago
2005
Springer
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...