Suchergebnisse - "Java program"

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

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

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

Schlagwörter: Restructuring, data store, data flow, entity, process, java program, DFD

Dateibeschreibung: application/pdf

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

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Autoren: Artho, Cyrille Visser, W.

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

Schlagwörter: Java Pathfinder, Java program analysis, Software model checking

Dateibeschreibung: print

Zugangs-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

Autoren: DongBo Huang Xing Xu

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

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

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/259ebac7d5224e4eae96d5c47a721723

Developing mobile software for foreign language learning

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

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

Dateibeschreibung: application/pdf

Zugangs-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

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

Weitere Verfasser: Bartocci, E. Falcone, Y. Bonakdarpour, B. et al.

Quelle: 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)

Schlagwörter: 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

Dateibeschreibung: application/pdf; application/application/pdf

Zugangs-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

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

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

Schlagwörter: Distributed computing, Automatic parallelization, Parallel programming, Java program execution

Dateibeschreibung: application/pdf

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

Verfügbarkeit: https://repo.ijiert.org/index.php/ijiert/article/view/1603

Intellectual Algorithm Implementation for Megacity Traffic Management

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

Schlagwörter: A-star algorithm, optimal route, oriented multigraph, intelligent traffic, GPS navigation, Java program

Dateibeschreibung: application/pdf

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

Circuited Mouse with File Transfer Facility using Embedded and Network Technology

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

Schlagwörter: GL850G, mounting storage chip,storage 2 GB, java program to copy paste

Testing Obligation Policy Enforcement Using Mutation Analysis

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

Quelle: 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).

Schlagwörter: 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

Zugangs-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

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

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

Schlagwörter: Analysis techniques, Compositional analysis, Core calculus, Formal model, Java program, Modular approach, Software product lines

Dateibeschreibung: 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/

Verfügbarkeit: 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

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

Schlagwörter: 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

Verfügbarkeit: 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

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

Quelle: International Journal of Innovations in Engineering Research and Technology

Schlagwörter: Distributed computing, Automatic parallelization, Parallel programming, Java program execution, Indonesia

Dateibeschreibung: application/pdf

Verfügbarkeit: 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

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

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

Schlagwörter: 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

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

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

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

Autoren: Tianxia Wang Yan Liu

Schlagwörter: Java program comprehension, Topic models, Interactive tool

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

Verfügbarkeit: 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

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

Quelle: Computer Physics Communications. 139:172-185

Schlagwörter: 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

Dateibeschreibung: application/xml

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

Java Syntax Error Repair Using RoBERTa

Autoren: Xiang, Ziyi

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

Dateibeschreibung: application/pdf

Relation: TRITA-EECS-EX ; 2022:64

Verfügbarkeit: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-311988

A structured approach for developing concurrent programs in Java

Autoren: Mizuno, Masaaki

Quelle: Information Processing Letters. 69:233-238

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

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

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Vu Van Thanh*

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: https://jst-ud.vn/jst-ud/article/view/3614