Keyword List
Japanese Page
SITE TOP
Login
To browse Full-Text PDF.
>
Forgotten your password?
Menu
Search
Full-Text Search
Search(JPN)
Latest Issue
A Fundamentals
Trans.Fundamentals.
JPN Edition(in Japanese)
B Communications
Trans.Commun.
JPN Edition(in Japanese)
C Electronics
Trans.Electron.
JPN Edition(in Japanese)
D Information & Systems
Trans.Inf.&Syst.
JPN Edition(in Japanese)
Abstracts of JPN Edition
Trans.Fundamentals.
Trans.Commun.
Trans.Electron.
Trans.Inf.&Syst.
-
Archive
Volume List
Trans.Fundamentals.
Trans.Commun.
Trans.Electron.
Trans.Inf.&Syst.
Transactions (1976-1990)
Volume List [JPN Edition]
A JPN Edition(in Japanese)
B JPN Edition(in Japanese)
C JPN Edition(in Japanese)
D JPN Edition(in Japanese)
-
Editorial Board
Editorial Board
Trans.Fundamentals.
Trans.Commun.
Trans.Electron.
Trans.Inf.&Syst.
Archive
Editorial Board[JPN Edition]
A JPN Edition(in Japanese)
B JPN Edition(in Japanese)
C JPN Edition(in Japanese)
D JPN Edition(in Japanese)
Archive
-
Open Access Papers
Trans. Commun. (Free)
Trans. Commun.
Trans. Commun.(JPN Edition)
Trans. Electron. (Free)
Trans. Electron.
Trans. Electron.(JPN Edition)
Trans. Inf.&Syst. (Free)
Trans. Inf.&Syst.
Trans. Inf.&Syst.(JPN Edition)
-
Link
Subscription
For Authors
Statistics:
Accepting ratio,review period etc.
IEICE Home Page
-
Others
Citation Index
Privacy Policy
Copyright & Permissions
Copyright (c) by IEICE
Keyword : program synthesis
C Description Reconstruction Method from a Revised Netlist for ECO Support
Yusuke KIMURA
Amir Masoud GHAREHBAGHI
Masahiro FUJITA
Publication:
Publication Date:
2018/04/01
Vol.
E101-A
No.
4
;
pp.
685-696
Type of Manuscript:
PAPER
Category:
VLSI Design Technology and CAD
Keyword:
C reconstruction
,
ECO
,
CEGIS
,
program synthesis
,
Summary
|
Full Text:PDF
(728.5KB)
An Automatic Selection Method of Key Search Algorithms
Masami SHISHIBORI
Junichi AOE
Ki-Hong PARK
Hisatoshi MOCHIZUKI
Publication:
IEICE TRANSACTIONS on Information and Systems
Publication Date:
1995/04/25
Vol.
E78-D
No.
4
;
pp.
383-393
Type of Manuscript:
PAPER
Category:
Software Systems
Keyword:
automatic selection of algorithms
,
priority cost
,
constraint relation
,
expert system
,
key search algorithm
,
program synthesis
,
Summary
|
Full Text:PDF
(895.7KB)
A Petri-Net-Based Programming Environment and Its Design Methodology for Cooperating Discrete Event Systems
Naoshi UCHIHIRA
Mikako ARAMI
Shinichi HONIDEN
Publication:
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date:
1992/10/25
Vol.
E75-A
No.
10
;
pp.
1335-1347
Type of Manuscript:
Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category:
Keyword:
high level petri net
,
cooperating discrete event system
,
concurrent program
,
design methodology
,
program synthesis
,
program verification
,
temporal logic
,
programming environment
,
Summary
|
Full Text:PDF
(972.7KB)
Automatic Software Reuse Process in Integrated CASE Environment
Masao MATSUMOTO
Publication:
IEICE TRANSACTIONS on Information and Systems
Publication Date:
1992/09/25
Vol.
E75-D
No.
5
;
pp.
657-673
Type of Manuscript:
Special Section PAPER (Special Issue on Software)
Category:
Keyword:
software reusable object
,
reusability process
,
differential specification
,
specification transformation
,
program synthesis
,
quantitative evaluation
,
Summary
|
Full Text:PDF
(1.2MB)