104 search results - page 1 / 21 » Compression of Unicode Files |
DCC
1998
IEEE
13 years 9 months ago
1998
IEEE
The increasing importance of Unicode for text files, for example with Java and in some modern operating systems, implies a possible doubling of data storage space and data transmi...
WWW
2004
ACM
14 years 5 months ago
2004
ACM
The increasing importance of Unicode for text encoding implies a possible doubling of data storage space and data transmission time, with a corresponding need for data compression...
ACL2
2006
ACM
13 years 11 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
DCC
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract. The Compressed Delta Encoding paradigm is introduced, i.e., delta encoding directly in two given compressed files without decompressing. Here we explore the case where th...
CASCON
1998
13 years 6 months ago
1998
The Jazz file format is intended to be a replacement for the JAR file format when used for storage and distribution of Java programs. A Jazz file is compressed to a degree that fa...