default search action
Software - Practice and Experience, Volume 45
Volume 45, Number 1, January 2015
- Daniel Lemire, Leonid Boytsov:
Decoding billions of integers per second through vectorization. 1-29 - Chung-Ming Huang, Shih Yang Lin, Tsung-Han Hsieh:
The personalized context-aware mobile advertisement system using a novel approaching detection method over cellular networks. 31-52 - Olli Salli, Olli Nevalainen, Ville Leppänen:
Event-driven asynchronous method calls with the D-Bus message system. 53-74 - Girish Maskeri Rama, Avinash C. Kak:
Some structural measures of API usability. 75-110
- Sergio Nesmachnow, Francisco Luna, Enrique Alba:
An empirical time analysis of evolutionary algorithms as C programs. 111-142
Volume 45, Number 2, February 2015
- Daniel A. Rodríguez-Silva, Iria Rodríguez-Cruz, Francisco Javier González-Castaño:
A software architecture for virtualized educational multimedia games in IPTV environments. 143-160 - Mehdi Sheikhalishahi, Lucio Grandinetti, Richard M. Wallace, José Luis Vázquez-Poletti:
Autonomic resource contention-aware scheduling. 161-175 - Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Yérom-David Bromberg, Gilles Muller:
Implementing an embedded compiler using program transformation rules. 177-196 - Amir Vahid Dastjerdi, Saurabh Kumar Garg, Omer F. Rana, Rajkumar Buyya:
CloudPick: a framework for QoS-aware and ontology-based service deployment across clouds. 197-231
- Anshu Dubey, Klaus Weide, Dongwook Lee, John Bachan, Christopher S. Daley, Samuel Olofin, Noel T. Taylor, Paul M. Rich, Lynn B. Reid:
Ongoing verification of a multiphysics community code: FLASH. 233-244
- Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
A suite of abstract domains for static analysis of string values. 245-287
Volume 45, Number 3, March 2015
- Fernando J. Barros:
Aspect-oriented programming and pluggable software units: a comparison based on design patterns. 289-314 - Ricardo Terra, Marco Túlio Valente, Krzysztof Czarnecki, Roberto da Silva Bigonha:
A recommendation system for repairing violations detected by static architecture conformance checking. 315-342 - Nader Mohamed, Jameela Al-Jaroodi:
MidCloud: an agent-based middleware for effective utilization of replicated Cloud services. 343-363
- Mario Andrés Paredes-Valverde, Giner Alor-Hernández, Alejandro Rodríguez González, Rafael Valencia-García, Enrique Jiménez-Domingo:
A systematic review of tools, languages, and methodologies for mashup development. 365-397
- Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki:
Fast in-memory XPath search using compressed indexes. 399-434
Volume 45, Number 4, April 2015
- Roy Friedman, Amit Portnoy:
A generic decentralized trust management framework. 435-454 - Luca Abeni, Csaba Király:
Running repeatable and controlled virtual routing experiments. 455-471 - Dae-Kyoo Kim:
Design pattern based model transformation with tool support. 473-499 - Minh Ngoc Dinh, David Abramson, Chao Jin, Andrew Gontarek, Bob Moench, Luiz De Rose:
A data-centric framework for debugging highly parallel applications. 501-526 - Dietrich Kammer, Dana Henkens, Christin Henzen, Rainer Groh:
Gesture Formalization for Multitouch. 527-548 - Tseng-Yi Chen, Hsiu-lien Yeh, Hsin-Wen Wei, Mei-ju Sun, Tsan-sheng Hsu, Wei-Kuan Shih:
An effective monitoring framework and user interface design. 549-570
- Tom Hume, Des Watson:
Is superoptimization viable for VM instruction sets? 571-579
Volume 45, Number 5, May 2015
- Alper Ortac, Martin Monperrus, Mira Mezini:
Abmash: mashing up legacy Web applications by automated imitation of human actions. 581-612 - Alain Tchana, Noel De Palma, Bruno Dillenseger, Xavier Etchevers:
A self-scalable load injection service. 613-632 - Rodrigo da Rosa Righi, Lucas Graebin, Cristiano André da Costa:
On the replacement of objects from round-based applications over heterogeneous environments. 633-656 - Yanmei Zhang, Shujuan Jiang, Guan Yuan, Xiaolin Ju, Hongchang Zhang:
An approach of class integration test order determination based on test levels. 657-687
- Vítor E. Silva Souza, John Mylopoulos:
Designing an adaptive computer-aided ambulance dispatch system with Zanshin: an experience report. 689-725
Volume 45, Number 6, June 2015
- Yannis Lilis, Anthony Savidis:
An integrated implementation framework for compile-time metaprogramming. 727-763 - Leila Ismail, Latifur Khan:
Implementation and performance evaluation of a scheduling algorithm for divisible load parallel applications in a cloud computing environment. 765-781 - Strahil Ristov, Damir Korencic:
Fast construction of space-optimized recursive automaton. 783-799 - Francesco Leotta, Massimo Mecella:
PLaTHEA: a marker-less people localization and tracking system for home automation. 801-835
- Jung Woo Kim, Jungjoo Seo, Jin Hong, Kunsoo Park, Sung-Ryul Kim:
High-speed parallel implementations of the rainbow method based on perfect tables in a heterogeneous system. 837-855
- Charles T. Cook, Yu-Shan Sun, Murali Sitaraman:
Experience report: evolution of a web-integrated software development and verification environment. 857-872
Volume 45, Number 7, July 2015
Editorial
- T. H. Tse, Arnaud Gotlieb, Zhenyu Chen:
Focus section on quality software. 873-874
- Mickaël Delahaye, Lydie du Bousquet:
Selecting a software engineering tool: lessons learnt from mutation analysis. 875-891 - Ji Wu, Tao Yue, Shaukat Ali, Huihui Zhang:
A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software. 893-924
- Cristian Mateos, Juan Manuel Rodriguez, Alejandro Zunino:
A tool to improve code-first Web services discoverability through text mining techniques. 925-948 - Manoj Kumar, Arun Sharma, Rajesh Kumar:
An empirical evaluation of a three-tier conduit framework for multifaceted test case classification and selection using fuzzy-ant colony optimisation approach. 949-971 - Yang Wang, Kenneth B. Kent, Graeme Johnson:
Improving J9 virtual machine with LTTng for efficient and effective tracing. 973-987
- Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Zheng, Chang Liu, Ziyi Liu:
Model checking aircraft controller software: a case study. 989-1017
Volume 45, Number 8, August 2015
Editorial
- Ilsun You, Marek R. Ogiela, Myunggwon Hwang:
Intelligent technologies and applications for big data analytics. 1019-1021
- Chen Li, Linpeng Huang, Luxi Chen:
Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data-oriented software systems. 1023-1050 - Jamshaid Ashraf, Omar Khadeer Hussain, Farookh Khadeer Hussain:
Making sense from Big RDF Data: OUSAF for measuring ontology usage. 1051-1071 - Dongjin Choi, Pankoo Kim:
Identifying the most appropriate expansion of acronyms used in wikipedia text. 1073-1086 - Shih-Hao Hung, Tien-Tzong Tzeng, Gyun-De Wu, Jeng-Peng Shieh:
A code offloading scheme for big-data processing in android applications. 1087-1101 - Seong-hun Park, Sung-min Kim, Young-Guk Ha:
Scalable visualization for DBpedia ontology analysis using Hadoop. 1103-1114 - Taehong Kim, Myunggwon Hwang, Mi-Nyeong Hwang, Sa-Kwang Song, Do-Heon Jeong, Hanmin Jung:
Translation of technical terminologies between English and Korean based on textual big data. 1115-1126 - Aniello Castiglione, Marco Gribaudo, Mauro Iacono, Francesco Palmieri:
Modeling performances of concurrent big data applications. 1127-1144 - Antonio J. Jara, Dominique Genoud, Yann Bocchi:
Big data for smart cities with KNIME a real experience in the SmartSantander testbed. 1145-1160
Volume 45, Number 9, September 2015
- Damaris Fuentes-Lorenzo, Luis Sánchez, Antonio Cuadra Sánchez, Maria del Mar Cutanda-Rodríguez:
A RESTful and semantic framework for data integration. 1161-1188 - Françoise Baude, Ludovic Henrio, Cristian Ruz:
Programming distributed and adaptable autonomous components - the GCM/ProActive framework. 1189-1227 - Hsung-Pin Chang, Syuan-You Liao, Da-Wei Chang, Guo-Wei Chen:
Profit data caching and hybrid disk-aware Completely Fair Queuing scheduling algorithms for hybrid disks. 1229-1249 - Francesco Buccafurri, Gianluca Lax, Antonino Nocera, Domenico Ursino:
A system for extracting structural information from Social Network accounts. 1251-1275
- Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley:
Debugging mixed-environment programs with Blink. 1277-1306
Volume 45, Number 10, October 2015
- Vladimir Sor, Satish Narayana Srirama, Nikita Salnikov-Tarnovski:
Memory leak detection in Plumbr. 1307-1330 - Sunny Dhillon, Qusay H. Mahmoud:
An evaluation framework for cross-platform mobile application development tools. 1331-1357 - Hasan Sözer:
Integrated static code analysis and runtime verification. 1359-1373
- Chris Schneider, Adam Barker, Simon A. Dobson:
A survey of self-healing systems frameworks. 1375-1398
- Johannes Willkomm, Christian H. Bischof, H. Martin Bücker:
RIOS: efficient I/O in reverse direction. 1399-1427 - Alex Dvinsky, Roy Friedman:
Chameleon - a group communication framework for smartphones. 1429-1455
Volume 45, Number 11, November 2015
- Diana Berbecaru, Antonio Lioy:
Exploiting the European Union trusted service status list for certificate validation in STORK: design, implementation, and lessons learnt. 1457-1477 - Xiaoyan Zhu, E. James Whitehead Jr., Caitlin Sadowski, Qinbao Song:
An analysis of programming language statement frequency in C, C++, and Java source code. 1479-1495 - Ghassan Shobaki, Laith Sakka, Najm Eldeen Abu Rmaileh, Hasan Al-Hamash:
Experimental evaluation of various register-pressure-reduction heuristics. 1497-1517
- Hai-Feng Guo, Zongyan Qiu:
A dynamic stochastic model for automatic grammar-based test generation. 1519-1547 - Sungju Huh, Jonghun Yoo, Seongsoo Hong:
Cross-layer resource control and scheduling for improving interactivity in Android. 1549-1570 - Sheng Di, Franck Cappello:
GloudSim: Google trace based cloud simulator with virtual machines. 1571-1590
- John Aycock:
Stringlish: improved English string searching in binary files. 1591-1595
Volume 45, Number 12, December 2015
- Nuwan Goonasekera, William J. Caelli, Colin J. Fidge:
LibVM: an architecture for shared library sandboxing. 1597-1617 - Giuseppina Cretella, Beniamino Di Martino:
A semantic engine for porting applications to the cloud and among clouds. 1619-1637 - Dominique Colnet, Benoît Sonntag:
Exploiting array manipulation habits to optimize garbage collection and type flow analysis. 1639-1657 - Aurélie Hurault, Kyungim Baek, Henri Casanova:
Selecting linear algebra kernel composition using response time prediction. 1659-1676 - Javier Criado, Diego Rodríguez-Gracia, Luis Iribarne, Nicolás Padilla:
Toward the adaptation of component-based architectures by model transformation: behind smart user interfaces. 1677-1718
- Cristian Duran-Faundez, Mario Ramos, Pedro Rodriguez:
Applying Gaia and AUML for the development of multiagent-based control software for flexible manufacturing systems: addressing methodological and implementation issues. 1719-1737
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.