Výsledky vyhledávání - "Java program"

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

Autoři: Güvenç Arslan Ilknur Özmen

Zdroj: Journal of Computational and Applied Mathematics. (16):4729-4735

Témata: JAVA program, Zp and Cp test statistics, Multivariate normality, Simulation

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

Autoři: Kulkarni, R. N. Prasad, P. Pani Rama

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

Témata: Restructuring, data store, data flow, entity, process, java program, DFD

Popis souboru: application/pdf

Přístupová URL adresa: https://www.ijisae.org/index.php/IJISAE/article/view/3180

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Autoři: Artho, Cyrille Visser, W.

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

Témata: Java Pathfinder, Java program analysis, Software model checking

Popis souboru: print

Přístupová URL adresa: 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

Autoři: DongBo Huang Xing Xu

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

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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/259ebac7d5224e4eae96d5c47a721723

Development and Acceptability of Project S.M.A.R.T. (School Map Accessibility and Roster Technology)

Autoři: Roi Francisco

Témata: JAVA PROGRAM, DIGITAL SCHOOL MAP, ACCESSIBILITY

Developing mobile software for foreign language learning

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

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

Popis souboru: application/pdf

Přístupová URL adresa: http://bulletin.khadi.kharkov.ua/article/view/245770

Intellectual Algorithm Implementation for Megacity Traffic Management

Autoři: Nikolyuk, Peter Neskorodieva, Tatiana Fedorov, Eugene a další

Témata: A-star algorithm, optimal route, oriented multigraph, intelligent traffic, GPS navigation, Java program

Popis souboru: application/pdf

Přístupová URL adresa: https://ceur-ws.org/Vol-2845/Paper_37.pdf
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

Autoři: Ezio Bartocci Yliès Falcone Borzoo Bonakdarpour a další

Přispěvatelé: Ezio Bartocci Yliès Falcone Borzoo Bonakdarpour a další

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

Témata: 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

Popis souboru: application/pdf; application/application/pdf

Přístupová URL adresa: 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://www.scopus.com/pages/publications/85017167481
https://research.manchester.ac.uk/en/publications/f0f4991b-8726-47b4-b9db-8744012171a5
https://doi.org/10.1007/s10009-017-0454-5
http://hdl.handle.net/20.500.11850/130444

Testing Obligation Policy Enforcement Using Mutation Analysis

Autoři: Yehia Elrakaiby Tejeddine Mouelhi Yves Le Traon

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

Témata: 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

Přístupová URL adresa: 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

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

Autoři: Sofokleous, Anastasis A. Krokou, Andria Andreou, Andreas S. a další

Přispěvatelé: Sofokleous, Anastasis A. Krokou, Andria Andreou, Andreas S. a další

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

Témata: 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

Přístupová URL adresa: https://hdl.handle.net/20.500.14279/4249

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer

Autoři: María Alpuente Marco A. Feliú Christophe Joubert a další

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

Témata: 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)

Circuited Mouse with File Transfer Facility using Embedded and Network Technology

Autoři: V. Sai Lahari R. Swathi D. Chithra

Témata: GL850G, mounting storage chip,storage 2 GB, java program to copy paste

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

Autoři: Juan P. Galeotti Nicolás Rosner Carlos Gustavo López Pombo a další

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

Témata: Software Verification, Java Program Analysis, Alloy, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/11336/15644

Coverage testing of Java programs and components

Autoři: Auri Marcelo Rizzo Vincenzi José Carlos Maldonado W. Eric Wong a další

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

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/2191407
https://doi.org/10.1016/j.scico.2004.11.013

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

Autoři: Tianxia Wang Yan Liu

Témata: Java program comprehension, Topic models, Interactive tool

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

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

A Formal Model for Multi SPLs

Autoři: DAMIANI, Ferruccio LIENHARDT, Michael PAOLINI, LUCA LUIGI a další

Přispěvatelé: DAMIANI, Ferruccio LIENHARDT, Michael PAOLINI, LUCA LUIGI a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319689715

Témata: Analysis techniques, Compositional analysis, Core calculus, Formal model, Java program, Modular approach, Software product lines, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01760853/file/459025_1_En_5_Chapter.pdf
https://inria.hal.science/hal-01760853v1/document
https://doi.org/10.1007/978-3-319-68972-2_5
https://inria.hal.science/hal-01760853v1
https://link.springer.com/chapter/10.1007/978-3-319-68972-2_5
https://hdl.handle.net/2318/79965
https://doi.org/10.1007/978-3-319-68972-2_5

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

Autoři: Marchand, Richard Charbonneau-Lefort, Mathieu Dumberry, Mathieu a další

Zdroj: Computer Physics Communications. 139:172-185

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1683805
https://doi.org/10.1016/s0010-4655(01)00187-4

Java Syntax Error Repair Using RoBERTa

Autoři: Xiang, Ziyi

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

Popis souboru: application/pdf

Relation: TRITA-EECS-EX ; 2022:64

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

A structured approach for developing concurrent programs in Java

Autoři: Masaaki Mizuno

Zdroj: Information Processing Letters. 69:233-238

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1281142
https://doi.org/10.1016/s0020-0190(99)00020-4

Analysis Of A Sequential Java Code For Automatic Parallelization In Distributed Networks For High Performance Computing –A Runtime Approach

Autoři: MS. SONAM SHAIKH PROF. MR.ANIL PATIL

Témata: Network monitoring, Automatic parallelization, Parallel programming, High performance computing, Java program execution, Code distribution, Load balancing, Distributed computing