Matches in SemOpenAlex for { <https://semopenalex.org/work/W2485306801> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2485306801 abstract "Cyber-physical systems (CPSs) are embedded systems that are tightly integrated with their physical environment. The correctness of a CPS depends on the output of its computations and on the timeliness of completing the computations. The increasing use of high-performing and low-power multi-core processors in embedded systems is pushing embedded programmers to be parallel programming experts. Parallel programming is challenging because of the skills, exper ences, and knowledge needed to avoid common parallel programming traps and pitfalls. This paper proposes the ForeC language for the deterministic, parallel, and reactive programming of embedded multi-cores. The synchronous semantics of ForeC is designed to greatly simplify the understanding and debugging of parallel programs. ForeC allows programmers to express many forms of parallel patterns while ensuring that ForeC programs can be compiled efficiently for parallel execution and be amenable to static timing analysis. ForeC’s main innovation is its shared variable semantics that provides thread isolation and deterministic thread communication. All ForeC programs are correct by construction and deadlock-free because mutual exclusion constructs are not needed. Through benchmarking, we demonstrate that ForeC can achieve better parallel performance than Esterel, a widely used synchronous language for concurrent safety-critical systems, and OpenMP, a popular desktop solution for parallel programming. We demonstrate that the worst-case execution time of ForeC programs can be estimated to a high degree of precision." @default.
- W2485306801 created "2016-08-23" @default.
- W2485306801 creator A5008748485 @default.
- W2485306801 creator A5039050781 @default.
- W2485306801 creator A5076621370 @default.
- W2485306801 creator A5081353402 @default.
- W2485306801 date "2016-08-01" @default.
- W2485306801 modified "2023-10-18" @default.
- W2485306801 title "Synchronous Deterministic Parallel Programming for Multicores with ForeC" @default.
- W2485306801 cites W1481968117 @default.
- W2485306801 cites W1484997341 @default.
- W2485306801 cites W1534452453 @default.
- W2485306801 cites W1555915743 @default.
- W2485306801 cites W1651593422 @default.
- W2485306801 cites W1715210439 @default.
- W2485306801 cites W2034247006 @default.
- W2485306801 cites W2102481384 @default.
- W2485306801 cites W2107267576 @default.
- W2485306801 cites W2118229393 @default.
- W2485306801 cites W2127159302 @default.
- W2485306801 cites W2134569009 @default.
- W2485306801 cites W2143445561 @default.
- W2485306801 cites W2147347162 @default.
- W2485306801 cites W2149819457 @default.
- W2485306801 cites W2149843953 @default.
- W2485306801 cites W2153027637 @default.
- W2485306801 cites W2163151857 @default.
- W2485306801 cites W2172255864 @default.
- W2485306801 cites W2339714652 @default.
- W2485306801 cites W2406166723 @default.
- W2485306801 cites W77411585 @default.
- W2485306801 hasPublicationYear "2016" @default.
- W2485306801 type Work @default.
- W2485306801 sameAs 2485306801 @default.
- W2485306801 citedByCount "0" @default.
- W2485306801 countsByYear W24853068012019 @default.
- W2485306801 crossrefType "report" @default.
- W2485306801 hasAuthorship W2485306801A5008748485 @default.
- W2485306801 hasAuthorship W2485306801A5039050781 @default.
- W2485306801 hasAuthorship W2485306801A5076621370 @default.
- W2485306801 hasAuthorship W2485306801A5081353402 @default.
- W2485306801 hasBestOaLocation W24853068011 @default.
- W2485306801 hasConcept C173608175 @default.
- W2485306801 hasConcept C199360897 @default.
- W2485306801 hasConcept C41008148 @default.
- W2485306801 hasConceptScore W2485306801C173608175 @default.
- W2485306801 hasConceptScore W2485306801C199360897 @default.
- W2485306801 hasConceptScore W2485306801C41008148 @default.
- W2485306801 hasLocation W24853068011 @default.
- W2485306801 hasOpenAccess W2485306801 @default.
- W2485306801 hasPrimaryLocation W24853068011 @default.
- W2485306801 hasRelatedWork W1527862632 @default.
- W2485306801 hasRelatedWork W1604898313 @default.
- W2485306801 hasRelatedWork W2109507516 @default.
- W2485306801 hasRelatedWork W2112962394 @default.
- W2485306801 hasRelatedWork W2117014006 @default.
- W2485306801 hasRelatedWork W2118300983 @default.
- W2485306801 hasRelatedWork W2135396778 @default.
- W2485306801 hasRelatedWork W2166247150 @default.
- W2485306801 hasRelatedWork W3137189469 @default.
- W2485306801 hasRelatedWork W4243252198 @default.
- W2485306801 isParatext "false" @default.
- W2485306801 isRetracted "false" @default.
- W2485306801 magId "2485306801" @default.
- W2485306801 workType "report" @default.