FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170363162> ?p ?o ?g. }

• W2170363162 abstract "Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottleneck in platform-based design. As a remedy, the work at hand proposes a novel automatic platform-based system synthesis procedure, inspired by techniques developed in the context of automatic system verification known as Satisfiability Modulo Theories. It tightly couples the computation of a feasible allocation and binding with nonfunctional constraint checking where, in contrast to existing approaches, not only linear constraints but even nonlinear constraints are supported. This allows to efficiently prove whether there exists a feasible implementation of a set of applications on the given platform with respect to both, functional and nonfunctional constraints. Moreover, an approach for early learning based on feasibility checking of partial implementations is proposed that can significantly improve the synthesis runtime, especially in case the selected platform imposes stringent constraints on the implementation. The effectiveness of this approach is shown for an automotive ECU network design that requires Modular Performance Analysis to ensure nonfunctional nonlinear timing constraints." @default.
• W2170363162 created "2016-06-24" @default.
• W2170363162 creator A5063619304 @default.
• W2170363162 creator A5076672029 @default.
• W2170363162 creator A5077098249 @default.
• W2170363162 creator A5079135719 @default.
• W2170363162 creator A5079746138 @default.
• W2170363162 date "2010-10-24" @default.
• W2170363162 modified "2023-09-23" @default.
• W2170363162 title "Improving platform-based system synthesis by satisfiability modulo theories solving" @default.
• W2170363162 cites W1500991862 @default.
• W2170363162 cites W1513656191 @default.
• W2170363162 cites W1515278398 @default.
• W2170363162 cites W1582823543 @default.
• W2170363162 cites W1838348862 @default.
• W2170363162 cites W2045196269 @default.
• W2170363162 cites W2057361103 @default.
• W2170363162 cites W2074558871 @default.
• W2170363162 cites W2097138479 @default.
• W2170363162 cites W2104493335 @default.
• W2170363162 cites W2105278657 @default.
• W2170363162 cites W2125967324 @default.
• W2170363162 cites W2127318527 @default.
• W2170363162 cites W2134782192 @default.
• W2170363162 cites W2150408604 @default.
• W2170363162 cites W2151415616 @default.
• W2170363162 cites W2159675308 @default.
• W2170363162 cites W3189314879 @default.
• W2170363162 doi "https://doi.org/10.1145/1878961.1878986" @default.
• W2170363162 hasPublicationYear "2010" @default.
• W2170363162 type Work @default.
• W2170363162 sameAs 2170363162 @default.
• W2170363162 citedByCount "25" @default.
• W2170363162 countsByYear W21703631622012 @default.
• W2170363162 countsByYear W21703631622013 @default.
• W2170363162 countsByYear W21703631622014 @default.
• W2170363162 countsByYear W21703631622015 @default.
• W2170363162 countsByYear W21703631622016 @default.
• W2170363162 countsByYear W21703631622017 @default.
• W2170363162 countsByYear W21703631622018 @default.
• W2170363162 countsByYear W21703631622019 @default.
• W2170363162 countsByYear W21703631622022 @default.
• W2170363162 crossrefType "proceedings-article" @default.
• W2170363162 hasAuthorship W2170363162A5063619304 @default.
• W2170363162 hasAuthorship W2170363162A5076672029 @default.
• W2170363162 hasAuthorship W2170363162A5077098249 @default.
• W2170363162 hasAuthorship W2170363162A5079135719 @default.
• W2170363162 hasAuthorship W2170363162A5079746138 @default.
• W2170363162 hasConcept C101468663 @default.
• W2170363162 hasConcept C111498074 @default.
• W2170363162 hasConcept C114614502 @default.
• W2170363162 hasConcept C120314980 @default.
• W2170363162 hasConcept C149635348 @default.
• W2170363162 hasConcept C151730666 @default.
• W2170363162 hasConcept C154945302 @default.
• W2170363162 hasConcept C164155591 @default.
• W2170363162 hasConcept C168773769 @default.
• W2170363162 hasConcept C177264268 @default.
• W2170363162 hasConcept C199360897 @default.
• W2170363162 hasConcept C2524010 @default.
• W2170363162 hasConcept C26713055 @default.
• W2170363162 hasConcept C2776036281 @default.
• W2170363162 hasConcept C2779343474 @default.
• W2170363162 hasConcept C2780513914 @default.
• W2170363162 hasConcept C33923547 @default.
• W2170363162 hasConcept C41008148 @default.
• W2170363162 hasConcept C44616089 @default.
• W2170363162 hasConcept C49937458 @default.
• W2170363162 hasConcept C54732982 @default.
• W2170363162 hasConcept C80444323 @default.
• W2170363162 hasConcept C86803240 @default.
• W2170363162 hasConceptScore W2170363162C101468663 @default.
• W2170363162 hasConceptScore W2170363162C111498074 @default.
• W2170363162 hasConceptScore W2170363162C114614502 @default.
• W2170363162 hasConceptScore W2170363162C120314980 @default.
• W2170363162 hasConceptScore W2170363162C149635348 @default.
• W2170363162 hasConceptScore W2170363162C151730666 @default.
• W2170363162 hasConceptScore W2170363162C154945302 @default.
• W2170363162 hasConceptScore W2170363162C164155591 @default.
• W2170363162 hasConceptScore W2170363162C168773769 @default.
• W2170363162 hasConceptScore W2170363162C177264268 @default.
• W2170363162 hasConceptScore W2170363162C199360897 @default.
• W2170363162 hasConceptScore W2170363162C2524010 @default.
• W2170363162 hasConceptScore W2170363162C26713055 @default.
• W2170363162 hasConceptScore W2170363162C2776036281 @default.
• W2170363162 hasConceptScore W2170363162C2779343474 @default.
• W2170363162 hasConceptScore W2170363162C2780513914 @default.
• W2170363162 hasConceptScore W2170363162C33923547 @default.
• W2170363162 hasConceptScore W2170363162C41008148 @default.
• W2170363162 hasConceptScore W2170363162C44616089 @default.
• W2170363162 hasConceptScore W2170363162C49937458 @default.
• W2170363162 hasConceptScore W2170363162C54732982 @default.
• W2170363162 hasConceptScore W2170363162C80444323 @default.
• W2170363162 hasConceptScore W2170363162C86803240 @default.
• W2170363162 hasLocation W21703631621 @default.
• W2170363162 hasOpenAccess W2170363162 @default.
• W2170363162 hasPrimaryLocation W21703631621 @default.
• W2170363162 hasRelatedWork W1505526588 @default.
• W2170363162 hasRelatedWork W1530824419 @default.
• W2170363162 hasRelatedWork W1868334863 @default.

• next