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

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

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

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

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: Normann Decker Julien Signoles Christian Colombo et al.

Contributors: Normann Decker Julien Signoles Christian Colombo 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://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BartocciFBCDHJK19
https://core.ac.uk/display/81185618
https://link.springer.com/content/pdf/10.1007%2Fs10009-017-0454-5.pdf
https://hal-cea.archives-ouvertes.fr/cea-01845191
https://link.springer.com/article/10.1007/s10009-017-0454-5/fulltext.html
https://link.springer.com/article/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

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

Relation: https://zenodo.org/communities/hbrppublication/; https://zenodo.org/records/3733248; oai:zenodo.org:3733248; https://doi.org/10.5281/zenodo.3733248

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

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
https://publications.uni.lu/handle/10993/26424
http://www0.cs.ucl.ac.uk/mutation2012/papers/4670a673.pdf
https://dblp.uni-trier.de/db/conf/icst/icst2012.html#ElrakaibyMT12
https://ieeexplore.ieee.org/document/6200169/
https://orbilu.uni.lu/bitstream/10993/26423/1/Testing%20Obligation%20Policy.pdf
https://orbilu.uni.lu/handle/10993/26424
http://orbilu.uni.lu/handle/10993/26424
http://orbilu.uni.lu/handle/10993/26423

AUTOMATIC SEARCH-BASED TESTING WITH THE REQUIRED K-TUPLES CRITERION

Authors: Sofokleous, Anastasis A. Krokou, Andria Andreou, Andreas S. et al.

Contributors: Sofokleous, Anastasis A. Krokou, Andria Andreou, Andreas S. et al.

Source: Proceedings of the 12th International Conference on Enterprise Information Systems. :250-255

Subject Terms: Test data, Test data generation, Control and data flow graphs, Data flow dependencies, Automatic searches, Data flow, Code coverage, Java programming language, Genetic algorithms, Electrical Engineering - Electronic Engineering - Information Engineering, Automatic testing, Computer software selection and evaluation, Software testing, Control flow graphs, Graphic methods, Information systems, Engineering and Technology, Test case, Required k-tuples, Java program, Data flow analysis

Access URL: https://hdl.handle.net/20.500.14279/4249

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

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

Authors: Galeotti, Juan Pablo Rosner, Nicolas Leandro Lopez Pombo, Carlos Gustavo et al.

Source: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Subject Terms: Software Verification, Java Program Analysis, Alloy, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology

File Description: application/pdf

Access URL: http://hdl.handle.net/11336/15644

A JAVA program for the multivariate Zp and Cp tests and its application

Authors: İlknur Özmen Güvenç Arslan

Source: Journal of Computational and Applied Mathematics. 235:4729-4735

Subject Terms: JAVA program, Zp and Cp test statistics, 4. Education, 0502 economics and business, 05 social sciences, 1. No poverty, Multivariate normality, 0101 mathematics, 01 natural sciences, Simulation

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer

Authors: Christophe Joubert María Alpuente Marco A. Feliú 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)

Access URL: https://core.ac.uk/display/81200746
https://dblp.uni-trier.de/db/journals/entcs/entcs248.html#AlpuenteFJV09
http://www.sciencedirect.com/science/article/pii/S1571066109002825
https://www.sciencedirect.com/science/article/pii/S1571066109002825

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

Coverage testing of Java programs and components

Authors: Márcio Eduardo Delamaro W. E. Wong Auri Marcelo Rizzo Vincenzi 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

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