Suchergebnisse - "java program"

Runtime verification on abstract finite state models von Jevitha, K.P., Jayaraman, Bharat, Sethumadhavan, M.

“… Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle. In this paper, we …”
Volltext

The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently von Halalingaiah, Shashin, Sundaresan, Vijay, Maier, Daryl, Nandivada, V. Krishna

“… Data-flow analyses like points-to analysis can vastly improve the precision of other analyses, and enable powerful code optimizations. However, whole-program …”
Volltext

IGAOD: An online design framework for interactive genetic algorithms von Huang, DongBo, Xu, Xing

“… In order to prompt the theoretical research and application of interactive genetic algorithm (IGA), the framework for IGAOD (Interactive Genetic Algorithm …”
Volltext

Compact visualization of Java program execution von Jayaraman, S., Jayaraman, B., Lessa, D.

“… Summary The context of this work is a practical, open‐source visualization system, called JIVE, that supports two forms of runtime visualizations of Java …”
Volltext

Personalised news filtering and recommendation system using Chi-square statistics-based K-nearest neighbour (χ2SB-KNN) model von Adeniyi, D. A., Wei, Z., Yang, Y.

“… Recommendation problem has been extensively studied by researchers in the field of data mining, database and information retrieval. This study presents the …”
Volltext

Computer‐based boiler efficiency improvement von Said, Samah M., Hamouda, Asmaa S., Mahmaoud, Hamada, Abd‐Elwahab, Said

“… This article was concerned with calculating efficiency of boilers which are the most important types of performance measurements in a steam system. A Java …”
Volltext

Detection of Java Basic Thread Misuses Based on Static Event Analysis von Cui, Baoquan, Wang, Miaomiao, Zhang, Chi, Yan, Jiwei, Yan, Jun, Zhang, Jian

“… The fundamental asynchronous thread (java.lang. Thread) in Java can be easily misused, due to the lack of deep understanding for garbage collection and thread …”
Volltext

Facilitating Scenario-Based Program Comprehension with Topic Models von Wang, Tianxia, Liu, Yan

“… Researchers and practitioners have been seeking automatic and semi-automatic approaches to support program comprehension. However, not too much attention has …”
Volltext

A new approach of authentication in graphical systems using ASCII submission of values von Gupta, Devansh

“… Authentication is the process by which a user is verified through different type of security systems, in order to access their private resources and …”
Volltext

A Java program to test homogeneity of samples and examine sampling completeness von WenJun Zhang

“… A Java program to test the homogeneity of samples and examine sampling completeness was presented in this study. The program was based on the model of Coleman …”
Volltext

A JAVA program for the multivariate Zp and Cp tests and its application von Arslan, Güvenç, Özmen, İlknur

“… The multivariate normality assumption is used in many multivariate statistical analyses. It is, therefore, important to assess the validity of this assumption …”
Volltext

Feed resources, livestock production and soil carbon dynamics in Teghane, Northern Highlands of Ethiopia von Abegaz, Assefa, van Keulen, Herman, Oosting, Simon J.

“… In the Northern Highlands of Ethiopia, integrated crop-livestock production within smallholder farms is the dominant form of agricultural production. Feed …”
Volltext

A case study to evaluate the suitability of graph transformation tools for program refactoring von Pérez, Javier, Crespo, Yania, Hoffmann, Berthold, Mens, Tom

“… This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. To qualify for this purpose, a graph …”
Volltext

Conditional Allele Mouse Planner (CAMP): software to facilitate the planning and design of breeding strategies involving mice with conditional alleles von Hoffert, Jason D, Pisitkun, Trairak, Miller, R. Lance

“… Transgenic and conditional knockout mouse models play an important role in biomedical research and their use has grown exponentially in the last 5–10 years …”
Volltext

Coverage testing of Java programs and components von Vincenzi, A.M.R., Maldonado, J.C., Wong, W.E., Delamaro, M.E.

“… Although software testing is a crucial activity in the software development process, only recently have more sound and consistent testing tools become …”
Volltext

A program for statistic test of community evenness von WenJun Zhang, Hao Zheng

“… A Java program to statistically test community evenness was developed in this study. In the algorithm the community diversity was represented by Shaanon-Wiener …”
Volltext

Exploration of Compact Sequence Diagram Using Hyperlink von Aparna, V K

“… The objective of this work is about the activation of a hyperlink, which is in a compacted portion, that is accessed and enters a node by a single click of any …”
Volltext

Proposed Structural Validation-based Testing for Object-Oriented Programming von Lumyong, Chayanin, Tachasriburapha, Natthawut, Titijaroonroj, Taravichet

“… Nowadays, Java program testing is widely used in an academic e-learning system. It can help a lecturer to give feedback and suggestion to learners …”
Volltext

A Visualization Tool for Relationship between Source Code and Parse Tree Using VR von Kishikawa, Masateru, Kakeshita, Tetsuro

“… Software development process is composed of several activities such as planning, specification development, module design, algorithm design, coding, and test …”
Volltext

Fault localization based on dynamic slicing via JSlice for Java programs von Peng Zhang, Xiaoguang Mao, Yan Lei, Zhuo Zhang

“… Many recent studies on fault localization based on program slicing have mainly focused on static slicing techniques, while the research on fault localization …”
Volltext