Výsledky vyhledávání - compositional and refinement-based methodologies

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Popis souboru: application/pdf

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

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37724

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation

Popis souboru: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030452377_24; OCN: 1152158222; http://library.oapen.org/handle/20.500.12657/37724; https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Dostupnost: http://library.oapen.org/handle/20.500.12657/37724
https://hdl.handle.net/20.500.12657/37724
https://directory.doabooks.org/handle/20.500.12854/33908
https://hdl.handle.net/20.500.12854/33908
https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

A Compositional Theory of Linearizability.

Autoři: Oliveira Vale, Arthur Shao, Zhong Chen, Yixuan

Zdroj: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-107, 107p

Témata: MATHEMATICAL category theory, PROGRAMMING languages, LANGUAGE research, SEMANTICS

Tools and Algorithms for the Construction and Analysis of Systems ; 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Přispěvatelé: Biere, Armin Parker, David

Témata: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030451905_22; OCN: 1152158068; https://www.springer.com/9783030451905

Dostupnost: http://library.oapen.org/handle/20.500.12657/37722
https://hdl.handle.net/20.500.12657/37722
https://www.springer.com/9783030451905

A Refinement-Based Methodology for Verifying Abstract Data Type Implementations

Autoři: Divakaran, Sumesh

Thesis Advisors: D'Souza, Deepak

Témata: Abstract Data Types, Data Structure, Data Abstraction, Free RTOS-open-source Real-time Operating System, Refinement (Computing), Theory of Refinement, Virtual Collective Consiousness (VCC), Modelling Languages, Programming Languages, ADT Transition Systems, FreeRTOS, Computer Science

Relation: G26949

Dostupnost: http://etd.iisc.ernet.in/2005/3744
http://etd.iisc.ernet.in/abstracts/4606/G26949-Abs.pdf

Advancements in adversarial generative text-to-image models: a review.

Autoři: Zaghloul, Rawan Rawashdeh, Enas Bani-Ata, Tomader

Zdroj: Imaging Science Journal; May2025, Vol. 73 Issue 3, p328-353, 26p

Témata: COMPUTER vision, GENERATIVE adversarial networks, ARTIFICIAL intelligence, RESEARCH personnel, EVALUATION methodology

A refinement-based approach to safe smart contract deployment and evolution.

Autoři: Antonino, Pedro Ferreira, Juliandson Sampaio, Augusto a další

Zdroj: Software & Systems Modeling; Jun2024, Vol. 23 Issue 3, p657-693, 37p

Témata: NON-fungible tokens, CONTRACTS

Innovation Flow: A Human–AI Collaborative Framework for Managing Innovation with Generative Artificial Intelligence.

Autoři: Catta-Preta, Michelle Omeñaca, Alex Trejo Ferrer i Picó, Jan a další

Zdroj: Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 22, p11951, 25p

Témata: GENERATIVE artificial intelligence, INNOVATION management, MIXED methods research, ORIGINALITY, HUMAN-computer interaction

Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks.

Autoři: Gao, Pengfei Song, Fu Chen, Taolue

Zdroj: ACM Transactions on Software Engineering & Methodology; Mar2024, Vol. 33 Issue 3, p1-38, 38p

Témata: COMPUTER software security, DATA security failures, RANDOM variables, IMPLEMENTS, utensils, etc.

Methodological aspects of producing aluminosilicalites with typological structure of HZSM-5. Rational design and catalytic properties.

Autoři: Domoroshchina, Elena Kuz'micheva, Galina Vasiliev, Alexander a další

Zdroj: Journal of Porous Materials; Dec2025, Vol. 32 Issue 6, p2245-2261, 17p

Prompting Techniques for Secure Code Generation: A Systematic Investigation.

Autoři: Tony, Catherine Díaz Ferreyra, Nicolás E. Mutas, Markus a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-53, 53p

Témata: COMPUTER software security, COMPUTER software development, NATURAL language processing, CODE generators, LANGUAGE models, ELICITATION technique

Automated, Not Autonomous: Integrating Automated Mineralogy with Complementary Techniques to Refine and Validate Phase Libraries in Complex Mineral Systems.

Autoři: Kearney, Lisa I. Christy, Andrew G. Belousova, Elena A. a další

Zdroj: Minerals (2075-163X); Nov2025, Vol. 15 Issue 11, p1118, 38p

Témata: MINERALOGY, MINERAL analysis, EARTH sciences, SCANNING electron microscopy, ANALYTICAL geochemistry

Property-guided inverse design of metal-organic frameworks using quantum natural language processing.

Autoři: Kang, Shinyoung Kim, Jihan

Zdroj: NPJ Computational Materials; 10/28/2025, Vol. 11 Issue 1, p1-16, 16p

Témata: METAL-organic frameworks, QUANTUM computing, CLASSIFICATION algorithms, QUANTUM information science, POROSITY, REVERSE engineering

The Role of the Gut Microbiota in Mental Health and Cognitive Function in Patients with Coronary Atherosclerosis.

Autoři: Helisz, Paulina Krupa-Kotara, Karolina Gwioździk, Weronika a další

Zdroj: Nutrients. Jul2025, Vol. 18 Issue 14, p2311. 13p.

Precision Blank Development for Hydro-Formed Aerospace Components via Inverse Finite Element Analysis.

Autoři: Mironenko, Vladimir V. Kononenko, Roman V. Govorkov, Alexey S. a další

Zdroj: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 16, p9028, 24p

Témata: AEROSPACE industries, AERODYNAMICS, VIRTUAL prototypes, FINITE element method, HYDROELASTICITY, ALUMINUM alloys, MANUFACTURING processes, RESOURCE allocation

A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification.

Autoři: Manolios, Panagiotis Srinivasan, Sudarshan K.

Zdroj: IEEE Transactions on Very Large Scale Integration (VLSI) Systems; Apr2008, Vol. 16 Issue 4, p353-364, 12p, 2 Black and White Photographs, 7 Diagrams, 4 Charts, 2 Graphs

Témata: SOFTWARE verification, DATA pipelining, MICROPROCESSORS, SIMULATION methods & models, COMPUTER storage devices, COMPUTER software, MACHINERY industry software, COMPUTER architecture

A formal component model for UML based on CSP aiming at compositional verification.

Autoři: Falcão, Flávia Lima, Lucas Sampaio, Augusto a další

Zdroj: Software & Systems Modeling; Jun2024, Vol. 23 Issue 3, p765-798, 34p

Témata: SEMANTICS, ENGINEERING, SCALABILITY

Model-based partition scheduling of integrated modular avionics systems using genetic algorithm.

Autoři: Chen, Jichen Zhai, Zhengjun Han, Pujie a další

Zdroj: Scientific Reports; 8/26/2025, Vol. 15 Issue 1, p1-25, 25p

Témata: GENETIC algorithms, SCHEDULING, MODEL validation, AIRPLANE control systems, MULTICORE processors, PARALLEL algorithms

Grain Refinement and Microstructural Evolution in Cobalt-Saving 18Ni (300) Maraging Steel via Cold Deformation-Cyclic Solution Treatment.

Autoři: Huang, Feng Cheng, Zhe Li, Defa a další

Zdroj: Materials (1996-1944); Jul2025, Vol. 18 Issue 13, p2947, 20p

Témata: GRAIN refinement, MARAGING steel, COBALT alloys, MANUFACTURING processes, COLD working of metals, MICROSTRUCTURE, MATERIAL plasticity, MECHANICAL behavior of materials

Imaginarium: Vision-guided High-Quality 3D Scene Layout Generation.

Autoři: Zhu, Xiaoming Huang, Xu Xie, Qinghongbing a další

Zdroj: ACM Transactions on Graphics; Dec2025, Vol. 44 Issue 6, p1-24, 24p