๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Compressed and Distributed File Formats for Labeled Transition Systems

โœ Scribed by Stefan Blom; Izak van Langevelde; Bert Lisser

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
177 KB
Volume
89
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

โœฆ Synopsis

With model checking techniques growing towards maturity, the availability for standardised file formats for labeled transition systems is more important than ever. A number of requirements for file formats are introduced, based on requirements for software, databases and compression. Two candidate formats, SVC I and SVC II are introduced, with the former emphasising compression and the latter focusing on distributed access. The two formats are compared with existing file formats.

๐Ÿ“œ SIMILAR VOLUMES

Design and implementation of a file syst
Design and implementation of a file system with on-the-fly data compression for GNU/Linux
โœ Praveen B.; Deepak Gupta; Rajat Moona ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 82 KB ๐Ÿ‘ 2 views

Data compression techniques have long been assisting in making effective use of disk, network and other resources. Most compression utilities require explicit user action for compressing and decompressing of file data. However, there are some systems in which compression and decompression of file da

Analytical expressions for the radial fr
Analytical expressions for the radial free space distribution function of the hard-sphere system and the phase transition
โœ Byoung Jip Yoon ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 244 KB

The radial free space distribution function (RFSDF) has been defined and calculated for the hard-sphere fluid and solid. Fittings for the RFSDF of the hard-sphere fluid and solid are presented and analytical expressions for RFSDF are also presented. From the analysis of RFSDFs, the solid and fluid p