Výsledky vyhledávání - parallel process (computer process) verification.~

Experimental verification and validation of the SICN-oriented process mining algorithm and system

Autoři: Kyoung-Sook Kim Dinh-Lam Pham Young-In Park a další

Zdroj: Journal of King Saud University: Computer and Information Sciences, Vol 34, Iss 10, Pp 9793-9813 (2022)

Témata: Business process management, Structured information control nets (SICN), Process mining algorithm, Process rediscovery, Experimental verification and validation, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S131915782100358X; https://doaj.org/toc/1319-1578

Přístupová URL adresa: https://doaj.org/article/b61b3e839834487d826aace21526c15f

Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes

Autoři: Libero Nigro Franco Cicirelli

Zdroj: Algorithms, Vol 18, Iss 4, p 226 (2025)

Témata: concurrent/parallel processes, mutual exclusion, atomic/non-atomic registers, Dekker’s algorithms for mutual exclusion, formal modeling, timed automata, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://www.mdpi.com/1999-4893/18/4/226; https://doaj.org/toc/1999-4893

Přístupová URL adresa: https://doaj.org/article/25370cdaaaa34e8ba3dd7f7d531fade5

Analysis of Production Process Parameters Using Computer Simulation at the Planning Stage.

Autoři: Pawlak, Szymon Małysa, Tomasz Fornalczyk, Agnieszka

Zdroj: Applied Sciences (2076-3417); Dec2024, Vol. 14 Issue 23, p10863, 17p

Témata: SIMULATION software, PRODUCTION planning, MANUFACTURING processes, PRODUCTION management (Manufacturing), COMPUTER simulation

A process oriented approach to solving problems of parallel decomposition and distribution

Autoři: Dimmich, Damian J.

Témata: 004, QA 76 Software, computer programming

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.527585

Verification of parallelising transformations of KPN models

Autoři: Chandan Karfa Dipankar Sarkar Chittaranjan Mandal

Zdroj: IET Cyber-Physical Systems (2019)

Témata: parallel processing, system-on-chip, multiprocessing systems, signal processing, graph theory, formal verification, Kahn process networks, heterogeneous multiprocessor systems, signal processing applications, verification frameworks, verification problem, sequential behaviour, KPN behaviour, KPN models, array data dependence graphs, ADDG construction method, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2018.5008; https://doaj.org/toc/2398-3396

Přístupová URL adresa: https://doaj.org/article/f8917bf6127444a3a9ab35ebf33593ca

BPPChecker: An SMT-based Model Checker on Basic Parallel Processes(Full Version)

Autoři: Zhao, Ying Tan, Jinhao Li, Guoqiang

Témata: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, text

URL: http://arxiv.org/abs/2110.09414

Programming Languages and Systems

Přispěvatelé: Yoshida, Nobuko

Témata: Programming Languages, Compilers, Interpreters, Natural Language Processing (NLP), Software Engineering, Logics and Meanings of Programs, Computer Systems Organization and Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computer Engineering and Networks, computer programming, concurrency theory, distributed computer systems, formal logic, lamdba calculi, linguistics, logic, object-oriented programming, parallel processing systems, probabilistic programming, process calculi, program compilers, semantics, software design, software quality, theory, types, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Natural language & machine translation, Computer programming / software engineering, Computer architecture & logic design, Computer networking & communications, Programming and scripting languages: general, Artificial intelligence, Computer networking and communications

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/48221

Process Mining Workshops

Autoři: Andrea Delgado Tijs Slaats

Resource Type: eBook.

Témata: Electronic data processing--Congresses, Data mining--Congresses

Categories: COMPUTERS / Data Science / Data Analytics, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Business & Productivity Software / Business Intelligence, MATHEMATICS / Probability & Statistics / General, MEDICAL / Informatics

Smoking Avoidance, Physical Activity and Diet as Preventative Behaviours for Lung, Prostate and Colorectal Cancer - A Comparison of the Extended Parallel Process Model Groups.

Autoři: Domosławska-Żylińska, Katarzyna Włodarczyk, Dorota

Zdroj: International Journal of Public Health (Frontiers Media S.A.); 2025, p1-9, 9p

Témata: SMOKING prevention, LUNG cancer, RISK communication, COLORECTAL cancer, PHYSICAL activity, DIET, PREVENTIVE medicine, PROSTATE cancer

Verifying Properties of Parallel Programs: An Axiomatic Approach.

Autoři: Owicki, Susan Gries, David Gaines, R. S.

Zdroj: Communications of the ACM. May76, Vol. 19 Issue 5, p279-285. 7p. 1 Diagram.

Témata: *PARALLEL programming, *COMPUTER programming, *COMPUTER software, SOFTWARE verification, AXIOMS, METHODOLOGY

Process Mining Workshops

Autoři: Marco Montali Arik Senderovich Matthias Weidlich

Resource Type: eBook.

Témata: Data mining--Congresses, Electronic data processing--Congresses

Categories: COMPUTERS / Data Science / Data Analytics, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Business & Productivity Software / Business Intelligence, MATHEMATICS / Probability & Statistics / General, MEDICAL / Informatics

Formal verification techniques using quantum process calculus

Autoři: Davidson, Timothy A. S.

Témata: 004, QA Mathematics

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.536655

Process Mining Workshops

Autoři: Jorge Munoz-Gama Xixi Lu

Resource Type: eBook.

Témata: Data mining--Congresses, Electronic data processing--Congresses

Categories: COMPUTERS / Data Science / Data Analytics, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Business & Productivity Software / Business Intelligence, MATHEMATICS / Probability & Statistics / General

Verification System for Partial Correctness of Communicating Sequential Processes.

Autoři: Murakami, Masaki Inagaki, Yasuyoshi

Zdroj: Systems & Computers in Japan. Nov86, Vol. 17 Issue 11, p11-20. 10p.

Témata: Sequential processing (Computer science), Electronic data processing, Parallel computers, Computer systems, Computer networks, Computers

Verification System for Freedom from Deadlock of Communicating Sequential Processes.

Autoři: Murakami, Masaki Inagaki, Yasuyoshi

Zdroj: Systems & Computers in Japan. Apr87, Vol. 18 Issue 4, p1-10. 10p.

Témata: Synchronization, Sequential machine theory, Parallel computers, Time measurements, Digital communications, Data transmission systems

Process mining approach to formal business process modelling and verification: a case study.

Autoři: Ito, Sohei Vymětal, Dominik Šperka, Roman

Zdroj: Journal of Modelling in Management; 2021, Vol. 16 Issue 2, p602-622, 21p

Témata: BUSINESS enterprises, PROCESS mining, TRADING companies, FORMAL languages

A 'true concurrency' approach to parallel process modeling, verification and design

Autoři: Cremers, Armin Ginsburg, Seymour; Estes, D.R. Mizell, David Walter

Zdroj: University of Southern California

Témata: Computer Science, texts

URL: http://cdm15799.contentdm.oclc.org/cdm/ref/collection/p15799coll17/id/765773
http://cdm15799.contentdm.oclc.org/utils/getthumbnail/collection/p15799coll17/id/765773
http://worldcat.org/oclc/1003577023/viewonline

Evaluation of weld porosity in laser beam seam welds: optimizing continuous wave and square wave modulated processes.

Přispěvatelé: Norris, Jerome

Popis souboru: Medium: ED; Size: 27 p.

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/902878

Measurement of the Norberg Angle Using Artificial Intelligence in Diagnosing Canine Hip Dysplasia.

Autoři: Yönez, M. K. Alpman, U. Aslan, N. E. a další

Zdroj: Pakistan Veterinary Journal. 2025, Vol. 45 Issue 4, p1930-1937. 8p.

Témata: Artificial intelligence, Object recognition (Computer vision), Veterinary medicine, Joint diseases, Diagnostic imaging, Hip joint, Radioscopic diagnosis

Development of numerical codes for the evaluation of combustion processes. Detailed numerical simulations of laminar flames

Autoři: Cònsul Serracanta, Ricard

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament de Màquines i Motors Tèrmics

Thesis Advisors: Pérez Segarra, Carlos David, Oliva, Asensio

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: combustio, computational fluid dynamics (CFD), flames laminars, 3328. Processos tecnològics

Popis souboru: application/pdf

Přístupová URL adresa: http://www.tdx.cat/TDX-0317105-154418
http://hdl.handle.net/10803/6679
https://dx.doi.org/10.5821/dissertation-2117-93990