Proceedings of the ieee/prorisc symposium etc. by