12 papers · ranked by Valyu relevance
Muhammad Adnan, Faisal Aslam, Zubair Nawaz, Syed Mansoor Sarwar + 1 more
'Maciej Huk'] Nowadays, a typical processor may have multiple processing cores on a single chip. Furthermore, a special purpose processing unit called Graphic Processing Unit (GPU), originally designed for 2D/3D games, is now available for general purpose use in computers and mobile devices. However, the traditional…
Recep Sinan Arslan, Álvar Arnaiz-González
The rapid proliferation of devices using the Android operating system makes these devices the primary target for malware developers. Researchers are investigating different techniques to protect end users from these attackers. While many of these techniques are successful in detecting malware, they also have some…
Fahmi H. Quradaa, Sara Shahzad, Rashad Saeed, Mubarak M. Sufyan + 1 more
In software development, it’s common to reuse existing source code by copying and pasting, resulting in the proliferation of numerous code clones-similar or identical code fragments-that detrimentally affect software quality and maintainability. Although several techniques for code clone detection exist, many encounter…
Geonbae Na, Jongsu Lim, Sunjun Lee, Jeong Hyun Yi
As interest in Internet of Things environments rapidly increases throughout the IT convergence field, compatibility with mobile devices must be provided to enable personalized services. The security of mobile platforms and applications is critical because security vulnerabilities of mobile devices can be spread to all…
Ziying Dai, Xiaoguang Mao, Yan Lei, Yuhua Qi + 2 more
API protocols specify correct sequences of method invocations. Despite their usefulness, API protocols are often unavailable in practice because writing them is cumbersome and error prone. Multiple object API protocols are more expressive than single object API protocols. However, the huge number of objects of typical…
Raoul J. P. Bonnal, Andrew Yates, Naohisa Goto, Laurent Gautier + 4 more
'Scooter Willis' 'Christopher Fields' 'Toshiaki Katayama' 'Pjotr Prins'] Open-source software encourages computer programmers to reuse software components written by others. In evolutionary bioinformatics, open-source software comes in a broad range of programming languages, including C/C++, Perl, Python, Ruby, Java…
Diego Alonso, Francisco Sánchez-Ledesma, Pedro Sánchez, Juan A. Pastor + 1 more
'Juan A. Pastor' 'Bárbara Álvarez'] The use of frameworks and components has been shown to be effective in improving software productivity and quality. However, the results in terms of reuse and standardization show a dearth of portability either of designs or of component-based implementations. This paper, which is…
Shuvendu K. Lahiri, Chao Wang, Elvira Albert, Pablo Gordillo + 2 more
With the advent of smart contracts that execute on the blockchain ecosystem, a new mode of reasoning is required for developers that must pay meticulous attention to the gas spent by their smart contracts, as well as for optimization tools that must be capable of effectively reducing the gas required by the smart…
Shuvendu K. Lahiri, Chao Wang, Daejun Park, Yi Zhang + 1 more
We report our experience in the formal verification of the deposit smart contract, whose correctness is critical for the security of Ethereum 2.0, a new Proof-of-Stake protocol for the Ethereum blockchain. The deposit contract implements an incremental Merkle tree algorithm whose correctness is highly nontrivial, and…
Xuejin Zhu, Jie Huang, Bin Wang, Chunyang Qi + 1 more
The family homology determination of malware has become a research hotspot as the number of malware variants are on the rise. However, existing studies on malware visualization only determines homology based on the global structure features of executable, which leads creators of some malware variants with the same…
Nagarajan Kathiresan, Ramzi Temanni, Hakeem Almabrazi, Najeeb Syed + 2 more
'Puthen V. Jithesh' 'Rashid Al-Ali'] Next generation sequencing (NGS) data analysis is highly compute intensive. In-memory computing, vectorization, bulk data transfer, CPU frequency scaling are some of the hardware features in the modern computing architectures. To get the best execution time and utilize these…
Alexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel
'Gerti Kappel'] The capability of UML profiles to serve as annotation mechanism has been recognized in both research and industry. Today’s modeling tools offer profiles specific to platforms, such as Java, as they facilitate model-based engineering approaches. However, considering the large number of possible…