598 search results - page 2 / 120 » Procedure Based Program Compression |
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
GRAPHICSINTERFACE
2001
13 years 6 months ago
2001
We show how to use fixed bases for efficient spectral compression of 3D meshes. In contrast with compression using variable bases, this permits efficient decoding of the mesh. The...
ICIAR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. It is well-known that the lossless compression of color-indexed images can be improved if a suitable reordering of the palette is performed before encoding the images. In...
SCOPES
2004
Springer
13 years 10 months ago
2004
Springer
Echo Instructions have recently been introduced to allow embedded processors to provide runtime decompression of LZ77-compressed programs at a minimal hardware cost compared to oth...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...