Parallel computational methods based on symbolic robot models - theory and application on pipelined processor architectures | IEEE Conference Publication | IEEE Xplore