Programming Languages for Compressing Graphics
No abstract available.
Related papers
- Domain Compression for Complete Abstractions VMCAI 2003
- Compressing Transitions for Model Checking CAV 2002
- Data Compression Transformations for Dynamically Allocated Data Structures CC 2002
- Memory Management in Flash-Memory Disks with Data Compression ISMM 1995
- Syntactic Partial Order Compression for Probabilistic Reachability VMCAI 2019
- Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines ECOOP 2007
- A space- and energy-efficient code Compression/Decompression technique for coarse-grained reconfigurable architectures CGO 2017
- Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock TACAS 1995