Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"data-flow languages"”.
-
Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages
As embedded software and platforms become more complicated, many safety properties are left to simulation and testing. MRICDF is a formal polychronous language used to guarantee certain safety properties and alleviate the burden of software development and testing. We propose real-time extensions …
-
A language for expressing technical market indicators, its optimisation and application
… of elements, connected by the streams of data. <br/><br/>Eleven technical market indicators of varying topology and complexity are described using this approach. Then, an optimisation method is suggested that allows to transform the clear description of indicator elements into an efficient …