*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 111

1

Runtime verification on abstract finite state models
Jevitha, K.P. ; Jayaraman, Bharat ; Sethumadhavan, M.
In The Journal of Systems & Software October 2024 216

*Academic Journal*
2

IGAOD: An online design framework for interactive genetic algorithms
DongBo Huang ; Xing Xu
SoftwareX, Vol 19, Iss , Pp 101205- (2022)

Interactive genetic algo... Java program language Algorithm framework Template design pattern Online design Computer software
*Academic Journal*
3

Java를 이용한 빗물 저류조 관리시스템
Rainwater Bank Management System by Using JAVA

김기환 ; 이태구 ; Kee-hwan Kim ; et al.
한국인터넷방송통신학회 논문지, 09/30/2006, Vol. 6, Issue 3, p. 55-60

*Academic Journal*
4

A JAVA program for the multivariate [formula omitted] and [formula omitted] tests and its application
Arslan, Güvenç ; Özmen, İlknur
In Journal of Computational and Applied Mathematics 15 June 2011 235(16):4729-4735

*Academic Journal*
5

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Bartocci, E. ; Falcone, Y. ; Bonakdarpour, B. ; et al.
ISSN: 1433-2779.

Canada Toronto Run-time verification Participating teams Online monitoring Off-line monitoring
*Academic Journal*
6

JSEA: A Program Comprehension Tool Adopting LDA-based Topic Modeling
Tianxia Wang ; Yan Liu

Java program comprehensi... Topic models Interactive tool
*Academic Journal*
7

Java Syntax Error Repair Using RoBERTa
Xiang, Ziyi

Java program repair RoBERTa Neural machine translati... Reparation av Java­progr... Neural maskinöversättnin... Computer Sciences
*Dissertation/ Thesis*
8

A study of Fire Alarm Systems in applying infrared thermometer sensors and cameras ; Nghiên cứu hệ thống báo cháy ứng dụng cảm biến nhiệt hồng ngoại và camera
Vu Van Thanh*
The University of Danang - Journal of Science and Technology; 1(98).2016; 65-68 ; Tạp chí Khoa học và Công nghệ - Đại học Đà Nẵng; 1(98).2016; 65-68 ; 1859-1531

FIR sensor PIC16F877A Fire alarm Java program Servo motor Cảm biến nhiệt hồng ngoạ...
*Academic Journal*
9

A program for statistic test of community evenness
WenJun Zhang ; Hao Zheng
Computational Ecology and Software, Vol 2, Iss 1, Pp 80-82 (2012)

Ewens-Caswell neutrality... community evenness statistic test Java program Technology (General)
*Academic Journal*
10

Integrating interaction resources in the graphics clusters
La Marca, Anthony Ferreira ; Dias, Diego Roberto Colombo ; Ricci, Caio Cesar Pires ; et al.

LIBRAS Multi-view Virtual humans 3D graphics Basic concepts Java program
*Conference*
11

A Java program to test homogeneity of samples and examine sampling completeness
WenJun Zhang
Network Biology, Vol 1, Iss 2, Pp 127-129 (2011)

sample homogeneity sampling completeness statistic test Java program Biology (General) QH301-705.5
*Academic Journal*
12

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Alpuente, M. ; Feliú, M.A. ; Joubert, C. ; et al.
In Electronic Notes in Theoretical Computer Science 5 August 2009 248:57-66

*Academic Journal*
13

Automatic Construction of Java Programs from Functional Program Specifications
Md. Humayun Kabir

Functional Program Speci... Existential Theorems Higher Order Functional... Mapping Rules Programming Language Tra... Java Program
*Academic Journal*
14

STATIC ANALYSIS OF SOURCE CODE MODELED FOR JAVA-PROGRAMS CONTAINING APPLICATIONS WITH ANDROID SECURITY ; Cтатистический анализ исходного кодо смоделированный для java-программ содержащих приложения с безопасностью android ; Cтатистичний аналіз вихідного коду змодельований для java-програм, які містять додатки з безпекою Android
Melnyk, Vasyl ; Melnyk, Katerina ; Zhyharevych, Oksana
Proceedings of National Aviation University; Vol. 63 No. 2 (2015); 46-53 ; Успехи авиакосмической техники; Том 63 № 2 (2015); 46-53 ; Вісник Національного авіаційного університету; Том 63 № 2 (2015); 46-53

Android security Java-program static analysis static model theory program code 004.056.52/004.432(045)
*Academic Journal*
15

The Application of Computer Programming in Transformer Design
James Tola, Omokhafe ; Garba Ambafi, James ; Yahaya Enesi, Asizehi ; et al.
AU Journal of Technology; Vol. 16 No. 4 (2013): April 2013 ; 1513-0886

Computer-aided design three-phase transformer core type graphical user interface Java program
*Academic Journal*
16

Feed resources, livestock production and soil carbon dynamics in Teghane, Northern Highlands of Ethiopia
Abegaz, Assefa ; van Keulen, Herman ; Oosting, Simon J.
In Agricultural Systems 2007 94(2):391-404

*Academic Journal*
17

Author(s) Defining Datalog in Rewriting Logic ⋆
Author(s) M. Alpuente ; M. A. Feliu ; C. Joubert ; et al.
http://www.dsic.upv.es/~joubert/publications/Alpuente-Feliu-Joubert-Villanueva-09-d.pdf.

Datalog rewriting logic Maude JAVA program analysis V...
*Academic Journal*
18

Feature-level Phase Detection for Execution Trace Using Object Cache
Yui Watanabe ; Takashi Ishio ; Katsuro Inoue ; et al.
http://iip-lab.ics.es.osaka-u.ac.jp/~lab-db/betuzuri/archive/707/707.pdf.

Categories and Subject D... Testing and Debugging— D... Tracing General Terms Al... Experimentation Keywords... dynamic analysis execution trace
*Academic Journal*
19

Data structure visualization with LaTeX and Prefuse
Ali Erkan ; T. J. Vanslyke ; Timothy M. Scaffidi ; et al.
https://sjsu-cs.trac.cvsdude.com/lpp2007/raw-attachment/wiki/SeanSharmasWeeklyReport/c.pdf.

Algorithms experimentation. Keyword... visualization Java program- ming LATEX Prefuse
*Academic Journal*
20

Intellectual Algorithm Implementation for Megacity Traffic Management
Nikolyuk, Peter ; Neskorodieva, Tatiana ; Fedorov, Eugene ; et al.

oriented multigraph GPS navigation A-star algorithm optimal route Java program intelligent traffic
*Academic Journal*

*Filter*