Mobile applications are monitored for performance check or tested for error correctness in respect of particular security properties. The more sensitive the information such as credit card, personal medical and privat...
详细信息
Pairing-based cryptography have begun to draw attention ever since the work of Boneh and Franklin in 2001 proposing the first identity-based encryption scheme using bilinear pairings. In 2010, Tan et al. developed a p...
详细信息
ISBN:
(纸本)9781479989973
Pairing-based cryptography have begun to draw attention ever since the work of Boneh and Franklin in 2001 proposing the first identity-based encryption scheme using bilinear pairings. In 2010, Tan et al. developed a pairing library that has running times that is as competitive as Pairing-Based Crypto (PBC) library. However, since Tan et al's pairing library was written in java, it was not known to work for other platforms such as iOS. In this work, we adapt Tan et al's java library for iOS through the implementation of a pairing-based identity-based identification (IBI) scheme.
java provides two different options for processing source code annotations. One of them is the annotation processing API used in compile time, and the other is the Reflection API used in runtime. Both options provide ...
详细信息
ISBN:
(纸本)9781479967476
java provides two different options for processing source code annotations. One of them is the annotation processing API used in compile time, and the other is the Reflection API used in runtime. Both options provide different API for accessing program metamodel. In this paper, we examine the differences between those representations and we discuss options on how to unify these models along with advantages and disadvantages of this approach. Based on this proposal, we design a unified javalanguage model and present a prototype tool which can populate a unified model during both compilation and runtime. The paper includes the designed API of this unified language model. To verify our approach, we have performed experiments to show the usability of the unified metamodel.
The 21 st century is a computer information technology era;with gradually quickening of speed of computer updating and more and more developed software industry, the computer industry proposes higher and higher develo...
详细信息
ISBN:
(纸本)9781510814837
The 21 st century is a computer information technology era;with gradually quickening of speed of computer updating and more and more developed software industry, the computer industry proposes higher and higher development requirement for computer software program. In numerous applied structure and programminglanguage with different performance, the reasonable selection can exert the high efficiency and high adaptability of software development to maximum degree. This paper carries out a discussion on several mainstream programminglanguage in the industry at present, and then carries out analysis on applicability selection principle of development language in the computer software development process according to their features and specific application.
Many factor that affected schedule arrangement made the problem became more complicated. Searching of timetabling solution using optimization process is a real example for a complex computation. One of the ways to sol...
详细信息
ISBN:
(纸本)9781467373470
Many factor that affected schedule arrangement made the problem became more complicated. Searching of timetabling solution using optimization process is a real example for a complex computation. One of the ways to solve the problem of computation complexity is changing sequential computation paradigm into parallel computing ones. This research aimed to analyze and to apply parallel processing for building a courses timetabling software for the Department of Electrical Engineering, State Islamic University of Sultan Syarif Kasim Riau. The research was begun with the description of course timetabling problem in the department. Some of solution prerequisite for hard and soft constraints has been determined. Afterward, the reconstruction of conflict course graph was done. The process was done simultaneously with the process of rooms to be assembled, graph that was formed has included its room candidate. Then, conflict course graph was colored to become non-conflict course graph. The coloring task was calculated by parallel computing using multithread classes in java programming language. The results were achieved in this research are the process of graph to be formed in an adjacency matrix, and coloring of the graph was done successfully both in sequential and multithread computations. Solving the process into two threads, the execution time become faster than sequential ones with the speed up is 3.14 times, and the efficiency of processor is 78.51%.
JOANA (java Object-sensitive Analysis) and java SDG API are analysis frameworks available for analyzing java programs for different applications. Now a days, the continuous evolution of the customer expectations and r...
详细信息
ISBN:
(纸本)9781479987931
JOANA (java Object-sensitive Analysis) and java SDG API are analysis frameworks available for analyzing java programs for different applications. Now a days, the continuous evolution of the customer expectations and requirements has resulted in the increase of size of the software. Due to which the difficulties in maintaining software are increasing. Both Joana and java SDG API consist of a variety of analysis techniques based on dependence graph generation and computation of slices of an input program. In this paper, we make a comparative analysis study on the effectiveness and efficiency of both these above mentioned analysis frameworks in generating the corresponding intermediate dependence graph and computing slices. The analysis is based on the bytecode of the program under consideration. The experimental analysis shows that Joana can be extended for various diverse applications.
Although significant advances have been made over the past few years, constraint solving is still the main bottleneck in symbolic execution. In fact, it often dominates the cost in overall performance. Thus, it is imp...
详细信息
ISBN:
(纸本)9781467381741
Although significant advances have been made over the past few years, constraint solving is still the main bottleneck in symbolic execution. In fact, it often dominates the cost in overall performance. Thus, it is important to reduce the overhead in calling a constraint solver by exploring domain specific insights. In this paper, we propose a novel approach to optimize constraint solving. Our approach integrates two existing strategies: assertion stack and caching. We implemented a proof-of-concept tool based on Symbolic Pathfinder, a popular symbolic execution framework for java programs. We have evaluated the tool on a set of open source software and the results showed that our approach can significantly improve the performance of constraint solving.
With the evolution in science and technology, a lot has been done over the past few years to make the lives of the differently-abled more comfortable and easy. This paper concentrates on a novel methodology to ease th...
详细信息
With the evolution in science and technology, a lot has been done over the past few years to make the lives of the differently-abled more comfortable and easy. This paper concentrates on a novel methodology to ease the use of an ATM machine for the blind. It describes an approach wherein both the username and PIN for the ATM machine can be input using British Sign language. A cost effective setup and also a high speed algorithm for hand gesture recognition has been elaborated. In comparison with previous algorithms, the method explained in this paper is 1.65 times faster thus proving its efficacy and efficiency. All algorithms were first designed and developed in MATLAB 2011b and then later deployed as software using the java programming language.
The identification of sounds is an important tool in ubiquitous and context aware applications. Today's smartphones are capable of performing even computational intensive tasks, like digital signal processing and ...
详细信息
ISBN:
(纸本)9781479988518
The identification of sounds is an important tool in ubiquitous and context aware applications. Today's smartphones are capable of performing even computational intensive tasks, like digital signal processing and pattern recognition. In this contribution an implementation scheme and a framework for sound recognition for smartphones are presented. A basic sound recognition flow consists of preprocessing, feature extraction, feature selection, classification, and action trigger. A flow is not hard coded but described in a JSON file and build dynamically by the framework. The framework itself is implemented in java for the Android operating system. But specific algorithms can be realized in java, C(++), and Renderscript for execution on the CPU, or in Filterscript for execution on a GPU. An example flow is presented and benchmark results are shown for java-, C-, and Filterscriptimplementations of Mel Frequency Cepstral Coefficients (MFCC). Recommendations for technology selection are made.
GPUS HAVE BECOME AN ATTRACTIVE TARGET FOR ACCELERATING PARALLEL APPLICATIONS AND DELIVERING SIGNIFICANT SPEEDUPS AND ENERGY-EFFICIENCY GAINS OVER MULTICORE CPUS. programming GPUS, HOWEVER, REMAINS CHALLENGING BECAUSE ...
详细信息
GPUS HAVE BECOME AN ATTRACTIVE TARGET FOR ACCELERATING PARALLEL APPLICATIONS AND DELIVERING SIGNIFICANT SPEEDUPS AND ENERGY-EFFICIENCY GAINS OVER MULTICORE CPUS. programming GPUS, HOWEVER, REMAINS CHALLENGING BECAUSE EXISTING GPUS LACK THE WELL-DEFINED MEMORY MODEL REQUIRED TO SUPPORT HIGH-LEVEL languageS SUCH AS C++ AND java. TEMPORAL COHERENCE, A SIMPLE AND INTUITIVE TIMER-BASED COHERENCE FRAMEWORK OPTIMIZED FOR GPU, TACKLES THIS CHALLENGE.
暂无评论