FRINK Linked Data Fragments server

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

• W1813667095 abstract "In the present work, we tackle the problem of modeling and evaluating performance in the context of embedded systems design. These have become essential for modern societies and experienced important evolution. Due to the growing demand on functionality and programmability, software solutions have gained in importance, although known to be less efficient than dedicated hardware. Consequently, considering performance has become a must, especially with the generalization of resource-constrained devices. We present a rigorous and integrated approach for system-level performance modeling and analysis. The proposed method enables faithful high-level modeling, encompassing both functional and performance aspects, and allows for rapid and accurate quantitative performance evaluation. The approach is model-based and relies on the $mathcal{S}$BIP formalism for stochastic component-based modeling and formal verification. We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability. Faithful high-level models are built by calibrating functional models with low-level performance information using automatic code generation and statistical inference. We provide a tool-flow that automates most of the steps of the proposed approach and illustrate its use on a real-life case study for image processing. We consider the design and mapping of a parallel version of the HMAX models algorithm for object recognition on the STHORM many-cores platform. We explored timing aspects and the obtained results show not only the usability of the approach but also its pertinence for taking well-founded decisions in the context of system-level design." @default.
• W1813667095 created "2016-06-24" @default.
• W1813667095 creator A5062604298 @default.
• W1813667095 date "2015-04-08" @default.
• W1813667095 modified "2023-09-23" @default.
• W1813667095 title "Rigorous System-level Modeling and Performance Evaluation for Embedded System Design" @default.
• W1813667095 cites W106209860 @default.
• W1813667095 cites W1266757872 @default.
• W1813667095 cites W127601311 @default.
• W1813667095 cites W130913184 @default.
• W1813667095 cites W138290785 @default.
• W1813667095 cites W1450051725 @default.
• W1813667095 cites W147360518 @default.
• W1813667095 cites W1486103693 @default.
• W1813667095 cites W1488069027 @default.
• W1813667095 cites W1489725951 @default.
• W1813667095 cites W1491593738 @default.
• W1813667095 cites W1492631919 @default.
• W1813667095 cites W1497212080 @default.
• W1813667095 cites W1498432697 @default.
• W1813667095 cites W150787565 @default.
• W1813667095 cites W1509766189 @default.
• W1813667095 cites W1511105469 @default.
• W1813667095 cites W1515008247 @default.
• W1813667095 cites W1520566118 @default.
• W1813667095 cites W1520598616 @default.
• W1813667095 cites W1523289856 @default.
• W1813667095 cites W1532739430 @default.
• W1813667095 cites W1533572394 @default.
• W1813667095 cites W1535094225 @default.
• W1813667095 cites W1538260476 @default.
• W1813667095 cites W1539123944 @default.
• W1813667095 cites W1544634046 @default.
• W1813667095 cites W1550726408 @default.
• W1813667095 cites W1551413707 @default.
• W1813667095 cites W1552533796 @default.
• W1813667095 cites W1558483585 @default.
• W1813667095 cites W1558960848 @default.
• W1813667095 cites W1560643704 @default.
• W1813667095 cites W1569248486 @default.
• W1813667095 cites W1569753066 @default.
• W1813667095 cites W157143398 @default.
• W1813667095 cites W1574005127 @default.
• W1813667095 cites W1575480425 @default.
• W1813667095 cites W1578262153 @default.
• W1813667095 cites W1583357444 @default.
• W1813667095 cites W1588278207 @default.
• W1813667095 cites W1588859038 @default.
• W1813667095 cites W1590315663 @default.
• W1813667095 cites W1593428110 @default.
• W1813667095 cites W1596186423 @default.
• W1813667095 cites W1597210183 @default.
• W1813667095 cites W1597755753 @default.
• W1813667095 cites W1599302520 @default.
• W1813667095 cites W1603153151 @default.
• W1813667095 cites W1603620492 @default.
• W1813667095 cites W1617322827 @default.
• W1813667095 cites W1631091010 @default.
• W1813667095 cites W1651131057 @default.
• W1813667095 cites W1691213292 @default.
• W1813667095 cites W169260651 @default.
• W1813667095 cites W1730082949 @default.
• W1813667095 cites W175120007 @default.
• W1813667095 cites W1764938331 @default.
• W1813667095 cites W176994763 @default.
• W1813667095 cites W1778096727 @default.
• W1813667095 cites W180513329 @default.
• W1813667095 cites W1806449990 @default.
• W1813667095 cites W1850679117 @default.
• W1813667095 cites W1862398452 @default.
• W1813667095 cites W1884784351 @default.
• W1813667095 cites W1890639535 @default.
• W1813667095 cites W1898184382 @default.
• W1813667095 cites W1911281453 @default.
• W1813667095 cites W1936851409 @default.
• W1813667095 cites W1949722297 @default.
• W1813667095 cites W1962072139 @default.
• W1813667095 cites W1964370670 @default.
• W1813667095 cites W1969005071 @default.
• W1813667095 cites W1972203711 @default.
• W1813667095 cites W1974927420 @default.
• W1813667095 cites W1975864406 @default.
• W1813667095 cites W1976043843 @default.
• W1813667095 cites W1976061003 @default.
• W1813667095 cites W1982556442 @default.
• W1813667095 cites W1984116605 @default.
• W1813667095 cites W1985699297 @default.
• W1813667095 cites W1987569666 @default.
• W1813667095 cites W1989761046 @default.
• W1813667095 cites W1989896390 @default.
• W1813667095 cites W1992996044 @default.
• W1813667095 cites W1993536119 @default.
• W1813667095 cites W1997998060 @default.
• W1813667095 cites W1998017916 @default.
• W1813667095 cites W1998422337 @default.
• W1813667095 cites W1998674588 @default.
• W1813667095 cites W2004586880 @default.
• W1813667095 cites W2005998857 @default.
• W1813667095 cites W2009280542 @default.
• W1813667095 cites W2015688007 @default.

• next