FRINK Linked Data Fragments server

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

• W2103944442 abstract "Distributed computer systems are becoming increasingly prevalent, thanks to modern technology, and this leads to significant challenges for the software developers of these systems. In particular, in order to provide a certain service level agreement with users, the performance characteristics of the system are critical. However, developers today typically consider performance only in the later stages of development, when it may be too late to make major changes to the design. In this thesis, we propose a performancedriven approach to development — based around tool support that allows developers to use performance modelling techniques, while still working at the level of program code. There are two central themes to the thesis. The first is to automatically relate performance models to program code. We define the Simple Imperative Remote Invocation Language (S), and provide a probabilistic semantics that interprets a program as a Markov chain. To make such an interpretation both computable and efficient, we develop an abstract interpretation of the semantics, from which we can derive a Performance Evaluation Process Algebra (PEPA) model of the system. This is based around abstracting the domain of variables to truncated multivariate normal measures. The second theme of the thesis is to analyse large performance models by means of compositional abstraction. We use two abstraction techniques based on aggregation of states — abstract Markov chains, and stochastic bounds — and apply both of them compositionally to PEPA models. This allows us to model check properties in the three-valued Continuous Stochastic Logic (CSL), on abstracted models. We have implemented an extension to the Eclipse plug-in for PEPA, which provides a graphical interface for specifying which states in the model to aggregate, and for performing the model checking." @default.
• W2103944442 created "2016-06-24" @default.
• W2103944442 creator A5041403788 @default.
• W2103944442 date "2010-01-01" @default.
• W2103944442 modified "2023-09-27" @default.
• W2103944442 title "Stochastic abstraction of programs : towards performance-driven development" @default.
• W2103944442 cites W1483575636 @default.
• W2103944442 cites W1487076595 @default.
• W2103944442 cites W1492158240 @default.
• W2103944442 cites W1494374840 @default.
• W2103944442 cites W1497573972 @default.
• W2103944442 cites W1498004481 @default.
• W2103944442 cites W1498125516 @default.
• W2103944442 cites W1501020965 @default.
• W2103944442 cites W1505796501 @default.
• W2103944442 cites W1507539036 @default.
• W2103944442 cites W1510808677 @default.
• W2103944442 cites W1520558778 @default.
• W2103944442 cites W1521479407 @default.
• W2103944442 cites W1530706039 @default.
• W2103944442 cites W1535120001 @default.
• W2103944442 cites W1535237014 @default.
• W2103944442 cites W1537891716 @default.
• W2103944442 cites W1541095506 @default.
• W2103944442 cites W1553894716 @default.
• W2103944442 cites W1557307633 @default.
• W2103944442 cites W1557406404 @default.
• W2103944442 cites W1557561422 @default.
• W2103944442 cites W1557880268 @default.
• W2103944442 cites W1560896338 @default.
• W2103944442 cites W1580809199 @default.
• W2103944442 cites W1583191255 @default.
• W2103944442 cites W1583826417 @default.
• W2103944442 cites W1589128016 @default.
• W2103944442 cites W1589239973 @default.
• W2103944442 cites W1592287058 @default.
• W2103944442 cites W1596552075 @default.
• W2103944442 cites W1605034451 @default.
• W2103944442 cites W1607966195 @default.
• W2103944442 cites W1608119595 @default.
• W2103944442 cites W1649645444 @default.
• W2103944442 cites W1679534293 @default.
• W2103944442 cites W1768570428 @default.
• W2103944442 cites W1803230550 @default.
• W2103944442 cites W185032413 @default.
• W2103944442 cites W1852271819 @default.
• W2103944442 cites W187486543 @default.
• W2103944442 cites W1887332367 @default.
• W2103944442 cites W1896822992 @default.
• W2103944442 cites W1898188077 @default.
• W2103944442 cites W192883778 @default.
• W2103944442 cites W1965697603 @default.
• W2103944442 cites W1965836809 @default.
• W2103944442 cites W1969620704 @default.
• W2103944442 cites W1969947998 @default.
• W2103944442 cites W1979306756 @default.
• W2103944442 cites W1981382949 @default.
• W2103944442 cites W1993836075 @default.
• W2103944442 cites W1994257332 @default.
• W2103944442 cites W1998017916 @default.
• W2103944442 cites W1998061448 @default.
• W2103944442 cites W2004463571 @default.
• W2103944442 cites W2006471246 @default.
• W2103944442 cites W2008052783 @default.
• W2103944442 cites W2010298731 @default.
• W2103944442 cites W2012138753 @default.
• W2103944442 cites W2012926794 @default.
• W2103944442 cites W2013313257 @default.
• W2103944442 cites W2014578004 @default.
• W2103944442 cites W2016392619 @default.
• W2103944442 cites W2020293036 @default.
• W2103944442 cites W2021089599 @default.
• W2103944442 cites W2023542514 @default.
• W2103944442 cites W2023563854 @default.
• W2103944442 cites W2024355065 @default.
• W2103944442 cites W2034068158 @default.
• W2103944442 cites W2036149396 @default.
• W2103944442 cites W2043100293 @default.
• W2103944442 cites W2044104810 @default.
• W2103944442 cites W2044239701 @default.
• W2103944442 cites W2046317115 @default.
• W2103944442 cites W2058837004 @default.
• W2103944442 cites W2061750459 @default.
• W2103944442 cites W2063160622 @default.
• W2103944442 cites W2071500520 @default.
• W2103944442 cites W2075379212 @default.
• W2103944442 cites W2079610046 @default.
• W2103944442 cites W2079636926 @default.
• W2103944442 cites W2087962413 @default.
• W2103944442 cites W2088701763 @default.
• W2103944442 cites W2089428488 @default.
• W2103944442 cites W2091257550 @default.
• W2103944442 cites W2094055697 @default.
• W2103944442 cites W2096899005 @default.
• W2103944442 cites W2098245493 @default.
• W2103944442 cites W2098386377 @default.
• W2103944442 cites W2100064951 @default.
• W2103944442 cites W2101508170 @default.
• W2103944442 cites W2102609194 @default.
• W2103944442 cites W2107089133 @default.

• next