821. Practical JFSL verification using TACO‡. (11th November 2013) Authors: Chicote, M.; Ciolek, D.; Galeotti, J.P.; Garbervetsky, Diego; Kim, Sunghun Journal: Software, practice & experience Issue: Volume 44:Number 3(2014) Page Start: 317 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
822. Practical rearrangement methods for dynamic double‐array dictionaries. (28th July 2017) Authors: Kanda, Shunsuke; Fujita, Yuma; Morita, Kazuhiro; Fuketa, Masao Journal: Software, practice & experience Issue: Volume 48:Number 1(2018) Page Start: 65 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
823. Practical static analysis of context leaks in Android applications. (7th November 2018) Authors: Toffalini, Flavio; Sun, Jun; Ochoa, Martín Other Names: Bosch Jan guestEditor.; Cooper Kendra M. L. guestEditor.; Paulisch Frances guestEditor. Journal: Software, practice & experience Issue: Volume 49:Number 2(2019) Page Start: 233 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
824. Practical trade‐offs for the prefix‐sum problem. (22nd October 2020) Authors: Pibiri, Giulio Ermanno; Venturini, Rossano Journal: Software, practice & experience Issue: Volume 51:Number 5(2021) Page Start: 921 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
825. Practically efficient array initialization. (2nd February 2015) Authors: Fredriksson, Kimmo; Kilpeläinen, Pekka Journal: Software, practice & experience Issue: Volume 46:Number 4(2016) Page Start: 435 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
826. PRBP: A prioritized replica balancing policy for HDFS balancer. (15th November 2022) Authors: Fazul, Rhauani Weber Aita; Barcelos, Patrícia Pitthan Journal: Software, practice & experience Issue: Volume 53:Number 3(2023) Page Start: 600 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
827. Predicting Hadoop misconfigurations using machine learning. (24th January 2020) Authors: Robert, Andrew; Gupta, Apaar; Shenoy, Vinayak; Sitaram, Dinkar; Kalambur, Subramaniam Journal: Software, practice & experience Issue: Volume 50:Number 7(2020) Page Start: 1168 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
828. Predicting just‐in‐time software defects to reduce post‐release quality costs in the maritime industry. (4th November 2020) Authors: Kang, Jonggu; Ryu, Duksan; Baik, Jongmoon Other Names: Bishop Judith guestEditor.; Cooper Kendra M.L. guestEditor.; Kim Moonzoo guestEditor.; Koziolek Heiko guestEditor. Journal: Software, practice & experience Issue: Volume 51:Number 4(2021) Page Start: 748 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
829. Predicting locally manageable resource failures of high availability clusters. (10th July 2022) Authors: Somasekaram, Premathas; Calinescu, Radu Journal: Software, practice & experience Issue: Volume 52:Number 10(2022) Page Start: 2191 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
830. Predicting temporal violations for parallel business cloud workflows. (5th December 2017) Authors: Luo, Haoyu; Liu, Jin; Liu, Xiao; Yang, Yun Journal: Software, practice & experience Issue: Volume 48:Number 4(2018) Page Start: 775 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗