166 search results - page 34 / 34 » Symbolic Schedulability Analysis of Real-Time Systems |
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...