{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:10:16Z","timestamp":1743052216742,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319160856"},{"type":"electronic","value":"9783319160863"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16086-3_19","type":"book-chapter","created":{"date-parts":[[2015,3,10]],"date-time":"2015-03-10T15:56:20Z","timestamp":1426002980000},"page":"236-247","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Speeding up Static Probabilistic Timing Analysis"],"prefix":"10.1007","author":[{"given":"Suzana","family":"Milutinovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Hardy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Qui\u00f1ones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Puaut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,11]]},"reference":[{"key":"19_CR1","unstructured":"Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. ARP4761 (2001)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Altmeyer, S., Davis, R.I.: On the correctness, optimality and precision of static probabilistic timing analysis. In: DATE (2014)","DOI":"10.7873\/DATE.2014.039"},{"key":"19_CR3","unstructured":"Bernat, G., et al.: WCET analysis of probabilistic hard real-time systems. In: RTSS (2002)"},{"key":"19_CR4","unstructured":"Breitzman, A.F.: Automatic Derivation and Implementation of Fast Convolution Algorithms. PhD thesis, Drexel University (2003)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Cazorla, F.J., et al.: PROARTIS: Probabilistically analyzable real-time systems. ACM Transactions on Embedded Computing Systems 12(2s) (2013)","DOI":"10.1145\/2465787.2465796"},{"key":"19_CR6","unstructured":"Cazorla, F.J., et al.: Upper-bounding program execution time with extreme value theory. In: WCET Workshop (2013)"},{"key":"19_CR7","unstructured":"Cucu, L., et al.: Measurement-based probabilistic timing analysis for multi-path programs. In: ECRTS (2012)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Davis, R.I., et al.: Analysis of probabilistic cache related pre-emption delays. In: ECRTS (2013)","DOI":"10.1109\/ECRTS.2013.27"},{"key":"19_CR9","unstructured":"Hansen, J., et al.: Statistical-based WCET estimation and validation. In: WCET Workshop (2009)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Kosmidis, L., Qui\u00f1ones, E., Abella, J., Vardanega, T., Broster, I., Cazorla, F.J.: Measurement-based probabilistic timing analysis and its impact on processor architecture. In: 17th DSD (2014)","DOI":"10.1109\/DSD.2014.50"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Kosmidis, L., et al.: A cache design for probabilistically analysable real-time systems. In: DATE (2013)","DOI":"10.7873\/DATE.2013.116"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Maxim, D., Houston, M., Santinelli, L., Bernat, G., Davis, R.I., Cucu, L.: Re-sampling for statistical timing analysis of real-time systems. In: RTNS (2012)","DOI":"10.1145\/2392987.2393001"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Quinones, E., et al.: Using randomized caches in probabilistic real-time systems. In: ECRTS (2009)","DOI":"10.1109\/ECRTS.2009.30"},{"key":"19_CR14","unstructured":"Reineke, J.: Randomized caches considered harmful in hard real-time systems. Leibniz Transactions on Embedded Systems 1(1) (2014)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Turner, C.J., et al.: Parallel implementations of convolution and moments algorithms on a multi-transputer system. Microprocessors and Microsystems 19(5) (1995)","DOI":"10.1016\/0141-9331(95)97860-F"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Wartel, F., et al.: Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. In: SIES (2013)","DOI":"10.1109\/SIES.2013.6601497"},{"key":"19_CR17","unstructured":"Yip, H.-M., et al.: An efficient parallel algorithm for computing the gaussian convolution of multi-dimensional image data. J. Supercomput. 14(3) (1999)"}],"container-title":["Lecture Notes in Computer Science","Architecture of Computing Systems \u2013 ARCS 2015"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16086-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T19:43:31Z","timestamp":1674848611000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16086-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319160856","9783319160863"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16086-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"11 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}