Keyword : SMT


SMT-Based Scheduling for Overloaded Real-Time Systems
Zhuo CHENG Haitao ZHANG Yasuo TAN Yuto LIM 
Publication:   
Publication Date: 2017/05/01
Vol. E100-D  No. 5 ; pp. 1055-1066
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
real-time schedulingSMToverloadsatisfiability problem
 Summary | Full Text:PDF(862.6KB)

Constraining a Generative Word Alignment Model with Discriminative Output
Chooi-Ling GOH Taro WATANABE Hirofumi YAMAMOTO Eiichiro SUMITA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/07/01
Vol. E93-D  No. 7 ; pp. 1976-1983
Type of Manuscript:  PAPER
Category: Natural Language Processing
Keyword: 
word alignmentdiscriminative modelgenerative modelhybridSMT
 Summary | Full Text:PDF(646.5KB)

A Resource-Shared VLIW Processor for Low-Power On-Chip Multiprocessing in the Nanometer Era
Kazutoshi KOBAYASHI Masao ARAMOTO Hidetoshi ONODERA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2005/04/01
Vol. E88-C  No. 4 ; pp. 552-558
Type of Manuscript:  Special Section PAPER (Special Section on Low-Power LSI and Low-Power IP)
Category: Digital
Keyword: 
parallel processingVLIWSMTlow powernanometerleakage power
 Summary | Full Text:PDF(1.1MB)

Optical Surface Mount Technology
Teiji UCHIDA Osamu MIKAMI 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1997/01/25
Vol. E80-C  No. 1 ; pp. 81-87
Type of Manuscript:  INVITED PAPER (Special Issue on Devices, Packaging Technology, and Subsystems for the Optical Access Network)
Category: Module and packaging technology
Keyword: 
SMToptical SMToptical device mountingoptical waveguideoptical SMD
 Summary | Full Text:PDF(537.8KB)