Acta Informatica, Volume 42
Volume 42, Number 1, October 2005
- Markus Büttner:
Enhanced prefetching and caching strategies for single- and multi-disk systems. 21-42 - Floris Geerts, Lieven Smits, Jan Van den Bussche:
N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets. 43-56 - Lars Jacobsen, Kim S. Larsen:
Exponentially decreasing number of operations in balanced trees. 57-78
Volume 42, Number 2-3, November 2005
Volume 42, Number 4-5, December 2005
- Matthew Hennessy, Julian Rathke, Nobuko Yoshida:
safeDpi: a language for controlling mobile code. 227-290
Volume 42, Number 6-7, March 2006
- Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue:
Refinement of actions for real-time concurrent systems with causal ambiguity. 389-418 - Alberto Trombetta, Danilo Montesi:
Equivalences and optimizations in an expressive XSLT subset. 515-539
Volume 42, Number 8-9, April 2006
- Srecko Brlek, Elisa Pergola, Olivier Roques:
Non uniform random generation of generalized Motzkin paths. 603-616