|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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/25
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 | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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/25
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 | |
|
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/25
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 | |
|
|
|
|
|
|
|
|
|
|
|
|
|
FOREWORD
Kenji ONAGA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/06/25
Vol. E75-A
No. 6
pp. 641-643
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
|
|
|
|
|
|
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/25
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 | |
|
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/25
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 | |
|
FOREWORD
Kenji ONAGA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A
No. 10
pp. 3103-3104
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
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/25
Vol. E74-A
No. 1
pp. 22-32
Type of Manuscript:
INVITED PAPER
Category:
Keyword:
| | | Summary | Full Text:PDF | |
|
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/25
Vol. E73-E
No. 7
pp. 1215-1224
Type of Manuscript:
PAPER
Category: Software Theory
Keyword:
| | | Summary | Full Text:PDF | |
|
Minimum Initial Marking Problems of Petri Nets
Toshimasa WATANABE Yutaka MIZOBATA Kenji ONAGA | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/12/25
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 | |
|
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/25
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 | |
|
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/25
Vol. E68-E
No. 7
pp. 427-434
Type of Manuscript:
PAPER
Category: Data Processing
Keyword:
| | | Summary | Full Text:PDF | |
|