default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware - Practice and Experience, Volume 46
Volume 46, Number 1, January 2016
Experience Report
- Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
:
AVOCLOUDY: a simulator of volunteer clouds. 3-30
- 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
- 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
- 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
- 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
- Kyungmin Go, Sungwon Kang, Jongmoon Baik, Myungchul Kim:
Pairwise testing for systems with data derived from real-valued variable inputs. 381-403
- 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
- 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
- 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
- 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
- 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
- Samy Chambi, Daniel Lemire, Owen Kaser, Robert Godin:
Better bitmap performance with Roaring bitmaps. 709-719
Volume 46, Number 6, June 2016
- 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
- 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
- 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
- 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
- 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
- Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi:
Mining hot calling contexts in small space. 1131-1152
Volume 46, Number 9, September 2016
- 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
- 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
- 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
- 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
- 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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
