Výsledky vyhledávání - architecture verification and validation

Validation of Muscle Fiber Architecture of the Human Tongue Revealed by Diffusion Magnetic Resonance Imaging with Histology Verification

Autoři: Liang, Xiao Elsaid, Nahla M. H. Jiang, Li a další

Zdroj: Journal of Speech, Language, and Hearing Research. Oct 2022 65(10):3661-3673.

Peer Reviewed: Y

Page Count: 13

Sponsoring Agency: National Institute on Deafness and Other Communication Disorders (NIDCD) (DHHS/NIH)

Descriptors: Human Body, Motor Reactions, Diagnostic Tests, Visual Aids, Anatomy, Visualization

PERFORMING VERIFICATION AND VALIDATION ACTIVITIES IN A MODEL‐BASED ENVIRONMENT.

Autoři: Mulholland, Rebecca Bentley, Cameron Williams, Jeffrey

Zdroj: Incose International Symposium; Jul2025, Vol. 35 Issue 1, p1912-1939, 28p

Témata: SYSTEMS engineering, SYSTEMS development, STAKEHOLDER analysis, MODEL validation, ENGINEERING inspection, MODEL-driven software architecture

A federated learning approach to smart advertising

Autoři: Seyghaly, Rasool

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: García Almiñana, Jordi, Masip Bruin, Xavier

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Federated Learning (FL), Edge Computing, Smart Advertising, Privacy-Preserving Machine Learning, Personalized Ads, Whale Optimization Algorithm (WOA), Meta-Heuristic Aggregation, User Engagement, Click-Through Rate (CTR), Scalability in AI Systems, Indoor Positioning Systems, Real-Time Data Processing, Model Verification and Validation, GDPR & CCPA Compliance, Formal Verification in AI Systems, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/694786
https://dx.doi.org/10.5821/dissertation-2117-433346

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems

Autoři: Sirjani, Marjan Provenzano, Luciana Asadollah, Sara a další

Zdroj: Journal of Internet Services and Applications. 12(1)

Témata: Cyber-physical systems, Model checking, Model driven development, Requirements, Safety-critical systems, Verification & validation, Complex networks, Computer software, Cyber Physical System, Embedded systems, Formal verification, Iterative methods, Modeling languages, Safety engineering, Software design, Effectiveness and efficiencies, Engineering methodology, Executable codes, Iterative development, Model driven approach, System architecture design, Timing constraints

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-54339
https://doi.org/10.1186/s13174-021-00132-z

Computer Aided Verification

Přispěvatelé: Enea, Constantin Lal, Akash

Témata: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, embedded systems, model checking, programming languages, software architecture, software design, software quality, logic and verification

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/75410

Advancement in Space Deployable Habitat Verification, Validation, and Certification

Autoři: Morgan, Matthew Licavoli, Elizabeth Kirwan, James a další

Témata: Space Habitat Certification, Deployable Habitat Architecture, Ultimate Burst Pressure, Accelerated Systematic Creep, Presentations

URL: https://hdl.handle.net/2346/98965

Computer Aided Verification

Přispěvatelé: Shoham, Sharon Vizel, Yakir

Témata: architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, computer systems, distributed computer systems, distributed systems, embedded systems, formal logic, mathematics, model checking, programming languages, software architecture, software design, software engineering, software quality, theoretical computer science, verification, verification and validation, Software Engineering, Artificial intelligence, Algorithms and data structures, Computer networking and communications

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/57930

EAST-ADL : An Architecture-centric Approach to the Design, Analysis, Verification and Validation of Complex Embedded Systems

Autoři: Chen, DeJiu

Témata: Embedded Systems, Inbäddad systemteknik, Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-114262
Architecture-Driven Semantic Analysis of Embedded Systems, Dagstuhl Reports, Vol. 2, Issue 7, p. 34-34

An architectural approach to the analysis, verification and validation of software intensive embedded systems

Autoři: Chen, DeJiu Feng, Lei Naseer Qureshi, Tahir a další

Zdroj: MAENAD (EU FP7, Grant 260057), DFEA2020 (VINNOVA, Grant ), and MBAT (ARTEMIS-JU, Grant 269335). Computing. 95(8):649-688

Témata: EAST-ADL, Embedded system (ES), Model-based development (MBD), Architecture description language (ADL), Analytical modeling, Model transformation, Model checking, AUTOSAR, ISO26262

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-119864

Formal Methods

Přispěvatelé: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a další

Témata: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/93255

Computer Aided Verification

Přispěvatelé: Lahiri, Shuvendu K. Wang, Chao

Témata: Software Engineering, Theory of Computation, Artificial Intelligence, Computer Systems Organization and Communication Networks, Computer Hardware, Simulation and Modeling, Computer Engineering and Networks, Computer Science, architecture verification and validation, artificial intelligence, automata theory, computer systems, correlation analysis, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, model checking, programming languages, semantics, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Artificial intelligence, Computer networking & communications, Computer hardware, Computer modelling & simulation, Computer networking and communications, Computer modelling and simulation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/41296

Smart hardware designs for probabilistically-analyzable processor architectures

Autoři: Benedicte Illescas, Pedro

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Cazorla Almeida, Francisco Javier, Labarta Mancho, Jesús José

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Àrees temàtiques de la UPC::Informàtica

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/674151
https://dx.doi.org/10.5821/dissertation-2117-366909

Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations.

Autoři: Baouya, Abdelhakim Hamid, Brahim Mohamed, Otmane Ait a další

Zdroj: Ad Hoc Networks. Apr2025, Vol. 170, pN.PAG-N.PAG. 1p.

Témata: Probabilistic automata, System failures, Decision trees, Drone aircraft, Environmental infrastructure

Non-functional considerations of time-randomized processor architectures

Autoři: Trilla Rodríguez, David

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Abella Ferrer, Jaume, Hernández Luz, Carles

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Àrees temàtiques de la UPC::Informàtica

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/670903
https://dx.doi.org/10.5821/dissertation-2117-340979

Effective ethernet controller protocol architecture verification strategy using system Verilog.

Autoři: Parameshwara, Shubha Sagar, Ganapathi Vithoba Dasappa, Hamsa Rekha Sorekunte a další

Zdroj: International Journal of Electrical & Computer Engineering (2088-8708); Dec2024, Vol. 14 Issue 6, p6195-6203, 9p

Témata: ARCHITECTURAL design, ETHERNET, TEST design, ALGORITHMS

Integration, Verification, Validation, Test, and Evaluation (IVVT&E) Framework for System of Systems (SoS).

Autoři: Luna, Sergio Lopes, Amit Tao, Hoong Yan See a další

Zdroj: Procedia Computer Science. Jun2013, Vol. 20, p298-305. 8p.

Témata: System integration, System of systems, Systems engineering, Uncertainty (Information theory), Computer architecture, Knowledge management

Automation Nation: Taming Complex V&V Workflows.

Autoři: Rosenlund, Erik Hällqvist, Robert Braun, Robert a další

Zdroj: Linköping Electronic Conference Proceedings; 2025, Issue 218, p751-764, 14p

Témata: AUTOMATION, MODEL validation, SOFTWARE validation, SOFTWARE frameworks, STATISTICAL reliability, SIMULATION methods & models

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Groote, Jan Friso Larsen, Kim Guldstrand

Témata: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48219

Case study of verification, validation, and testing in the Automated Data Processing (ADP) system development life cycle

Přispěvatelé: Riemer, C

Popis souboru: Medium: X; Size: Pages: (75 p)

Přístupová URL adresa: http://www.osti.gov/scitech/biblio/6445358

Validation of availability and policy based management for programmable networks

Autoři: Maldonado López, Ferney A.

Přispěvatelé: University/Department: Universitat de Girona. Departament d'Arquitectura i Tecnologia de Computadors

Thesis Advisors: Calle Ortega, Eusebi, Donoso Meisel, Yezid

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Xarxes d'ordinadors, Computer networks, Redes de ordenadores, Gestió de recursos de xarxa, Network resource management, Gestión de recursos en red, Impacte de les fallades, Failure impact, Impactor de los fallos, Xarxes programables, Programmable networks, Redes programables, SDN, Software Defined Networking

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/666198