Volume XVII, 2007

Approximation for Batching via Priorities, pages 1-18

W. Bein, J. Noga and J. Wiegley

Abstract | Full text | BibTeX

Instruction Sequences with Indirect Jumps, pages 19-46

J. A. Bergstra and C. A. Middelburg

Abstract | Full text | BibTeX

Programming an Interpreter Using Molecular Dynamics, pages 47-81

J. A. Bergstra and C. A. Middelburg

Abstract | Full text | BibTeX

Basic Techniques for Creating an Efficient CSP Solver, pages 83-112

C. Frăsinaru

Abstract | Full text | BibTeX

Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems, pages 113-145

P. C. Vinh

Abstract | Full text | BibTeX