|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
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 |
|
|
|
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]
|