Accelerated ray tracing for radiotherapy dose calculations on a GPU
de Greef, M, Crezee, J, van Eijk, J C, Pool, R, Bel, A
Published in Medical physics (Lancaster) (01.09.2009)
Published in Medical physics (Lancaster) (01.09.2009)
Get more information
Journal Article
Sequential equivalence checking based on structural similarities
van Eijk, C.A.J.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2000)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2000)
Get full text
Journal Article
Efficiency in Government Through Systems Analysis. With Emphasis on Water Resource Development
Get full text
Book Review
Journal Article
Static resource models of instruction sets
Zhao, Q., Basten, T., Mesman, B., van Eijk, C. A. J., Jess, J. A. G.
Published in International Symposium on System Synthesis (IEEE Cat. No.01EX526) (2001)
Published in International Symposium on System Synthesis (IEEE Cat. No.01EX526) (2001)
Get full text
Conference Proceeding
Journal Article
Register Binding for Predicated Execution in DSP Applications
Zhao, Q., van Eijk, C. A. J., Alba Pinto, C. A., Jess, J. A. G.
Published in Proceedings of the 13th symposium on Integrated circuits and systems design (18.09.2000)
Published in Proceedings of the 13th symposium on Integrated circuits and systems design (18.09.2000)
Get full text
Conference Proceeding
A Constructive Method for Exploiting Code Motion
Santos, Luiz C. V. dos, Heijligers, M. J. M., Van Eijk, C. A. J., Van Eijndhoven, J. T. J., Jess, J. A. G.
Published in International Symposium on Systems Synthesis: Proceedings of the 9th international symposium on System synthesis; 06-08 Nov. 1996 (06.11.1996)
Published in International Symposium on Systems Synthesis: Proceedings of the 9th international symposium on System synthesis; 06-08 Nov. 1996 (06.11.1996)
Get full text
Conference Proceeding
Sequential equivalence checking without state space traversal
van Eijk, C. A. J.
Published in Proceedings of the conference on Design, automation and test in Europe (23.02.1998)
Published in Proceedings of the conference on Design, automation and test in Europe (23.02.1998)
Get full text
Conference Proceeding