Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer 1 - 20 von 153

1

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

Fachzeitschrift
Zu den Favoriten
2

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Bartocci, E. ; Falcone, Y. ; Bonakdarpour, B. ; et al.
International Journal on Software Tools for Technology Transfer. 21:31-70

Canada Toronto Run-time verification Participating teams Online monitoring Off-line monitoring
Zeitschrift
Zu den Favoriten
3

Novel Approach to Abstract the Data Flow Diagram from Java Application Program
Kulkarni, R. N. ; Prasad, P. Pani Rama
International Journal of Intelligent Systems and Applications in Engineering; Vol. 11 No. 3 (2023); 394-404

Restructuring data store data flow entity process java program
Fachzeitschrift
Zu den Favoriten
4

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
Fachzeitschrift
Zu den Favoriten
5

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

мова програмування Java... база даних zasosunok interface Android OS Xml
Fachzeitschrift
Zu den Favoriten
6

ANALYSIS OF A SEQUENTIAL JAVA CODE FOR AUTOMATICPARALLELIZATION IN DISTRIBUTED NETWORKS FOR HIGH PERFORMANCE COMPUTING –A RUNTIME APPROACH
Ms. Sonam Shaikh ; Prof. Mr.Anil Patil
International Journal of Innovations in Engineering Research and Technology; 2018: NITET; 1-1 ; 2394-3696

Distributed computing Automatic parallelizatio... Parallel programming Java program execution
Fachzeitschrift
Zu den Favoriten
7

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

A-star algorithm optimal route oriented multigraph intelligent traffic GPS navigation Java program
Fachzeitschrift
Zu den Favoriten
8

Circuited Mouse with File Transfer Facility using Embedded and Network Technology
V. Sai Lahari ; R. Swathi ; D. Chithra

GL850G, mounting storage...
Fachzeitschrift
Zu den Favoriten
9

A completion algorithm for lattice tree automata
Genet, Thomas ; Le Gall, Tristan ; Legay, Axel ; et al.
CIAA 2013 - 18th International Conference on Implementation and Application of Automata. :134-145

Halifax, NS, Canada Robots Abstract domains Completion algorithms Extended versions Infinite state systems
Konferenz
Zu den Favoriten
10

Testing Obligation Policy Enforcement Using Mutation Analysis
Elrakaiby, Yehia ; Mouelhi, Tejeddine ; Le Traon, Yves
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).

Mutation process Computer science [C05] [... Access control policies Minimal errors Java programming languag... Mutation operators
Fachzeitschrift
Zu den Favoriten
11

AUTOMATIC SEARCH-BASED TESTING WITH THE REQUIRED K-TUPLES CRITERION
Sofokleous, Anastasis A. ; Krokou, Andria ; Andreou, Andreas S. ; et al.
Proceedings of the 12th International Conference on Enterprise Information Systems. :250-255

Test data Test data generation Control and data flow gr... Data flow dependencies Automatic searches Data flow
Fachzeitschrift
Zu den Favoriten
12

A Formal Model for Multi SPLs
DAMIANI, Ferruccio ; LIENHARDT, Michael ; PAOLINI, LUCA LUIGI ; et al.

Analysis techniques Compositional analysis Core calculus Formal model Java program Modular approach
Konferenz
Zu den Favoriten
13

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
Galeotti, Juan Pablo ; Rosner, Nicolas Leandro ; Lopez Pombo, Carlos Gustavo ; et al.
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Software Verification Java Program Analysis Alloy 0202 electrical engineer... Software Engineering 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
14

A JAVA program for the multivariate Zp and Cp tests and its application
İlknur Özmen ; Güvenç Arslan
Journal of Computational and Applied Mathematics. 235:4729-4735

JAVA program Zp and Cp test statistic... 4. Education 0502 economics and busin... 05 social sciences 1. No poverty
Fachzeitschrift
Zu den Favoriten
15

Conditional Allele Mouse Planner (CAMP): software to facilitate the planning and design of breeding strategies involving mice with conditional alleles
HOFFERT, Jason D ; PISITKUN, Trairak ; LANCE MILLER, R
Transgenic research. 21(3):665-669

Agronomy, agriculture, p... Agronomie, agriculture,... Biotechnology Biotechnologies Sciences biologiques et... Biological and medical s...
Fachzeitschrift
Zu den Favoriten
16

ANALYSIS OF A SEQUENTIAL JAVA CODE FOR AUTOMATIC PARALLELIZATION IN DISTRIBUTED NETWORKS FOR HIGH PERFORMANCE COMPUTING –A RUNTIME APPROACH
MS. SONAM SHAIKH ; PROF. MR.ANIL PATIL

Load balancing Network monitoring Distributed computing Automatic parallelizatio... Parallel programming High performance computi...
Fachzeitschrift
Zu den Favoriten
17

Analysis of A Sequential Java Code for Automaticparallelization in Distributed Networks for High Performance Computing –A Runtime Approach
Shaikh, M. S. (Ms) ; Patil, P. M. (Prof)
International Journal of Innovations in Engineering Research and Technology

Distributed computing Automatic parallelizatio... Parallel programming Java program execution Indonesia
Fachzeitschrift
Zu den Favoriten
18

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Christophe Joubert ; María Alpuente ; Marco A. Feliú ; et al.
Electronic Notes in Theoretical Computer Science. 248:57-66

Datalog Java program analysis 0202 electrical engineer... demand-driven evaluation 0102 computer and inform... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
19

Coverage testing of Java programs and components
Márcio Eduardo Delamaro ; W. E. Wong ; Auri Marcelo Rizzo Vincenzi ; et al.
Science of Computer Programming. 56:211-230

Java component testing Data-flow testing Structural testing Java bytecode Theory of programming la... 0202 electrical engineer...
Fachzeitschrift
Zu den Favoriten
20

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

Java program comprehensi... Topic models Interactive tool
Fachzeitschrift
Zu den Favoriten

Filter