131. Acculock: accurate and efficient detection of data races. (16th April 2012) Authors: Xie, Xinwei; Xue, Jingling; Zhang, Jie Journal: Software, practice & experience Issue: Volume 43:Number 5(2013) Page Start: 543 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
132. Adaptable secure communication for the Cloud of Things. (3rd October 2016) Authors: Vasić, Valter; Antonić, Aleksandar; Pripužić, Krešimir; Mikuc, Miljenko; Žarko, Ivana Podnar Other Names: Ranjan Rajiv guestEditor.; Wang Lizhe guestEditor.; Jayaraman Prem Prakash guestEditor.; Mitra Karan guestEditor.; Georgakopoulos Dimitrios guestEditor. Journal: Software, practice & experience Issue: Volume 47:Number 3(2017) Page Start: 489 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
133. Adapting FreeRTOS for multicores: an experience report. (19th February 2013) Authors: Mistry, James; Naylor, Matthew; Woodcock, Jim Journal: Software, practice & experience Issue: Volume 44:Number 9(2014) Page Start: 1129 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
134. Adaptive Markov‐based approach for dynamic virtual machine consolidation in cloud data centers with quality‐of‐service constraints. (12th December 2019) Authors: Monshizadeh Naeen, Hossein; Zeinali, Esmaeil; Toroghi Haghighat, Abolfazl Journal: Software, practice & experience Issue: Volume 50:Number 2(2020) Page Start: 161 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
135. Adaptive trade‐off between consistency and performance in data replication. (16th November 2016) Authors: Sun, Hailong; Xiao, Bang; Wang, Xu; Liu, Xudong Journal: Software, practice & experience Issue: Volume 47:Number 6(2017) Page Start: 891 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
136. ADARC: An anomaly detection algorithm based on relative outlier distance and biseries correlation. (22nd October 2019) Authors: Ji, Cun; Zou, Xiunan; Liu, Shijun; Pan, Li Other Names: Wu Hao guestEditor.; Bie Rongfang guestEditor.; Pereira Charith guestEditor.; Rana Omer guestEditor. Journal: Software, practice & experience Issue: Volume 50:Number 11(2020) Page Start: 2065 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
137. Adopting microservices and DevOps in the cyber‐physical systems domain: A rapid review and case study. (18th November 2022) Authors: Fritzsch, Jonas; Bogner, Justus; Haug, Markus; Franco da Silva, Ana Cristina; Rubner, Carolin; Saft, Matthias; Sauer, Horst; Wagner, Stefan Journal: Software, practice & experience Issue: Volume 53:Number 3(2023) Page Start: 790 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
138. Adtpp: lightweight efficient safe polymorphic algebraic data types for C. (13th May 2016) Authors: Naish, Lee; Schachte, Peter; MacNally, Aleck M. Journal: Software, practice & experience Issue: Volume 46:Number 12(2016) Page Start: 1685 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. Advanced control‐flow and concurrency in C∀. (1st December 2020) Authors: Delisle, Thierry; Buhr, Peter A. Journal: Software, practice & experience Issue: Volume 51:Number 5(2021) Page Start: 1005 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. Advanced data integration in banking, financial, and insurance software in the age of COVID‐19. (15th August 2021) Authors: Maiti, Moinak; Vuković, Darko; Mukherjee, Amrit; Paikarao, Pavan D.; Yadav, Janardan Krishna Other Names: Gill Sukhpal Singh guestEditor.; Vinuesa Ricardo guestEditor.; Balasubramanian Venki guestEditor.; Ghosh Soumya K. guestEditor. Journal: Software, practice & experience Issue: Volume 52:Number 4(2022) Page Start: 887 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗