Detection and resolution of deadlocks in concurrent processes using process algebra

Detection and resolution of deadlocks in concurrent processes using process algebra

The proponent extends Process Algebra (PA) in terms of its components and how it is constructed. This algebra allows an expression to contain a set of finite operands known as atomic actions and a finite set of operators which individually denote either a sequential or an alternate composition. Both...

Saved in:

書目詳細資料
主要作者:	Chua, Caslon L.
格式:	text
語言:	English
出版:	Animo Repository 1993
主題:	Algorithms Electronic data processing > Distributed processing Programming (Mathematics) Simulation methods Algebra Databases and Information Systems Graphics and Human Computer Interfaces Numerical Analysis and Scientific Computing Programming Languages and Compilers
在線閱讀:	https://animorepository.dlsu.edu.ph/etd_masteral/1501 https://animorepository.dlsu.edu.ph/cgi/viewcontent.cgi?article=8339&context=etd_masteral
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	De La Salle University
語言:	English

相似書籍

Best-first search as the simplification of weighted process algebra extension
由: Arellano, Rene C.
出版: (1994)

Best-first search as the simplification of weighted process algebra extension
由: Arellano, Rene C.
出版: (1994)

Heuristic task assignment algorithm using process algebra
由: Fernandez, Kai Shan L.
出版: (1995)

Extended Sinha-Natarajan's algorithm for distributed deadlock detection and resolution in a distributed database system
由: Ahmed, Tanweer
出版: (1993)

Automatic detection of frustration of novice programmers from contextual and keystroke logs
由: FWA, Hua Leong
出版: (2015)

Aligning images in the wild
由: LIN, Wen-yan, et al.
出版: (2012)

Wav-BERT: Cooperative acoustic and linguistic representation learning for low-resource speech recognition
由: ZHENG, Guolin, et al.
出版: (2021)

Let’s think outside the box: Exploring leap-of-thought in large language models with multimodal humor generation
由: ZHONG, Shanshan, et al.
出版: (2024)

Position-guided text prompt for vision-language pre-training
由: WANG, Alex Jinpeng, et al.
出版: (2023)

Simplifier: a windows user-interface management system
由: Chong, Pauline, et al.
出版: (1993)

Deriving a distributed deadlock detection algorithm from knowledge transitions
由: Lapitan, Mario Lelina
出版: (1999)

CAPGEN/Online: a fourth generation language
由: Ahmed, Iftikhar
出版: (1992)

A computer-based approach in determining the chromatic number of a graph
由: De la Rosa, Martin L., et al.
出版: (1991)

A comparative of distributed dead-lock detection algorithms
由: Escarrilla, Carlos V., et al.
出版: (1994)

Solutions to some diophantine equations adapted to a computer program
由: Lacanilao, Connie A., et al.
出版: (1993)

Three dimensional graphics library
由: Lua, Moises, et al.
出版: (1990)

LYTT: An optimizing compiler
由: Lao, Patrick, et al.
出版: (1992)

A design for a distributed, fine-grain, object-based memory manager
由: Florendo, Anthony Roland
出版: (1997)

A study of a load balancing algorithm in a distributed network
由: Calooy, Jocelyn Bagoy, et al.
出版: (1990)

A heuristic approach to file placement in distributed systems
由: Huang, En-Hsin
出版: (1991)

Implementation of the finite-difference time domain method in volunteer computing
由: Ang, Morris, et al.
出版: (2008)

Einstein's revenge: Episode I, a computer-assisted instruction (CAI) for linear algebra
由: Ang, Ferdinand, et al.
出版: (1987)

Verification of timed process algebra and beyond
由: ZHANG XIAN
出版: (2012)

A replica control algorithm based on multilevel atomicity for replicated databases
由: Chan, Philip
出版: (1994)

A simulation tool for practicing logic formulation in C-language programming
由: Teng, Randy Tan
出版: (2005)

Solving quintic polynomial equations using Graeffe's method (with computer program)
由: Andres, Ethelrose Ann G., et al.
出版: (1992)

Object-Oriented Graphics Software Package (OOGSP)
由: Dionisio, Gertrude, et al.
出版: (1991)

Reducing communication overhead in a dynamic load sharing algorithm
由: Baraka, Rebhi S.
出版: (1996)

Towards using concurrent Java API correctly
由: LIU, Shuang, et al.
出版: (2016)

Program evaluation for Easy, C, Pascal programming languages
由: Garcia, Arnaldo, et al.
出版: (1989)

A graph-based semantics workbench for concurrent Asynchronous programs
由: CORRODI, Claudio, et al.
出版: (2016)

Feature-based transfer learning In natural language processing
由: YU, Jianfei
出版: (2018)

Finding Euler number using box algebra and generalized skew-hooks (with computer program)
由: Ang, Stanley A., et al.
出版: (1994)

Computer 3D rendering
由: Dejolde, Cherrie Amie B., et al.
出版: (1994)

Visual typo correction by collocative optimization: A case study on merchandize images
由: WEI, Xiao-Yong, et al.
出版: (2014)

Enhancing the performance of semi-supervised classification algorithms with bridging
由: CHAN, Jason Yuk Hin, et al.
出版: (2007)

C compiler
由: Haw, Walterson C., et al.
出版: (1991)

Janus +
由: Ang, Veronica, et al.
出版: (1996)

A fault tolerant home-based lazy released consistent distributed shared memory through process replication
由: Ng, Giuseppe C.
出版: (2004)

Parallel algorithm simulator
由: Chua, Johnson M., et al.
出版: (1992)