{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:06:28Z","timestamp":1767261988262,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319306940"},{"type":"electronic","value":"9783319306957"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30695-7_17","type":"book-chapter","created":{"date-parts":[[2016,3,24]],"date-time":"2016-03-24T11:17:29Z","timestamp":1458818249000},"page":"223-236","source":"Crossref","is-referenced-by-count":17,"title":["Measurement-Based Probabilistic Timing Analysis for Graphics Processor Units"],"prefix":"10.1007","author":[{"given":"Kostiantyn","family":"Berezovskyi","sequence":"first","affiliation":[]},{"given":"Fabrice","family":"Guet","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Santinelli","sequence":"additional","affiliation":[]},{"given":"Konstantinos","family":"Bletsas","sequence":"additional","affiliation":[]},{"given":"Eduardo","family":"Tovar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Bakhoda, A., Yuan, G.L., Fung, W.W., Wong, H., Aamodt, T.M.: Analyzing CUDA workloads using a detailed GPU simulator. In: Proceedings of the IEEE ISPASS (2009)","DOI":"10.1109\/ISPASS.2009.4919648"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bautin, M., Dwarakinath, A., Chiueh, T.: Graphics engine resource management. In: Proceedings of the 15th ACM\/SPIE MMCN (2008)","DOI":"10.1117\/12.775144"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Berezovskyi, K., Bletsas, K., Andersson, B.: Makespan computation for GPU threads running on a single streaming multiprocessor. In: Proceedings of the 24th ECRTS (2012)","DOI":"10.1109\/ECRTS.2012.16"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Berezovskyi, K., Bletsas, K., Petters, S.M.: Faster makespan estimation for GPU threads on a single streaming multiprocessor. In: Proceedings of the ETFA (2013)","DOI":"10.1109\/ETFA.2013.6647966"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Berezovskyi, K., Santinelli, L., Bletsas, K., Tovar, E.: WCET measurement-based and EVT characterisation of CUDA kernels. In: Proceedings of the RTNS (2014)","DOI":"10.1145\/2659787.2659827"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Betts, A., Donaldson, A.F.: Estimating the WCET of GPU-accelerated applications using hybrid analysis. In: Proceedings of the 25th ECRTS, pp. 193\u2013202 (2013)","DOI":"10.1109\/ECRTS.2013.29"},{"issue":"3","key":"17_CR7","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1080\/07474939608800353","volume":"15","author":"W Brock","year":"1996","unstructured":"Brock, W., Scheinkman, J., Dechert, W., LeBaron, B.: A test for independence based on the correlation dimension. Econometric Rev. 15(3), 197\u2013235 (1996)","journal-title":"Econometric Rev."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Chen, X., Chang, L.-W., Rodrigues, C.I., Lv, J., Wang, Z., Hwu, W.-M.: Adaptive cache management for energy-efficient gpu computing. In: Proceedings of the 47th IEEE\/ACM International Symposium on Microarchitecture, pp. 343\u2013355 (2014)","DOI":"10.1109\/MICRO.2014.11"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Cucu-Grosjean, L., Santinelli, L., Houston, M., Lo, C., Vardanega, T., Kosmidis, L., Abella, J., Mezzeti, E., Quinones, E., Cazorla, F.J.: Measurement-based probabilistic timing analysis for multi-path programs. In: Proceedings of the 23nd ECRTS (2012)","DOI":"10.1109\/ECRTS.2012.31"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Santinelli, L., Altmeyer, S., Maiza, C., Cucu-Grosjean, L.: Analysis of probabilistic cache related pre-emption delays. In: Proceedings of the 25th IEEE Euromicro Conference on Real-Time Systems (ECRTS) (2013)","DOI":"10.1109\/ECRTS.2013.27"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"D\u00edaz, J., Garcia, D., Kim, K., Lee, C., Bello, L., Lopez, J.M., Mirabella, O.: Stochastic analysis of periodic real-time systems. In: 23rd RTSS, pp. 289\u2013300 (2002)","DOI":"10.1109\/REAL.2002.1181583"},{"key":"17_CR12","unstructured":"Elliott, G., Ward, B., Anderson, J.: GPUSync: architecture-aware management of GPUs for predictable multi-GPU real-time systems. In: Proceedings of the RTSS (2013)"},{"key":"17_CR13","series-title":"Applications of mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33483-2","volume-title":"Modelling Extremal Events for Insurance and Finance","author":"P Embrechts","year":"1997","unstructured":"Embrechts, P., Kl\u00fcppelberg, C., Mikosch, T.: Modelling Extremal Events for Insurance and Finance. Applications of mathematics. Springer, Heidelberg (1997)"},{"key":"17_CR14","doi-asserted-by":"crossref","DOI":"10.7312\/gumb92958","volume-title":"Statistics of Extremes","author":"E Gumbel","year":"1958","unstructured":"Gumbel, E.: Statistics of Extremes. Columbia University Press, New York (1958)"},{"key":"17_CR15","unstructured":"Hirvisalo, V.: On static timing analysis of GPU kernels. In: Proceedings of the WCET (2014)"},{"issue":"3","key":"17_CR16","doi-asserted-by":"publisher","first-page":"1547","DOI":"10.1214\/aos\/1176348261","volume":"19","author":"T Hsing","year":"1991","unstructured":"Hsing, T.: On tail index estimation using dependent data. Ann. Stat. 19(3), 1547\u20131569 (1991)","journal-title":"Ann. Stat."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Kato, S., Lakshmanan, K., Kumar, A., Kelkar, M., Ishikawa, Y., Rajkumar, R.: RGEM: a responsive GPGPU execution model for runtime engines RTSS (2011)","DOI":"10.1109\/RTSS.2011.13"},{"key":"17_CR18","unstructured":"Kato, S., Lakshmanan, K., Rajkumar, R., Ishikawa, Y.:Timegraph: GPU scheduling for real-time multi-tasking environments. In: USENIX ATC (2011)"},{"key":"17_CR19","unstructured":"Kato, S., McThrow, M., Maltzahn, C., Brandt, S.: Gdev: First-class GPU resource management in the operating system. In: Proceedings of the USENIX ATC (2012)"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-4076(92)90104-Y","volume":"54","author":"D Kwiatkowski","year":"1992","unstructured":"Kwiatkowski, D., Phillips, P.C.B., Schmidt, P., Shin, Y.: Testing the null hypothesis of stationarity against the alternative of a unit root: how sure are we that economic time series have a unit root? J. Econometrics 54, 1\u20133 (1992)","journal-title":"J. Econometrics"},{"issue":"2","key":"17_CR21","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0304-4149(78)90002-9","volume":"8","author":"MR Leadbetter","year":"1978","unstructured":"Leadbetter, M.R., Lindgren, G., Rootz\u00e9n, H.: Conditions for the convergence in distribution of maxima of stationary normal processes. Stoch. Process. Appl. 8(2), 131\u2013139 (1978)","journal-title":"Stoch. Process. Appl."},{"key":"17_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5449-2","volume-title":"Extremes and Related Properties of Random Sequences and Processes","author":"MR Leadbetter","year":"1983","unstructured":"Leadbetter, M.R., Lindgren, G., Rootz\u00e9n, H.: Extremes and Related Properties of Random Sequences and Processes. Springer, New York (1983)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Lu, Y., Nolte, T., Bate, I., Cucu-Grosjean, L.: A statistical response-time analysis of real-time embedded systems. In: Proceedings of the RTSS, pp. 351\u2013362 (2012)","DOI":"10.1109\/RTSS.2012.85"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Majdandzic, I., Trefftz, C., Wolffe, G.: Computation of voronoi diagrams using a graphics processing unit. In: IEEE International Conference on Electro\/Information Technolog (EIT) (2008)","DOI":"10.1109\/EIT.2008.4554342"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Mangharam, R., Saba, A.A.: Anytime algorithms for GPU architectures. In: Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS) (2011)","DOI":"10.1109\/RTSS.2011.41"},{"key":"17_CR26","first-page":"90","volume":"38","author":"D Mejzler","year":"1956","unstructured":"Mejzler, D.: On the problem of the limit distribution for the maximal term of a variational series. Lvov. Politehn. Inst. Naucn Zap. Ser. Fiz. Mat. 38, 90\u2013109 (1956)","journal-title":"Lvov. Politehn. Inst. Naucn Zap. Ser. Fiz. Mat."},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-642-28293-5_13","volume-title":"Architecture of Computing Systems \u2013 ARCS 2012","author":"R Membarth","year":"2012","unstructured":"Membarth, R., Lupp, J.-H., Hannig, F., Teich, J., K\u00f6rner, M., Eckert, W.: Dynamic task-scheduling and resource management for GPU accelerators in medical imaging. In: Herkersdorf, A., R\u00f6mer, K., Brinkschulte, U. (eds.) ARCS 2012. LNCS, vol. 7179, pp. 147\u2013159. Springer, Heidelberg (2012)"},{"key":"17_CR28","unstructured":"Northrop, P.: Semiparametric estimation of the extremal index using block maxima. Technical report, Dept of Statistical Science, UCL (2005)"},{"key":"17_CR29","unstructured":"NVIDIA Corp. CUDA C Best Practices Guide. DG-05603-001 $$\\_$$ v5.5"},{"key":"17_CR30","unstructured":"NVIDIA Corp. Whitepaper: Kepler GK110 (2012). www.nvidia.com\/content\/PDF\/kepler\/NVIDIA-Kepler-GK110-Architecture-Whitepaper.pdf"},{"key":"17_CR31","doi-asserted-by":"crossref","unstructured":"Rossbach, C.J., Currey, J., Silberstein, M., Ray, B., Witchel, E.: Ptask: Operating system abstractions to manage GPUs as computedevices. ACM SOSP (2011)","DOI":"10.1145\/2043556.2043579"},{"key":"17_CR32","unstructured":"Santinelli, L., Morio, J., Dufour, G., Jacquemart, D.: On the sustainability of the extreme value theory for WCET estimation. In: International WCET Workshop (2014)"}],"container-title":["Lecture Notes in Computer Science","Architecture of Computing Systems \u2013 ARCS 2016"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30695-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T23:18:03Z","timestamp":1748819883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30695-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319306940","9783319306957"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30695-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}