Search Results - parallel process (computer process) verification.*

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

Authors: Kyoung-Sook Kim Dinh-Lam Pham Young-In Park et al.

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

Subject Terms: 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

File Description: electronic resource

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

Access URL: https://doaj.org/article/b61b3e839834487d826aace21526c15f

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

Authors: Libero Nigro Franco Cicirelli

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

Subject Terms: 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

File Description: electronic resource

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

Access URL: https://doaj.org/article/25370cdaaaa34e8ba3dd7f7d531fade5

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

Authors: Pawlak, Szymon Małysa, Tomasz Fornalczyk, Agnieszka

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

Subject Terms: SIMULATION software, PRODUCTION planning, MANUFACTURING processes, PRODUCTION management (Manufacturing), COMPUTER simulation

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

Authors: Dimmich, Damian J.

Subject Terms: 004, QA 76 Software, computer programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.527585

Verification of parallelising transformations of KPN models

Authors: Chandan Karfa Dipankar Sarkar Chittaranjan Mandal

Source: IET Cyber-Physical Systems (2019)

Subject Terms: 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

File Description: electronic resource

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

Access URL: https://doaj.org/article/f8917bf6127444a3a9ab35ebf33593ca

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

Authors: Zhao, Ying Tan, Jinhao Li, Guoqiang

Index Terms: 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

Contributors: Yoshida, Nobuko

Subject Terms: 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

File Description: application/pdf

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

Access URL: https://library.oapen.org/handle/20.500.12657/48221

Process Mining Workshops

Authors: Andrea Delgado Tijs Slaats

Resource Type: eBook.

Subjects: 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.

Authors: Domosławska-Żylińska, Katarzyna Włodarczyk, Dorota

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

Subject Terms: SMOKING prevention, LUNG cancer, RISK communication, COLORECTAL cancer, PHYSICAL activity, DIET, PREVENTIVE medicine, PROSTATE cancer

Verifying Properties of Parallel Programs: An Axiomatic Approach.

Authors: Owicki, Susan Gries, David Gaines, R. S.

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

Subject Terms: *PARALLEL programming, *COMPUTER programming, *COMPUTER software, SOFTWARE verification, AXIOMS, METHODOLOGY

Process Mining Workshops

Authors: Marco Montali Arik Senderovich Matthias Weidlich

Resource Type: eBook.

Subjects: 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

Authors: Davidson, Timothy A. S.

Subject Terms: 004, QA Mathematics

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.536655

Process Mining Workshops

Authors: Jorge Munoz-Gama Xixi Lu

Resource Type: eBook.

Subjects: 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.

Authors: Murakami, Masaki Inagaki, Yasuyoshi

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

Subject Terms: Sequential processing (Computer science), Electronic data processing, Parallel computers, Computer systems, Computer networks, Computers

Verification System for Freedom from Deadlock of Communicating Sequential Processes.

Authors: Murakami, Masaki Inagaki, Yasuyoshi

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

Subject Terms: 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.

Authors: Ito, Sohei Vymětal, Dominik Šperka, Roman

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

Subject Terms: BUSINESS enterprises, PROCESS mining, TRADING companies, FORMAL languages

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

Authors: Cremers, Armin Ginsburg, Seymour; Estes, D.R. Mizell, David Walter

Source: University of Southern California

Index Terms: 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.

Contributors: Norris, Jerome

File Description: Medium: ED; Size: 27 p.

Access URL: http://www.osti.gov/scitech/servlets/purl/902878

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

Authors: Yönez, M. K. Alpman, U. Aslan, N. E. et al.

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

Subjects: 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

Authors: Cònsul Serracanta, Ricard

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Màquines i Motors Tèrmics

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

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: combustio, computational fluid dynamics (CFD), flames laminars, 3328. Processos tecnològics

File Description: application/pdf

Access URL: http://www.tdx.cat/TDX-0317105-154418
http://hdl.handle.net/10803/6679
https://dx.doi.org/10.5821/dissertation-2117-93990