Matches in SemOpenAlex for { <https://semopenalex.org/work/W3199455320> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3199455320 endingPage "102705" @default.
- W3199455320 startingPage "102705" @default.
- W3199455320 abstract "The growing trend to use multi-core processors to get more performance is increasingly present in safety-critical systems. Synchronous dataflow programming is naturally well-suited to parallel execution, thanks to the fact that all data dependencies are always explicit. MiniSIGNAL is a multi-task code generation tool for the synchronous dataflow language SIGNAL. The existing MiniSIGNAL code generation strategies mainly consider coarse-grained parallelism based on Ada multi-task model. However, when we applied it to industrial case studies, this code generation scheme has revealed inefficient: architecture aspects of the target platform have to be taken into account to achieve fine-grained parallelism. To generate more efficient target code from industrial cases, this paper presents a new multi-task code generation method for MiniSIGNAL. Starting at the level of synchronous clocked guarded actions (S-CGA) which is an intermediate language for the compilation process of MiniSIGNAL, the transformation consists of two parts: at the platform-independent level, transforming the S-CGA representation to an abstract multi-task structure (called Virtual Multi-Tasks, VMT); at the platform-dependent level, adopting the thread pool pattern concurrent JobQueue to support fine-grained parallel Ada code generation from the VMT structure. Moreover, the formal syntax and the operational semantics of VMT are mechanized in the proof assistant Coq. Finally, the effectiveness of our approach is illustrated by an application of the real-world Guidance, Navigation and Control system." @default.
- W3199455320 created "2021-09-27" @default.
- W3199455320 creator A5021719506 @default.
- W3199455320 creator A5087683261 @default.
- W3199455320 date "2021-12-01" @default.
- W3199455320 modified "2023-10-16" @default.
- W3199455320 title "Software-intensive Systems-of-Systems" @default.
- W3199455320 doi "https://doi.org/10.1016/j.scico.2021.102705" @default.
- W3199455320 hasPublicationYear "2021" @default.
- W3199455320 type Work @default.
- W3199455320 sameAs 3199455320 @default.
- W3199455320 citedByCount "0" @default.
- W3199455320 crossrefType "journal-article" @default.
- W3199455320 hasAuthorship W3199455320A5021719506 @default.
- W3199455320 hasAuthorship W3199455320A5087683261 @default.
- W3199455320 hasConcept C111919701 @default.
- W3199455320 hasConcept C133162039 @default.
- W3199455320 hasConcept C138101251 @default.
- W3199455320 hasConcept C162324750 @default.
- W3199455320 hasConcept C173608175 @default.
- W3199455320 hasConcept C184337299 @default.
- W3199455320 hasConcept C187736073 @default.
- W3199455320 hasConcept C199360897 @default.
- W3199455320 hasConcept C26517878 @default.
- W3199455320 hasConcept C2780451532 @default.
- W3199455320 hasConcept C2780870223 @default.
- W3199455320 hasConcept C2781172179 @default.
- W3199455320 hasConcept C41008148 @default.
- W3199455320 hasConcept C42992933 @default.
- W3199455320 hasConcept C61483411 @default.
- W3199455320 hasConcept C96324660 @default.
- W3199455320 hasConceptScore W3199455320C111919701 @default.
- W3199455320 hasConceptScore W3199455320C133162039 @default.
- W3199455320 hasConceptScore W3199455320C138101251 @default.
- W3199455320 hasConceptScore W3199455320C162324750 @default.
- W3199455320 hasConceptScore W3199455320C173608175 @default.
- W3199455320 hasConceptScore W3199455320C184337299 @default.
- W3199455320 hasConceptScore W3199455320C187736073 @default.
- W3199455320 hasConceptScore W3199455320C199360897 @default.
- W3199455320 hasConceptScore W3199455320C26517878 @default.
- W3199455320 hasConceptScore W3199455320C2780451532 @default.
- W3199455320 hasConceptScore W3199455320C2780870223 @default.
- W3199455320 hasConceptScore W3199455320C2781172179 @default.
- W3199455320 hasConceptScore W3199455320C41008148 @default.
- W3199455320 hasConceptScore W3199455320C42992933 @default.
- W3199455320 hasConceptScore W3199455320C61483411 @default.
- W3199455320 hasConceptScore W3199455320C96324660 @default.
- W3199455320 hasLocation W31994553201 @default.
- W3199455320 hasLocation W31994553202 @default.
- W3199455320 hasOpenAccess W3199455320 @default.
- W3199455320 hasPrimaryLocation W31994553201 @default.
- W3199455320 hasRelatedWork W2047588290 @default.
- W3199455320 hasRelatedWork W2050626467 @default.
- W3199455320 hasRelatedWork W2097210705 @default.
- W3199455320 hasRelatedWork W2164693448 @default.
- W3199455320 hasRelatedWork W2299582452 @default.
- W3199455320 hasRelatedWork W2313503008 @default.
- W3199455320 hasRelatedWork W2378666660 @default.
- W3199455320 hasRelatedWork W2921327408 @default.
- W3199455320 hasRelatedWork W97816082 @default.
- W3199455320 hasRelatedWork W1967132521 @default.
- W3199455320 hasVolume "212" @default.
- W3199455320 isParatext "false" @default.
- W3199455320 isRetracted "false" @default.
- W3199455320 magId "3199455320" @default.
- W3199455320 workType "article" @default.