Showing 1 - 6 results of 6 for search '(("using computational of computing program") OR ("based solution and computing program"))~', query time: 1.22s Refine Results
1
Published 2016
Subjects: ...power-and energy-efficient computing...
Access document
Master thesis
2
... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...
Access document
Doctoral thesis
5
Published 2016
...), lu (LU decomposition) and durbin (system solution Toeplitz matrix). Each has different computational complexity. The...
Access document
Master thesis
Export CSV Export RIS