Sciweavers

61 search results - page 13 / 13
» Cross-architectural design space exploration tool for reconf...
Sort
View
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
13 years 2 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...