Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  1,212 results for ""verification""

Your Filters

Collection : Universite Grenoble Alpes
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

In-depth analysis of Kubernetes manifest verification tools for robust CNF deployment

Subjects: Kubernetes; manifests verification; verification toolsParis; France

  • Source: ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks ; https://inria.hal.science/hal-04421758 ; ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024,

Record details

Read More Add to Saved list
×
Academic Journal

Abstract Interpreters: A Monadic Approach to Modular Verification ; Une approche monadique pour la vérification modulaire des interpréteurs abstraits

Subjects: Abstract Interpretation; Monadic Semantics; Formal Verification

  • Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-04628727 ; Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.1-28.

Record details

Read More Add to Saved list
×
Academic Journal

Compositional verification of priority systems using sharp bisimulation

Subjects: Concurrency; Congruence; Enumerative verification

  • Source: ISSN: 0925-9856.

Record details

Read More Add to Saved list
×
Conference

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (invited)

Subjects: Verification challenge; industrial use case; end-to-end latencyVienne; Austria

  • Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 35th Euromicro Conference on Real-Time Systems (ECRTS 2023) ; https://hal.science/hal-04654624 ; 35th Euromicro Conference on Real-Time

Record details

Read More Add to Saved list
×
Academic Journal

Prompt Gamma Energy Integration : a new method for online-range verification in proton therapy with pulsed-beams

Subjects: Prompt-gamma; particle therapy; range verification

  • Source: ISSN: 2296-424X ; Frontiers in Physics ; https://hal.science/hal-04589792 ; Frontiers in Physics, 2024, 12, pp.1371015. ⟨10.3389/fphy.2024.1371015⟩ ;

Record details

Read More Add to Saved list
×
Book

Déboguage, vérification et certification de code

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

  • Source: Le calcul à découvert ; https://hal.science/hal-04935578 ; Mokrane Bouzeghoub; Michel Daydé; Christian Jutten. Le calcul à découvert, CNRS Éditions, 2025, 978-2-271-15373-9

Record details

Read More Add to Saved list
×
Conference

Functional Verification Strategy for an Open-Source High-Performance L1 Data-Cache for RISC-V cores

Subjects: Open-source hardware; Verification; [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]SpainBarcelona, Spain

  • Source: RISC-V Summit 2023 ; https://hal.science/hal-04392800 ; RISC-V Summit 2023, Jun 2023, Barcelona, Spain

Record details

Read More Add to Saved list
×
Academic Journal

Verification of component-based systems with recursive architectures

Subjects: Resource Logic Component-based Distributed Systems Parameterized Verification; Resource Logic; Component-based Distributed Systems

  • Source: ISSN: 1879-2294.

Record details

Read More Add to Saved list
×
Academic Journal

Subscripto multiplex: A Riemannian symmetric positive definite strategy for offline signature verification

Subjects: Gaussian distribution; Riemannian geometry; positive-definite matrix

  • Source: ISSN: 0167-8655 ; Pattern Recognition Letters ; https://hal.science/hal-04270494 ; Pattern Recognition Letters, 2023, 167, pp.67-74. ⟨10.1016/j.patrec.2023.02.002⟩.

Record details

Read More Add to Saved list
×
Academic Journal

Verification of component-based systems with recursive architectures

Subjects: Resource Logic; Component-based Distributed Systems; Parameterized Verification

  • Source: ISSN: 0304-3975.

Record details

Read More Add to Saved list
×
  • 1-10 of  1,212 results for ""verification""