|
Vol.E78-A No.11
pp.1487-1497
Special SectionPAPER
Practical Program Validation for State-Based Reactive Concurrent Systems--Harmonization of Simulation and Verification--
Naoshi UCHIHIRA, Hideji KAWATA, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1498-1503
Special SectionPAPER
An Analysis of Simulation between Petri Nets through Rewriting Logic
Yasuyuki TAHARA, Shinichi HONIDEN, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1504-1510
Special SectionPAPER
An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction
Toshiyuki MIYAMOTO, Dong-Ik LEE, Sadatoshi KUMAGAI, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1511-1518
Special SectionPAPER
Petri Nets-Based Super Scalar Computing in Programmable Controllers
Naehyuck GHANG, Jaehyun PARK, Wook Hyun KWON, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1519-1526
Special SectionPAPER
Evaluation of Transmission Control Method in a Slotted Ring Network
Ken TERUYA, Norio SHIRATORI, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1527-1527
FOREWORD
FOREWORD
Masakazu SENGOKU, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1528-1530
Special SectionLETTER
A Study on Start-Up Characteristics of Crystal Oscillators Using Resonators with Nonlinear Drive Level Characteristics
Naoto OHTAKA, Yasuaki WATANABE, Hiroshi SEKIMOTO, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1531-1533
Special SectionLETTER
A Clock-Feedthrough and Offset Compensated Fully-Differential Switched-Current Circuit
Hyeong-Woo CHA, Kenzo WATANABE, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1534-1536
Special SectionLETTER
On a Problem of Designing a 2-Switch Node Network
Yoshitsugu TSUCHIYA, Yoshihiro KANEKO, Kazuo HORIUCHI, |
|
Summary | Full Text:PDF | |
|
Vol.E78-A No.11
pp.1537-1541
Special SectionLETTER
Improvement of Performance by Method for Predicting Targets in Pointing by Mouse
Atsuo MURATA, |
|
Summary | Full Text:PDF | |
|
Current List: 38031 - 38040
|