Keyword : concurrency


Concurrency Control Protocol for Parallel B-Tree Structures That Improves the Efficiency of Request Transfers and SMOs within a Node
Tomohiro YOSHIHARA Dai KOBAYASHI Haruo YOKOTA 
Publication:   
Publication Date: 2018/01/01
Vol. E101-D  No. 1 ; pp. 152-170
Type of Manuscript:  PAPER
Category: Data Engineering, Web Information Systems
Keyword: 
concurrencydistributed databasestransaction processingdirectory structurestrees
 Summary | Full Text:PDF(1.8MB)

Software Analysis Techniques for Detecting Data Race
Pilsung KANG 
Publication:   
Publication Date: 2017/11/01
Vol. E100-D  No. 11 ; pp. 2674-2682
Type of Manuscript:  SURVEY PAPER
Category: Fundamentals of Information Systems
Keyword: 
concurrencyprogram analysisdata race
 Summary | Full Text:PDF(309.3KB)

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code
Ziyi LIN Yilei ZHOU Hao ZHONG Yuting CHEN Haibo YU Jianjun ZHAO 
Publication:   
Publication Date: 2017/03/01
Vol. E100-D  No. 3 ; pp. 473-482
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
concurrencydebugdeterministic reproduction
 Summary | Full Text:PDF(959.7KB)

Tuning GridFTP Pipelining, Concurrency and Parallelism Based on Historical Data
Jangyoung KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/11/01
Vol. E97-D  No. 11 ; pp. 2963-2966
Type of Manuscript:  LETTER
Category: Information Network
Keyword: 
big datathroughput optimizationthroughput estimationpipeliningconcurrencyparallelism
 Summary | Full Text:PDF(342KB)

A Session Type System with Subject Reduction
Keigo IMAI Shoji YUEN Kiyoshi AGUSA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/08/01
Vol. E95-D  No. 8 ; pp. 2053-2064
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
Pi-calculussession typestype systemsubject reductionconcurrencyprocess calculipolarity
 Summary | Full Text:PDF(256.4KB)

An Efficient Adaptive-Deniable-Concurrent Non-malleable Commitment Scheme
Seiko ARITA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/01/01
Vol. E94-A  No. 1 ; pp. 367-382
Type of Manuscript:  PAPER
Category: Cryptography and Information Security
Keyword: 
commitment schemesadaptivitydeniabilityconcurrencynon-malleability
 Summary | Full Text:PDF(2.5MB)

Supervisory Control of a Class of Concurrent Discrete Event Systems
Shigemasa TAKAI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/04/01
Vol. E87-A  No. 4 ; pp. 850-855
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 16th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
discrete event systemconcurrencysupervisory controlcontrollabilityconcurrent well-posedness
 Summary | Full Text:PDF(156.1KB)

Highly Concurrent Group Mutual Exclusion Algorithms Based on Ticket Orders
Masataka TAKAMURA Yoshihide IGARASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/02/01
Vol. E87-D  No. 2 ; pp. 322-329
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
asynchronous distributed algorithmsconcurrencycongenial talking philosophersgroup mutual exclusionshared memory
 Summary | Full Text:PDF(169KB)

Decomposition Approach of Banker's Algorithm: Design and Concurrency Analysis
Hoon OH 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/01/01
Vol. E87-D  No. 1 ; pp. 183-195
Type of Manuscript:  PAPER
Category: Software Systems
Keyword: 
deadlockconcurrencyheuristic algorithmdecomposition
 Summary | Full Text:PDF(1.8MB)

Fault Tolerance in Decentralized Systems
Brian RANDELL 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2000/05/25
Vol. E83-B  No. 5 ; pp. 903-907
Type of Manuscript:  INVITED PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
Category: 
Keyword: 
concurrencyerror recoveryco-ordinated atomic (CA) actionsexception handlingdependability
 Summary | Full Text:PDF(481.7KB)

Some Modifications of the Tournament Algorithm for the Mutual Exclusion Problem
Yoshihide IGARASHI Hironobu KURUMAZAKI Yasuaki NISHITANI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/02/25
Vol. E82-D  No. 2 ; pp. 368-375
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
asynchronous processesconcurrencydistributed systemlockout-freedommutual exclusionshared memory
 Summary | Full Text:PDF(224.3KB)

Applying the Generic Relationship Model (GRM) for MO Program Concurrency Control
Kohei ISEDA Takafumi CHUJO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1997/06/25
Vol. E80-B  No. 6 ; pp. 894-899
Type of Manuscript:  Special Section PAPER (Special Issue on Network Operations and Management)
Category: Data
Keyword: 
TMNMOGRMnetwork managementconcurrencylock
 Summary | Full Text:PDF(533.6KB)

Construction of Petri Nets from a Given Partial Language
Susumu HASHIZUME Yasushi MITSUYAMA Yutaka MATSUTANI Katsuaki ONOGI Yoshiyuki NISHIMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/12/25
Vol. E79-A  No. 12 ; pp. 2192-2195
Type of Manuscript:  LETTER
Category: Concurrent Systems
Keyword: 
Petri netpartial languagesynthesisconcurrencyabstraction
 Summary | Full Text:PDF(253.1KB)

An Analysis of Simulation between Petri Nets through Rewriting Logic
Yasuyuki TAHARA Shinichi HONIDEN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1498-1503
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
concurrencyrewriting logiccategory theoryPetri netsimulation
 Summary | Full Text:PDF(397.7KB)

Deriving Compositional Models for Concurrency Based on de Bakker-Zucker Metric Domain from Structured Operational Semantics
Eiichi HORITA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/25
Vol. E75-A  No. 3 ; pp. 400-409
Type of Manuscript:  Special Section PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
concurrencycompositional modelmetric domainstructured operational semantics
 Summary | Full Text:PDF(675.1KB)

Fully Abstract Models for Communicating Processes with respect to Weak Linear Semantics with Divergence
Eiichi HORITA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/01/25
Vol. E75-D  No. 1 ; pp. 64-77
Type of Manuscript:  Special Section PAPER (Special Section on Theoretical Foundations of Computing)
Category: 
Keyword: 
concurrencyoperational semanticscompositionalitycorrectnessfull abstractness
 Summary | Full Text:PDF(1MB)