FORMAL VERIFICATION OF AN ACCESS CONCURRENCY CONTROL ALGORITHM FOR TRANSACTION TIME RELATIONS

Proceedings of the Eighth International Conference on Enterprise Information Systems ◽

10.5220/0002487602690272 ◽

2006 ◽

Keyword(s):

Formal Verification ◽

Concurrency Control ◽

Control Algorithm

Download Full-text

Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) ◽

10.1109/time.2006.15 ◽

2006 ◽

Author(s):

A. Makni ◽

R. Bouaziz ◽

F. Gargouri

Keyword(s):

Formal Verification ◽

Concurrency Control ◽

Control Algorithm ◽

Optimistic Concurrency Control

Download Full-text

Formal Verification of Helicopter Automatic Landing Control Algorithm in Theorem Prover Coq

10.23940/ijpe.18.09.p2.19471957 ◽

2018 ◽

Author(s):

Xi Chen

Keyword(s):

Formal Verification ◽

Control Algorithm ◽

Theorem Prover ◽

Automatic Landing ◽

Landing Control

Download Full-text

A concurrency control algorithm in a distributed environment

10.1145/1500412.1500481 ◽

1981 ◽

Author(s):

Paul Decitre

Keyword(s):

Concurrency Control ◽

Control Algorithm ◽

Distributed Environment

Download Full-text

Towards a self-adapting centralized concurrency control algorithm

ACM SIGMOD Record ◽

10.1145/971697.602263 ◽

1984 ◽

Vol 14 (2) ◽

pp. 18-31 ◽

Author(s):

Haran Boral ◽

Israel Gold

Keyword(s):

Concurrency Control ◽

Control Algorithm

Download Full-text

Two Version Concurrency Control Algorithm with Query Locking for Decision Support

Advances in Database Technologies - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49121-7_14 ◽

1999 ◽

pp. 157-168 ◽

Author(s):

Hoewon Kim ◽

Seog Park

Keyword(s):

Decision Support ◽

Concurrency Control ◽

Control Algorithm

Download Full-text

An Efficient Concurrency Control Algorithm for High-Dimensional Index Structures

Journal of Database Management ◽

10.4018/jdm.2004070104 ◽

2004 ◽

Vol 15 (3) ◽

pp. 60-72 ◽

Author(s):

Seok Il Song ◽

Jae Soo Yoo

Keyword(s):

Concurrency Control ◽

Control Algorithm ◽

High Dimensional ◽

Index Structures

Download Full-text

A concurrency control algorithm for nearest neighbor query

Information Sciences ◽

10.1016/s0020-0255(98)10054-3 ◽

1999 ◽

Vol 114 (1-4) ◽

pp. 187-204 ◽

Author(s):

J.K. Chen ◽

Y.H. Chin

Keyword(s):

Concurrency Control ◽

Control Algorithm ◽

Nearest Neighbor ◽

Nearest Neighbor Query

Download Full-text

Evaluation of performance concurrency control algorithm for secure firm real-time database systems via simulation model

2010 International Conference on Networking and Information Technology ◽

10.1109/icnit.2010.5508515 ◽

2010 ◽

Author(s):

Maysam Hedayati ◽

Seyed Hossein Kamali ◽

Reza Shakerian ◽

Mohsen Rahmani

Keyword(s):

Simulation Model ◽

Real Time ◽

Concurrency Control ◽

Control Algorithm ◽

Database Systems ◽

Evaluation Of Performance ◽

Real Time Database

Download Full-text

An improved concurrency control algorithm for distributed real-time database

2010 IEEE International Conference on Advanced Management Science(ICAMS 2010) ◽

10.1109/icams.2010.5552942 ◽

2010 ◽

Author(s):

Qiansheng Zheng ◽

Xiaoming Bi

Keyword(s):

Real Time ◽

Concurrency Control ◽

Control Algorithm ◽

Real Time Database

Download Full-text

`PRABHA'---a distributed concurrency control algorithm

Proceedings of the 1990 ACM annual conference on Cooperation - CSC '90 ◽

10.1145/100348.100409 ◽

1990 ◽

Author(s):

Albert Burger ◽

Vijay Kumar

Keyword(s):

Concurrency Control ◽

Control Algorithm

Download Full-text