Search Results - "Java program"

Runtime verification on abstract finite state models by 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…”
Get full text

The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently by 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…”
Get full text

IGAOD: An online design framework for interactive genetic algorithms by 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…”
Get full text

Compact visualization of Java program execution by 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…”
Get full text

Personalised news filtering and recommendation system using Chi-square statistics-based K-nearest neighbour (χ2SB-KNN) model by 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…”
Get full text

Computer‐based boiler efficiency improvement by 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…”
Get full text

Detection of Java Basic Thread Misuses Based on Static Event Analysis by 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…”
Get full text

Facilitating Scenario-Based Program Comprehension with Topic Models by 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…”
Get full text

A new approach of authentication in graphical systems using ASCII submission of values by 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…”
Get full text

A Java program to test homogeneity of samples and examine sampling completeness by 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…”
Get full text

A JAVA program for the multivariate Zp and Cp tests and its application by 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…”
Get full text

Feed resources, livestock production and soil carbon dynamics in Teghane, Northern Highlands of Ethiopia by 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…”
Get full text

A case study to evaluate the suitability of graph transformation tools for program refactoring by 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…”
Get full text

Conditional Allele Mouse Planner (CAMP): software to facilitate the planning and design of breeding strategies involving mice with conditional alleles by 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…”
Get full text

Coverage testing of Java programs and components by 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…”
Get full text

A program for statistic test of community evenness by 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…”
Get full text

Exploration of Compact Sequence Diagram Using Hyperlink by 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…”
Get full text

Proposed Structural Validation-based Testing for Object-Oriented Programming by 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…”
Get full text

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

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

Infusing Topic Modeling into Interactive Program Comprehension: An Empirical Study by Tianxia Wang, Yan Liu

“…Automatic and semi-automatic approaches supporting program comprehension are sought by researchers and practitioners to facilitate software engineering tasks,…”
Get full text