𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Overview of the Runtime Verification Tool Java PathExplorer

✍ Scribed by Klaus Havelund; Grigore Roşu

Book ID
111582554
Publisher
Springer
Year
2004
Tongue
English
Weight
181 KB
Volume
24
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An overview of the verification of SET
An overview of the verification of SET
✍ Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 951 KB
An overview of the visual optimization t
An overview of the visual optimization tools in JPEG 2000
✍ Wenjun Zeng; Scott Daly; Shawmin Lei 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 648 KB

The human visual system plays a key role in the final perceived quality of the compressed images. It is therefore desirable to allow system designers and users to take advantage of the current knowledge of visual perception and models in a compression system. In this paper, we review the various too