✦ LIBER ✦

Algorithms with memory for computation of properties

✍ Scribed by A. I. Kondrat'ev

Publisher: Springer US
Year: 1988
Tongue: English
Weight: 706 KB
Volume: 24
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01069536

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Memory-efficient algorithms for the veri

Memory-efficient algorithms for the verification of temporal properties

✍ C. Courcoubetis; M. Vardi; P. Wolper; M. Yannakakis 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 804 KB

This article addresses the problem of designing memory-efficient algorithms for the verification of temporal properties of finite-state programs. Both the programs and their desired temporal properties are modeled as automata on infinite words (Biichi automata). Verification is then reduced to check

A new connected components algorithm for

A new connected components algorithm for virtual memory computers

✍ Ronald Lumia; Linda Shapiro; Oscar Zuniga 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 855 KB

Memory Requirements for Table Computatio

Memory Requirements for Table Computations in Partialsl k-Tree Algorithms

✍ B. Aspvall; J. A. Telle; A. Proskurowski 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 149 KB

Algorithms for the computation of spatia

Algorithms for the computation of spatial statistics

✍ Martin Fisher 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 648 KB

Algorithms are described for the calculation of spatial statistics. The statistics are the functions K(t), G(y), F(x), and K12(t). They can be used to determine (a) which type of spatial process ('random', ' clustered', 'regular', etc.) best fits a data set and whether the spatial pattern changes wi

Correct algebras over classes of algorit

Correct algebras over classes of algorithms for the computation of κ-valued properties

✍ A.A. Ivanov; S.V. Il'inskii 📂 Article 📅 1979 🏛 Elsevier Science ⚖ 760 KB

Parallel implementation of a ray tracing

Parallel implementation of a ray tracing algorithm for distributed memory parallel computers

✍ Lee, Tong-Yee; Raghavendra, C. S.; Nicholas, John B. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 145 KB 👁 3 views

Ray tracing is a well known technique to generate life-like images. Unfortunately, ray tracing complex scenes can require large amounts of CPU time and memory storage. Distributed memory parallel computers with large memory capacities and high processing speeds are ideal candidates to perform ray tr