Ning FU


A Formal Model to Enforce Trustworthiness Requirements in Service Composition
Ning FU Yingfeng ZHANG Lijun SHAN Zhiqiang LIU Han PENG 
Publication:   
Publication Date: 2017/09/01
Vol. E100-D  No. 9  pp. 2056-2067
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
trustworthy softwareprocess algebrapi-calculusQ-algebrasemi-ring
 Summary | Full Text:PDF(798KB)

The Oct-Touched Tile: A New Architecture for Shape-Based Routing
Ning FU Shigetoshi NAKATAKE Yasuhiro TAKASHIMA Yoji KAJITANI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/02/01
Vol. E89-A  No. 2  pp. 448-455
Type of Manuscript:  Special Section PAPER (Special Section on Analog Circuit Techniques and Related Topics)
Category: 
Keyword: 
analog layoutshape-based routingrouting architecturetile
 Summary | Full Text:PDF(1.1MB)

Abstraction and Optimization of Consistent Floorplanning with Pillar Block Constraints
Ning FU Shigetoshi NAKATAKE Yasuhiro TAKASHIMA Yoji KAJITANI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/12/01
Vol. E87-A  No. 12  pp. 3224-3232
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Floorplan
Keyword: 
abstract floorplanconsistent floorplanpillar
 Summary | Full Text:PDF(600.6KB)