Software - Practice and Experience, Volume 46

Volume 46, Number 1, January 2016

Cloud and Big Data Computing
Experience Report

• 
  Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente:
  AVOCLOUDY: a simulator of volunteer clouds. 3-30

Extended Conference Papers

• 
  Pieter-Jan Maenhaut, Hendrik Moens, Veerle Ongenae, Filip De Turck:
  Migrating legacy software to the cloud: approach and verification by means of two medical software use cases. 31-54
• 
  Clément Quinton, Daniel Romero, Laurence Duchien:
  SALOON: a platform for selecting and configuring cloud environments. 55-78

Survery Papers

• 
  Raghavendra Kune, Pramodkumar Konugurthi, Arun Agarwal, C. Raghavendra Rao, Rajkumar Buyya:
  The anatomy of big data computing. 79-105
• 
  Amin Mohebi, Saeed Reza Aghabozorgi, Ying Wah Teh, Tutut Herawan, Ramin Yahyapour:
  Iterative big data clustering algorithms: a review. 107-129

Volume 46, Number 2, February 2016

Research Articles

• 
  Maurizio Pizzonia, Massimo Rimondini:
  Netkit: network emulation for education. 133-165
• 
  Owen Kaser, Daniel Lemire:
  Compressed bitmap indexes: beyond unions and intersections. 167-198
• 
  Miguel García, Francisco Ortin, José Quiroga:
  Design and implementation of an efficient hybrid dynamic and static typing language. 199-226
• 
  Paolo Ciancarini, Angelo Di Iorio, Carlo Marchetti, Michele Schirinzi, Fabio Vitali:
  Bridging the gap between tracking and detecting changes in XML. 227-250
• 
  João M. P. Cardoso, José Gabriel F. Coutinho, Tiago Carvalho, Pedro C. Diniz, Zlatko Petrov, Wayne Luk, Fernando M. Gonçalves:
  Performance-driven instrumentation and mapping strategies using the LARA aspect-oriented programming approach. 251-287

Volume 46, Number 3, March 2016

Research Articles

• 
  Ting-Chang Huang, Da-Wei Chang:
  TridentFS: a hybrid file system for non-volatile RAM, flash memory and magnetic disk. 291-318
• 
  Vasile Purdila, Stefan Gheorghe Pentiuc:
  Single-scan: a fast star-join query processing algorithm. 319-339
• 
  Jie Yin, Chao Ma, Shi-Min Hu:
  PAST: accurate instrumentation on fully optimized program. 341-360
• 
  Byungho Min, Vijay Varadharajan:
  A novel malware for subversion of self-protection in anti-virus. 361-379

Experience Report

• 
  Kyungmin Go, Sungwon Kang, Jongmoon Baik, Myungchul Kim:
  Pairwise testing for systems with data derived from real-valued variable inputs. 381-403

Extended Conference Paper

• 
  Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain:
  RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications. 405-431

Volume 46, Number 4, April 2016

Research Articles

• 
  Kimmo Fredriksson, Pekka Kilpeläinen:
  Practically efficient array initialization. 435-467
• 
  Chamonix Terblanche, Pornpit Wongthongtham:
  Ontology-based employer demand management. 469-492
• 
  Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
  A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties. 493-511

Extended Conference Papers

• 
  Gianfranco Lamperti, Michele Scandale, Marina Zanella:
  Determinization and minimization of finite acyclic automata by incremental techniques. 513-549
• 
  Chang-Ai Sun, Yan Zhao, Lin Pan, Xiao He, Dave Towey:
  A transformation-based approach to testing concurrent programs using UML activity diagrams. 551-576

Volume 46, Number 5, May 2016

Research Articles

• 
  Hsin-Wen Wei, Tseng-Yi Chen, Tsan-sheng Hsu:
  BASE: an assistant tool to precisely simulate energy consumption and reliability of energy-efficient storage systems. 581-599
• 
  Fei Liu, Bixin Li, Rupesh Nasre:
  Efficient online cycle detection technique combining with Steensgaard points-to information. 601-623
• 
  Daniel A. Rodríguez-Silva, Jaime Loureiro-Acuña, Francisco Javier González-Castaño, Cristina López-Bravo:
  Improving the virtualization of rich applications by combining VNC and streaming protocols at the hypervisor layer. 625-644

Experience Reports

• 
  Helen Oliver, Patrick E. McSharry:
  A design proto-pattern for continuously evaluated forecasting in IBM^® InfoSphere^® Streams. 645-684
• 
  Ronald A. Olsson, Todd Williamson:
  RJ: a Java package providing JR-like concurrent programming. 685-708

Short Communication

• 
  Samy Chambi, Daniel Lemire, Owen Kaser, Robert Godin:
  Better bitmap performance with Roaring bitmaps. 709-719

Volume 46, Number 6, June 2016

Research Articles

• 
  Daniel Lemire, Leonid Boytsov, Nathan Kurz:
  SIMD compression and the intersection of sorted integers. 723-749
• 
  Kartik Gupta, V. Krishna Nandivada:
  Lexical state analyzer for JavaCC grammars. 751-765
• 
  Karla Saur, Michael W. Hicks, Jeffrey S. Foster:
  C-strider: type-aware heap traversal for C. 767-788
• 
  Daniel Bristot de Oliveira, Rômulo Silva de Oliveira:
  Timing analysis of the PREEMPT RT Linux kernel. 789-819
• 
  Juri Lelli, Claudio Scordino, Luca Abeni, Dario Faggioli:
  Deadline scheduling in the Linux kernel. 821-839

Extended Conference Papers

• 
  Seong-Won Lee, Soo-Mook Moon, Seong-Moo Kim:
  Flow-sensitive runtime estimation: an enhanced hot spot detection heuristics for embedded Java just-in-time compilers. 841-864

Volume 46, Number 7, July 2016

Research Articles

• 
  Shiyi Wei, Franceska Xhakaj, Barbara G. Ryder:
  Empirical study of the dynamic behavior of JavaScript objects. 867-889
• 
  Robert Soulé, Martin Hirzel, Bugra Gedik, Robert Grimm:
  River: an intermediate language for stream processing. 891-929
• 
  Thomas Sherwood, Ezak Ahmad, Moi Hoon Yap:
  Formulating efficient software solution for digital image processing system. 931-954
• 
  Georgios Dagkakis, Ioannis Papagiannopoulos, Cathal Heavey:
  ManPy: an open-source software tool for building discrete event simulation models of manufacturing systems. 955-981

Extended Conference Papers

• 
  Beniamino Di Martino, Antonio Esposito:
  A rule-based procedure for automatic recognition of design patterns in UML diagrams. 983-1007

Volume 46, Number 8, August 2016

Research Articles

• 
  José Ricardo da S. Junior, Esteban Clua, Leonardo Murta:
  Efficient image-aware version control systems using GPU. 1011-1033
• 
  David Ruano-Ordás, Jorge Fdez-Glez, Florentino Fdez-Riverola, José Ramón Méndez:
  Using new scheduling heuristics based on resource consumption information for increasing throughput on rule-based spam filtering systems. 1035-1051
• 
  Aibek Sarimbekov, Lukas Stadler, Lubomír Bulej, Andreas Sewe, Andrej Podzimek, Yudi Zheng, Walter Binder:
  Workload characterization of JVM languages. 1053-1089
• 
  David Ruano-Ordás, Jorge Fdez-Glez, Florentino Fdez-Riverola, Vitor Basto-Fernandes, José Ramón Méndez:
  RuleSIM: a toolkit for simulating the operation and improving throughput of rule-based spam filters. 1091-1108
• 
  Yi-Ping You, Jian-Ru Chen:
  A static region-based compiler for the Dalvik virtual machine. 1109-1130

Extended Conference Paper

• 
  Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi:
  Mining hot calling contexts in small space. 1131-1152

Volume 46, Number 9, September 2016

Research Articles

• 
  Renaud Pawlak, Martin Monperrus, Nicolas Petitprez, Carlos Noguera, Lionel Seinturier:
  SPOON: A library for implementing analyses and transformations of Java source code. 1155-1179
• 
  Giorgio C. Buttazzo, Carmelo Di Franco, Mauro Marinoni:
  Design and analysis of target-sensitive real-time systems. 1181-1200
• 
  Weijun Liu, Ge Nong, Wai Hong Chan, Yi Wu:
  Improving a lightweight LZ77 computation algorithm for running faster. 1201-1217
• 
  Sukyoung Ryu:
  Scalable framework for parsing: from Fortress to JavaScript. 1219-1238
• 
  Alessandro J. De Souza, Anderson Luiz de Oliveira Cavalcanti:
  Visual Language for Use Case Description. 1239-1261
• 
  Renhai Chen, Zhaoyan Shen, Chenlin Ma, Zili Shao, Yong Guan:
  NVMRA: utilizing NVM to improve the random write operations for NAND-flash-based mobile devices. 1263-1284
• 
  Adam Richard, Lai Nguyen, Peter Shipton, Kenneth B. Kent, Azden Bierbrauer, Konstantin Nasartschuk, Marcel Dombrowski:
  Inter-JVM Sharing. 1285-1296

Volume 46, Number 10, October 2016

Research Articles

• 
  Roberto R. Osorio, Patricia González:
  A fast algorithm for constructing nearly optimal prefix codes. 1299-1316
• 
  Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
  Widening with thresholds via binary search. 1317-1328
• 
  Khaled Mohammed Al-Naami, Sadi Evren Seker, Latifur Khan:
  GISQAF: MapReduce guided spatial query processing and analytics system. 1329-1349
• 
  Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni:
  Polymorphic bytecode instrumentation. 1351-1380
• 
  Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota:
  Probabilistic logic programming on the web. 1381-1396
• 
  Julien Desfossez, Mathieu Desnoyers, Michel R. Dagenais:
  Runtime latency detection and analysis. 1397-1409

Extended Conference Paper

• 
  Jean-Christophe Petkovich, Augusto Born de Oliveira, Y. Zhang, Thomas Reidemeister, Sebastian Fischmeister:
  DataMill: a distributed heterogeneous infrastructure for robust experimentation. 1411-1440

Volume 46, Number 11, November 2016

Research Articles

• 
  Wahiba Ben Abdessalem Karaa, Zeineb Ben Azzouz, Aarti Singh, Nilanjan Dey, Amira S. Ashour, Henda Ben Ghézala:
  Automatic builder of class diagram (ABCD): an application of UML generation from functional requirements. 1443-1458
• 
  Tonis Saar, Marlon Dumas, Marti Kaljuve, Nataliia Semenenko:
  Browserbite: cross-browser testing via image processing. 1459-1477
• 
  Mohiuddin Solaimani, Mohammed Iftekhar, Latifur Khan, Bhavani Thuraisingham, Joey Burton Ingram, Sadi Evren Seker:
  Online anomaly detection for multi-source VMware using a distributed streaming framework. 1479-1497
• 
  Neil Burroughs:
  Register allocation and spilling using the expected distance heuristic. 1499-1523
• 
  Md. Redowan Mahmud, Mahbuba Afrin, Md. Abdur Razzaque, Mohammad Mehedi Hassan, Abdulhameed Alelaiwi, Majed A. AlRubaian:
  Maximizing quality of experience through context-aware mobile application scheduling in cloudlet infrastructure. 1525-1545
• 
  Daniel Lemire, Gregory Ssi Yan Kai, Owen Kaser:
  Consistently faster and smaller compressed bitmaps with Roaring. 1547-1569
• 
  Iain Ireland, José Nelson Amaral, Raúl Silvera, Shimin Cui:
  SafeType: detecting type violations for type-basedalias analysis of C. 1571-1588

Volume 46, Number 12, December 2016

Research Articles

• 
  Yu-Chuan Guo, Wuu Yang, Jiunn-Yeu Chen, Jenq-Kuen Lee:
  Translating the ARM Neon and VFP instructions in a binary translator. 1591-1615
• 
  Ivan Cukic:
  A continuation-based task programming model for C++: design of the Causeway library. 1617-1656
• 
  Yang Liu, Andrew Simpson:
  Privacy-preserving targeted mobile advertising: requirements, design and a prototype implementation. 1657-1684
• 
  Lee Naish, Peter Schachte, Aleck M. MacNally:
  Adtpp: lightweight efficient safe polymorphic algebraic data types for C. 1685-1703

Extended Conference Paper

• 
  A. Omar Portillo-Dominguez, Philip Perry, Damien Magoni, Miao Wang, John Murphy:
  TRINI: an adaptive load balancing strategy based on garbage collection for clustered Java systems. 1705-1733