IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 21 - 26 of 26 [Previous]  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM
(Joint) [detail]
2008-11-18
13:25
Fukuoka Kitakyushu Science and Research Park Generation of High Coverage Property Set Using Counterexamples
Takeshi Matsumoto, Yeonbok Lee, Hiroaki Yoshida (Univ. of Tokyo), Hisashi Yomiya (Toshiba Corporation), Masahiro Fujita (Univ. of Tokyo)
 [more] VLD2008-79 DC2008-47
pp.115-120
DC, CPSY, IPSJ-SLDM, IPSJ-EMB 2008-03-28
08:45
Kagoshima   A Hardware Acceleration for Semi-Formal Model Checking
Satoshi Morishita, Hiroaki Yoshida, Masahiro Fujita (Univ of Tokyo) DC2007-103 CPSY2007-99
The verification becomes important now as the design becomes complex and large-scale.Model checking which is one of the ... [more] DC2007-103 CPSY2007-99
pp.115-120
SS 2008-03-03
15:25
Nagasaki Nagasaki Univ. Specification Description and High-level Design Methodology of SoC Considering Design Reuse
Yeonbok Lee, Yuji Ishikawa, Yoshihisa Kojima, Hiroaki Yoshida (Tokyo Univ.), Hisashi Yomiya (TOSHIBA Corp.), Satoshi Komatsu, Masahiro Fujita (Tokyo Univ.) SS2007-66
 [more] SS2007-66
pp.55-60
ED 2006-08-03
16:05
Osaka Osaka Univ. Convention Center Application of Diamond Discharge Cathode to Cold Cathode Fluorescent Lamps for LCD Backlighting
Tomio Ono, Tadashi Sakai, Naoshi Sakuma, Mariko Suzuki, Hiroaki Yoshida (Toshiba Corp.)
A cold cathode fluorescent lamp (CCFL) is a gas discharge light source widely used for liquid crystal display (LCD) back... [more] ED2006-125
pp.41-46
ED, CPM, SDM 2006-05-19
13:35
Aichi VBL, Toyohashi University of Technology Electrical characteristics of n-type diamond Schottky diodes and metal/diamond interfaces
Mariko Suzuki (Toshiba), Satoshi Koizumi (NIMS), Masayuki Katagiri (Univ of Tsukuba), Tomio Ono, Naoshi Sakuma, Hiroaki Yoshida, Tadashi Sakai (Toshiba)
 [more] ED2006-37 CPM2006-24 SDM2006-37
pp.95-100
VLD, ICD, DC, IPSJ-SLDM 2005-12-02
13:55
Fukuoka Kitakyushu International Conference Center Exact Minimum Factoring via Quantified Boolean Satisfiability
Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada (Univ. of Tokyo)
 [more] VLD2005-83 ICD2005-178 DC2005-60
pp.41-46
 Results 21 - 26 of 26 [Previous]  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan