Treffer 1 - 20 von 255

1

Software reliability: a preliminary handbook / Rodger Knaus, Hamid Aougab, Naim Bentahar.
Knaus, Rodger

Computer software -- Rel... Computer software -- Ver... Computer software -- Val... Highway engineering.
Buch
Merkliste
2

Software testing, verification & reliability.

Computer software Period... Computer software Period... Computer software Period... Logiciels Périodiques.... Logiciels Périodiques.... Logiciels Périodiques....
Merkliste
3

A theory of (linear-time) timed monitors
Amara, Mouloud ; Bernardi, Giovanni ; Aristide Foughali, Mohammed ; et al.

Computer programs -- Ver... Logic Symbolic and mathematica... Parallel programming (Co... Computer software -- Ver... Real-time data processin...
Konferenz
Merkliste
4

Grits : a message-passing programming language based on the semi-axiomatic sequent calculus
Francalanza, Adrian ; Tabone, Gerard ; Pfenning, Frank

Programming languages (E... Computer software -- Ver... Parallel processing (Ele... Formal methods (Computer... Logic programming
Fachzeitschrift
Merkliste
5

Position: Benchmarking is Broken - Don't Let AI Be Its Own Judge
Cheng, Zerui ; Wohnig, Stella ; Gupta, Ruchika ; et al.
Computer Science Faculty Publications

Artificial intelligence-... Artificial intelligence-... Artificial intelligence-... Artificial intelligence-... Artificial intelligence-... Benchmarking (Management...
Report
Merkliste
6

Learning the relation between code features and code transforms with structured prediction
Yu, Zhongxing ; Martínez Martínez, Matías-Sebastián ; Chen, Zimin ; et al.

Àrees temàtiques de la U... Machine learning Computer software -- Ver... Code transform Big code Program repair
Fachzeitschrift
Merkliste
7

An Equivalence Checking Framework for Agile Hardware Design
Wang, Yanzhao ; Xie, Fei ; Yang, Zhenkun ; et al.
Computer Science Faculty Publications and Presentations

Compilers (Computer prog... Computer software -- Ver... Computer Sciences
Fachzeitschrift
Merkliste
8

Improving scalability of exploratory model checking
Boulgakov, Alexandre ; Roscoe, A. W.

005.1 Computer science Formal methods (Computer... Compilers (Computer prog... Bisimulation Computer software--Verif...
Dissertation
Merkliste
9

Concurrent verification for sequential programs
Wickerson, John Peter

004 Computer software--Verif...
Dissertation
Merkliste
10

On benchmarking for concurrent runtime verification ; Fundamental Approaches to Software Engineering. FASE 2021. Lecture Notes in Computer Science, vol 12649
Aceto, Luca ; Attard, Duncan Paul ; Francalanza, Adrian ; et al.

Software engineering Computer software -- Ver... Benchmarking (Management... Computer software -- Eva... Computer multitasking
Konferenz
Merkliste
11

Multimodal large language models for zero-shot real-world classification tasks: benchmark, taxonomy of prompting methods, and application to human-object interaction recognition and detection
Rabadessa Alcaide, Oriol ; Universitat Politècnica de Catalunya. Universitat de Barcelona ; Escalera Guerrero, Sergio

Àrees temàtiques de la U... Natural language process... Benchmarking (Management... Computer software -- Ver... Models Massius de Llengu... Detecció de Interaccions...
Dissertation
Merkliste
12

Hacia una Metodología de Testing Más Eficaz: Análisis y Recomendaciones
Aguilar Goday, Xavier ; Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació ; Mayol Sarroca, Enric ; et al.

Àrees temàtiques de la U... Àrees temàtiques de la U... Computer software -- Ver... Workflow Methods engineering Test
Dissertation
Merkliste
13

Verification of FLAC Mohr-Coulomb model for granular materials under monotonic loading
Lee, Kevin Zeh-Zon. ; Lee, Kevin Zeh-Zon.

Stress-strain curves Com... Strength of materials Ma... Fracture mechanics Mathe... Computer programs Verifi... Granular materials. Strains and stresses.
Merkliste
14

Software requirements elicitation, verification, and documentation : an ontology based approach
Elliott, Robert A. ; Elliott, Robert A.

Requirements engineering... Software documentation M... Ontologies (Information... Computer software Develo... Computer software Verifi... Software engineering.
Merkliste
15

Deductive verification of a Byzantine agreement protocol
Krenický, Roman. ; Krenický, Roman.

Byzantine agreement prot... Byzantine agreement prot... Computer programs Verifi... Computer software Verifi... Logiciels Vérification.... Computer software Verifi...
Merkliste
16

Pushing runtime verification to the limit : may process semantics be with us
Della Monica, Dario ; Francalanza, Adrian ; 1st Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY)

Computer software -- Ver... Computer logic Computer software -- Dev... Software engineering Semantics
Konferenz
Merkliste
17

Software verification tools assessment study

Computer software Verifi... Avionics United States. Avionics. Logiciels Vérification... Avionique. Avionics
Merkliste
18

Software verification tools assessment study

Computer software Verifi... Avionics United States. Avionics. Logiciels Vérification... Avionique. Avionics
Merkliste
19

Enhanced binary moth flame optimization as a feature selection algorithm to predict software fault prediction
Tumar, Iyad ; Hassouneh, Yousef ; Hamza, Turabieh ; et al.

Computer software - Veri... Feature Selection Adaptive sampling (Stati... Algorithms Binary moth flame optimi...
Fachzeitschrift
Merkliste
20

A monitoring tool for linear-time 𝜇HML
Aceto, Luca ; Achilleos, Antonis ; Attard, Duncan Paul ; et al.

Computer software -- Ver... Formal methods (Computer... Linear time variant syst... Calculus -- Computer pro... Computer programming
Fachzeitschrift
Merkliste

Filter