Search Results - "java program"

Novel Approach to Abstract the Data Flow Diagram from Java Application Program

Authors: Kulkarni, R. N. Prasad, P. Pani Rama

Source: International Journal of Intelligent Systems and Applications in Engineering; Vol. 11 No. 3 (2023); 394-404

Subject Terms: Restructuring, data store, data flow, entity, process, java program, DFD

File Description: application/pdf

Access URL: https://www.ijisae.org/index.php/IJISAE/article/view/3180

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Authors: Artho, Cyrille Visser, W.

Source: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :224-228

Subject Terms: Java Pathfinder, Java program analysis, Software model checking

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-251826
https://doi.org/10.1007/978-3-030-17502-3_18

IGAOD: An online design framework for interactive genetic algorithms

Authors: DongBo Huang Xing Xu

Source: SoftwareX, Vol 19, Iss , Pp 101205- (2022)

Subject Terms: Interactive genetic algorithm, Java program language, Algorithm framework, Template design pattern, Online design, Computer software, QA76.75-76.765

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711022001236; https://doaj.org/toc/2352-7110

Access URL: https://doaj.org/article/259ebac7d5224e4eae96d5c47a721723

Developing mobile software for foreign language learning

Source: Вісник Харківського національного автомобільно-дорожнього університету; № 94 (2021); 155
Bulletin of Kharkov National Automobile and Highway University; No. 94 (2021); 155
Вестник Харьковского национального автомобильно-дорожного университета; № 94 (2021); 155

Subject Terms: мова програмування Java, база даних, zasosunok, interface, Android OS, Xml, ОС Android, mova Java program, застосунок, database, інтерфейс

File Description: application/pdf

Access URL: http://bulletin.khadi.kharkov.ua/article/view/245770

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014: rules, benchmarks, tools, and final results of CRV 2014

Authors: Bartocci, E. Falcone, Y. Bonakdarpour, B. et al.

Contributors: Bartocci, E. Falcone, Y. Bonakdarpour, B. et al.

Source: Bartocci, E, Falcone, Y, Bonakdarpour, B, Colombo, C, Decker, N, Havelund, K, Joshi, Y, Klaedtke, F, Milewicz, R, Reger, G, Rosu, G, Signoles, J, Thoma, D, Zalinescu, E & Zhang, Y 2017, 'First international Competition on Runtime Verification : rules, benchmarks, tools, and final results of CRV 2014', International Journal on Software Tools for Technology Transfer, pp. 1-40. https://doi.org/10.1007/s10009-017-0454-5
International Journal on Software Tools for Technology Transfer, 21 (1)

Subject Terms: Computer software -- Security measures, Off-line monitoring, Canada, Online monitoring, International competitions, Monitoring, Participating teams, Runtime Verification, 02 engineering and technology, [INFO] Computer Science [cs], Computer software -- Verification, Run-time verification, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Computer software, Software engineering, C programs, Competition, Benchmarks, Verification, Toronto, Benchmarking, Software competition, Partial discharges, C (programming language), Software, Java program, Information Systems

File Description: application/pdf; application/application/pdf

Access URL: https://link.springer.com/content/pdf/10.1007%2Fs10009-017-0454-5.pdf
https://research.manchester.ac.uk/en/publications/f0f4991b-8726-47b4-b9db-8744012171a5
https://doi.org/10.1007/s10009-017-0454-5
https://cea.hal.science/cea-01845191v1/document
https://doi.org/10.1007/s10009-017-0454-5
https://cea.hal.science/cea-01845191v1
https://www.um.edu.mt/library/oar/handle/123456789/91306
https://research.manchester.ac.uk/en/publications/f0f4991b-8726-47b4-b9db-8744012171a5
https://doi.org/10.1007/s10009-017-0454-5
http://www.scopus.com/inward/record.url?scp=85017167481&partnerID=8YFLogxK
http://hdl.handle.net/20.500.11850/130444

ANALYSIS OF A SEQUENTIAL JAVA CODE FOR AUTOMATICPARALLELIZATION IN DISTRIBUTED NETWORKS FOR HIGH PERFORMANCE COMPUTING –A RUNTIME APPROACH

Authors: Ms. Sonam Shaikh Prof. Mr.Anil Patil

Source: International Journal of Innovations in Engineering Research and Technology; 2018: NITET; 1-1 ; 2394-3696

Subject Terms: Distributed computing, Automatic parallelization, Parallel programming, Java program execution

File Description: application/pdf

Relation: https://repo.ijiert.org/index.php/ijiert/article/view/1603/1512; https://repo.ijiert.org/index.php/ijiert/article/view/1603

Availability: https://repo.ijiert.org/index.php/ijiert/article/view/1603

Intellectual Algorithm Implementation for Megacity Traffic Management

Authors: Nikolyuk, Peter Neskorodieva, Tatiana Fedorov, Eugene et al.

Subject Terms: A-star algorithm, optimal route, oriented multigraph, intelligent traffic, GPS navigation, Java program

File Description: application/pdf

Access URL: https://er.chdtu.edu.ua/handle/ChSTU/3459

Circuited Mouse with File Transfer Facility using Embedded and Network Technology

Authors: V. Sai Lahari R. Swathi D. Chithra

Subject Terms: GL850G, mounting storage chip,storage 2 GB, java program to copy paste

Testing Obligation Policy Enforcement Using Mutation Analysis

Authors: Elrakaiby, Yehia Mouelhi, Tejeddine Le Traon, Yves

Source: Proceedings of the 7th International Workshop on Mutation Analysis (associated to the Fifth International Conference on Software Testing, Verification, and Validation, ICST 2012), 100-110. (2012).
Proceedings-IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012, 673-680. (2012).

Subject Terms: Mutation process, Computer science [C05] [Engineering, computing & technology], Access control policies, Minimal errors, Java programming language, Mutation operators, 02 engineering and technology, Policy enforcement, Usage control, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Software testing, Mutation analysis, Policy management, 0202 electrical engineering, electronic engineering, information engineering, Access control, Application codes, Test selection, Test case, Key elements, Java program

Access URL: https://orbilu.uni.lu/bitstream/10993/26423/1/Testing%20Obligation%20Policy.pdf
http://orbilu.uni.lu/handle/10993/26424
http://orbilu.uni.lu/handle/10993/26423

A Formal Model for Multi SPLs

Authors: DAMIANI, Ferruccio LIENHARDT, Michael PAOLINI, LUCA LUIGI et al.

Contributors: DAMIANI, Ferruccio LIENHARDT, Michael PAOLINI, LUCA LUIGI et al.

Subject Terms: Analysis techniques, Compositional analysis, Core calculus, Formal model, Java program, Modular approach, Software product lines

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-68972-2; info:eu-repo/semantics/altIdentifier/isbn/9783319689715; info:eu-repo/semantics/altIdentifier/wos/WOS:000452447400005; ispartofbook:Fundamentals of Software Engineering. FSEN 2017; 7th International Conference on Fundamentals of Software Engineering, FSEN 2017; volume:10522; firstpage:67; lastpage:83; numberofpages:17; serie:LECTURE NOTES IN COMPUTER SCIENCE; info:eu-repo/grantAgreement/EC/H2020/644298; alleditors:Farhad Arbab, Hamid Sarbazi-azad; http://hdl.handle.net/2318/79965; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85032872393; https://link.springer.com/chapter/10.1007%2F978-3-319-68972-2_5; http://springerlink.com/content/0302-9743/copyright/2005/

Availability: http://hdl.handle.net/2318/79965
https://doi.org/10.1007/978-3-319-68972-2_5
https://link.springer.com/chapter/10.1007%2F978-3-319-68972-2_5
http://springerlink.com/content/0302-9743/copyright/2005/

ANALYSIS OF A SEQUENTIAL JAVA CODE FOR AUTOMATIC PARALLELIZATION IN DISTRIBUTED NETWORKS FOR HIGH PERFORMANCE COMPUTING –A RUNTIME APPROACH

Authors: MS. SONAM SHAIKH PROF. MR.ANIL PATIL

Subject Terms: Load balancing, Network monitoring, Distributed computing, Automatic parallelization, Parallel programming, High performance computing, Java program execution, Code distribution

Relation: https://zenodo.org/communities/ijiert/; https://zenodo.org/records/1451356; oai:zenodo.org:1451356; https://doi.org/10.5281/zenodo.1451356

Availability: https://doi.org/10.5281/zenodo.1451356
https://zenodo.org/records/1451356

Analysis of A Sequential Java Code for Automaticparallelization in Distributed Networks for High Performance Computing –A Runtime Approach

Authors: Shaikh, M. S. (Ms) Patil, P. M. (Prof)

Source: International Journal of Innovations in Engineering Research and Technology

Subject Terms: Distributed computing, Automatic parallelization, Parallel programming, Java program execution, Indonesia

File Description: application/pdf

Availability: https://www.neliti.com/publications/428024/analysis-of-a-sequential-java-code-for-automaticparallelization-in-distributed-n

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer

Authors: Alpuente, M. Feliú, M.A. Joubert, C. et al.

Source: Electronic Notes in Theoretical Computer Science. 248:57-66

Subject Terms: Datalog, Java program analysis, 0202 electrical engineering, electronic engineering, information engineering, demand-driven evaluation, 0102 computer and information sciences, 02 engineering and technology, boolean equation system, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Coverage testing of Java programs and components

Authors: Vincenzi, A.M.R. Maldonado, J.C. Wong, W.E. et al.

Source: Science of Computer Programming. 56:211-230

Subject Terms: Java component testing, Data-flow testing, Structural testing, Java bytecode, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Java program testing, Software, Control-flow testing

File Description: application/xml

Access URL: https://zbmath.org/2191407
https://doi.org/10.1016/j.scico.2004.11.013

JSEA: A Program Comprehension Tool Adopting LDA-based Topic Modeling

Authors: Tianxia Wang Yan Liu

Subject Terms: Java program comprehension, Topic models, Interactive tool

Relation: http://dx.doi.org/10.14569/IJACSA.2017.080359

Availability: https://doi.org/10.14569/IJACSA.2017.080359

ARANEA, a program for generating unstructured triangular meshes with a JAVA Graphics User Interface: ARANEA, a program for generating unstructured triangular meshes with a JAVA graphics user interface

Authors: Marchand, Richard Charbonneau-Lefort, Mathieu Dumberry, Mathieu et al.

Source: Computer Physics Communications. 139:172-185

Subject Terms: JAVA program, triangular mesh, Numerical aspects of computer graphics, image analysis, and computational geometry, graphics user interface, 0103 physical sciences, ARANEA, 0101 mathematics, Mesh generation, refinement, and adaptive methods for boundary value problems involving PDEs, 01 natural sciences, Software, source code, etc. for problems pertaining to geometry, unstructured mesh generation

File Description: application/xml

Access URL: https://zbmath.org/1683805
https://doi.org/10.1016/s0010-4655(01)00187-4

Java Syntax Error Repair Using RoBERTa

Authors: Xiang, Ziyi

Subject Terms: Java program repair, RoBERTa, Neural machine translation architecture, Reparation av Java­program, Neural maskinöversättningsarkitektu, Computer Sciences, Datavetenskap (datalogi)

File Description: application/pdf

Relation: TRITA-EECS-EX ; 2022:64

Availability: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-311988

A structured approach for developing concurrent programs in Java

Authors: Mizuno, Masaaki

Source: Information Processing Letters. 69:233-238

Subject Terms: Java multi-threaded programming, coarse-grained solution, Theory of programming languages, Concurrency, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Global invariant, Java, fine-grained Java program

File Description: application/xml

Access URL: https://zbmath.org/1281142
https://doi.org/10.1016/s0020-0190(99)00020-4

A Study of Fire Alarm Systems in Applying Infrared Thermometer Sensors and Cameras

Authors: Thanh*, V. V. (Vu)

Source: The University of Danang - Journal of Science and Technology

Subject Terms: báo cháy, lập trình Java, động cơ Servo, FIR sensor, Indonesia, PIC16F877A, Fire alarm, Java program, Servo motor, Cảm biến nhiệt hồng ngoại

File Description: application/pdf

Relation: https://www.neliti.com/publications/452781/a-study-of-fire-alarm-systems-in-applying-infrared-thermometer-sensors-and-camer

Availability: https://www.neliti.com/publications/452781/a-study-of-fire-alarm-systems-in-applying-infrared-thermometer-sensors-and-camer

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

Authors: Vu Van Thanh*

Source: 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

Subject Terms: FIR sensor, PIC16F877A, Fire alarm, Java program, Servo motor, Cảm biến nhiệt hồng ngoại, báo cháy, lập trình Java, động cơ Servo

File Description: application/pdf

Relation: https://jst-ud.vn/jst-ud/article/view/3614/3614

Availability: https://jst-ud.vn/jst-ud/article/view/3614