|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Evaluation of PARAdeg of Acyclic SWITCH-Less Program Nets Qi-Wei GE
Kenji ONAGA
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/06/20
Vol. E83-A
No. 6
pp. 1186-1191
Type of Manuscript: Special Section LETTER (Special Section of Papers Selected from 1999 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC'99))
Category: Keyword: program net,
parallel degree,
multiprocessor scheduling,
GA scheduling,
evaluation,
|
| |
Summary |
Full Text:PDF
(1.4MB)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
On Verification of Token Self-Cleanness of Data-Flow Program Nets Qi-Wei GE
Kenji ONAGA
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/20
Vol. E79-A
No. 6
pp. 812-817
Type of Manuscript: Special Section PAPER (Special Section of Papers Selected from 1995 Joint Technical Conference on Circuits/Systems, Computers and Communications (JTC-CSCC '95))
Category: Keyword: data-flow program,
program net,
token selfcleanness,
verification,
|
| |
Summary |
Full Text:PDF
(571.4KB)
|
|
|
Sex-Fair Stable Marriage Problem and Its GA Solution Morikazu NAKAMURA
Kenji ONAGA
Seiki KYAN
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/06/20
Vol. E78-A
No. 6
pp. 664-670
Type of Manuscript: Special Section PAPER (Special Section of Papers Selected from 1994 Joint Technical Conference on Circuits/Systems, Computers and Communications (JTC-CSCC '94))
Category: Keyword:
|
| |
Summary |
Full Text:PDF
(555KB)
|
|
|
|
|
|
|
|
|
Design of a Dynamic Mutual Exclusion Algorithm for a Distributed Network of Autonomous Nodes Kenji ONAGA
Morikazu NAKAMURA
Seiki KYAN
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/03/20
Vol. E76-A
No. 3
pp. 387-398
Type of Manuscript: Special Section PAPER (Special Section on the 5th Karuizawa Workshop on Circuits and Systems)
Category: Keyword: distributed network,
autonomous node,
mutual exclusion,
protocol,
|
| |
Summary |
Full Text:PDF
(909.9KB)
|
|
|
|
|
|
FOREWORD Kenji ONAGA
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/06/20
Vol. E75-A
No. 6
pp. 641-643
Type of Manuscript: FOREWORD
Category: Keyword:
|
| |
Summary |
Full Text:PDF
(186.6KB)
|
|
|
|
|
|
Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic --Provability and Axiom Sets -- Toshimasa WATANABE
Naomoto KATO
Kenji ONAGA
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/20
Vol. E75-A
No. 3
pp. 425-435
Type of Manuscript: Special Section PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category: Keyword: Horn clauses,propositional logic,
Petri nets,
proofs,
axiom sets,
|
| |
Summary |
Full Text:PDF
(678.2KB)
|
|
|
|
|
|
Analysis of Parallelism in Autonomous Execution of Data-Flow Program Nets Qi-Wei GE
Toshimasa WATANABE
Kenji ONAGA
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/20
Vol. E74-A
No. 10
pp. 3008-3017
Type of Manuscript: Special Section PAPER (Special Issue on JTC-CSCC '90)
Category: Graphs and Networks Keyword:
|
| |
Summary |
Full Text:PDF
(696.9KB)
|
|
|
FOREWORD Kenji ONAGA
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/20
Vol. E74-A
No. 10
pp. 3103-3104
Type of Manuscript: FOREWORD
Category: Keyword:
|
| |
Summary |
Full Text:PDF
(119.5KB)
|
|
|
Fuzzy Extensions of Tensions and Potentials for Qualitative Network Analysis Kenji ONAGA
Seiki KYAN
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/01/20
Vol. E74-A
No. 1
pp. 22-32
Type of Manuscript: INVITED PAPER
Category: Keyword:
|
| |
Summary |
Full Text:PDF
(772.7KB)
|
|
|
Topological Analysis of Firing Activities of Data-Flow Program Nets Qi-Wei GE
Toshimasa WATANABE
Kenji ONAGA
|
Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/07/20
Vol. E73-E
No. 7
pp. 1215-1224
Type of Manuscript: PAPER
Category: Software Theory Keyword:
|
| |
Summary |
Full Text:PDF
(873.9KB)
|
|
|
Minimum Initial Marking Problems of Petri Nets Toshimasa WATANABE
Yutaka MIZOBATA
Kenji ONAGA
|
Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/12/20
Vol. E72-E
No. 12
pp. 1390-1399
Type of Manuscript: Special Section PAPER (Special Issue on the 2nd Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Networks Keyword:
|
| |
Summary |
Full Text:PDF
(758.6KB)
|
|
|
Time Complexity of Legal Firing Sequence and Related Problems of Petri Nets Toshimasa WATANABE
Yutaka MIZOBATA
Kenji ONAGA
|
Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/12/20
Vol. E72-E
No. 12
pp. 1400-1409
Type of Manuscript: Special Section PAPER (Special Issue on the 2nd Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Networks Keyword:
|
| |
Summary |
Full Text:PDF
(853.6KB)
|
|
|
A Decentralized On-Line Algorithm for Social Resource Acquisition in Value-Added Network Environments Satoshi MARUMOTO
Kenji ONAGA
Kazuo KISHIMOTO
|
Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1985/07/20
Vol. E68-E
No. 7
pp. 427-434
Type of Manuscript: PAPER
Category: Data Processing Keyword:
|
| |
Summary |
Full Text:PDF
(654.3KB)
|
|
|