Proceedings of the 11th Joint Conference on Information Sciences (JCIS 2008)

Session: 9th International Conference on Computer Science and Informatics

15 articles
Proceedings Article

Speedup Factor Estimation through Dynamic Behavior Analysis for FPGA

Zhongda Yuan, Jinian Bian, Qiang Wu, Oskar Mencer
In reconfigurable platform, before convert and download program into real hardware, reliable estimation of speedup factor is of great importance for task schedulers. In this paper, a novel technique for speedup factor estimation is proposed. From the event patterns collected by hardware counters built...
Proceedings Article

Multilevel Based Global Routing Algorithm for Hierarchical FPGA

Limin Zhu, Jinan Bian, Qiang Zhou, Xianlong Hong
This paper presents an efficient global routing algorithm for a hierarchical inter-connection architecture of FPGA. What is different from the traditional FPGA rout-ing algorithm is that the proposed algo-rithm takes advantage of the hierarchical structure of this particular FPGA. We use a hierarchical...
Proceedings Article

Fast Wirelength-driven Partition-based Placement for Island Style FPGAs

Wentao Sui, Sheqin Dong, Jinian Bian, Xianlong Hong
In this paper, we propose a placement method for island-style FPGAs. This me-thod consists of three steps: recursive bi-partition with terminal propagation con-sideration, minimum-cost flow initial placement and low temperature simulated annealing optimization. Unlike the traditional partitioning-based...
Proceedings Article

Physical Information Driven Packing Method in FPGA

Wentao Sui, Sheqin Dong, Jinian Bian, Hong Xianlong
Packing-integrating basic logic units into higher level logic unit-is an important step in cluster-based hierarchical FPGA placement. The physical information of logic block acquiring before packing has a real influence over both wirelength-driven and timing-driven packing algo-rithms. A new packing...
Proceedings Article

Even Distribution Evaluation in Random Stimulus Generation

Zhiqiu Kong, Shujun Deng, Jinian Bian, Yanni Zhao
This paper has two contributions: First is to analyze the entropy evaluation for random stimulus generation in one paper of DATE 2008; second is to present better methods to evaluate the solutions’ even distribution for random stimulus generation. An evaluation strategy called min-distance-sum takes...
Proceedings Article

RTL Test Generation via Fault Insertion and Hybrid Satisfiability Solving

Weimin Wu
Test generation at RTL (Register-Transfer Level) is a challenging task be-cause bit and word variables co-existent and the high-level functional units impose more complex constraints. We propose an effective way to the problem. In our method, given the circuit as well as the fault point to be checked,...
Proceedings Article

Driver Fatigue Detection based on Eye State Analysis

Yong Du, Peijun Ma, Xiaohong Su, Yingjun Zhang
Driver fatigue is one of the important fac-tors in a large number of traffic accidents. Eye states (full open, half open or closed) analysis is an efficient measure to evalu-ate driver’s alertness. In this paper, we present an effective vision-based driver fatigue detection method. Firstly, the in-terframe...
Proceedings Article

Power aware accuracy-guaranteed fractional bit-widths optimization

Linsheng Zhang, Yan Zhang, Wenbiao Zhou
A novel power aware accuracy-guaranteed fractional bit-widths optimization scheme for floating-point to fixed-point transformation of DSP algorithms is presented in this paper. Quantization-Operation-Error (QOE) model is used to construct the worst case quantization error propagation. Based on QOE, a...
Proceedings Article

A Fixed-outline Floorplanning Method Based on 2.5D

Sheqin Dong, Qi Xie
In this paper, a fixed-outline floorplan-ning algorithm based on 2.5D is proposed. By using constraints of area and number of pins to divide the modules into 4 layers, it confines the variations of the widths of the floorplans to a small region through common subsequence of sequence pair representation....
Proceedings Article

Recommender System based on Higher-order Logic Data Representation

Linna Li, Bingru Yang, Zhuo Chen
Collaborative Filtering help users to deal with information overload and guide them in a personalized way to interesting or useful objects in a large space of possible options. In this paper, we present a novel and elegant hybrid recommender system called HOLCF, which use higher-order logic as data representation...
Proceedings Article

A Petri-Net Based Approach to Verifying Compositional Correctness of System Components

King Sing Cheung
In component-based system design, one need to obtain from a given set of com-ponents an integrated system which is correct in the sense that the system is live, bounded and reversible. In this paper, based on the composition of augmented marked graphs, we propose a method for verifying correctness of...
Proceedings Article

Technical Research on Describing Reconfigurable Systems by Object Oriented Petri net

Jun Guo, Sheqin Dong, Kegang Hao, Satoshi Goto
An object oriented Petri net was proposed in order to describe reconfigurable systems. The formal definitions of this kind of Petri net were presented carefully. The methods of subnet partition were discussed in details. And techniques of mapping objects to reconfigurable platform were discussed as well....
Proceedings Article

Application of Linear Model Fitting in Image Edge Fast Detection

Peng Wang, Zhao Wei
A linear model parameter estimation method is proposed based on Bayesian treatment in addition to the linear least squares ,The detail algorithm of one order linear model parameter estimation was introduced in the paper , it can also be used to the parameter estimation of multi-order linear model .we...
Proceedings Article

A Software Dependability Growth Model based on Self-Reconfiguration

Qian Zhao, HuiQiang Wang, HongWu Lv, Guangsheng Feng
With wide application of computers, software quality attracts people`s atten-tion. Traditional software dependability theory can’t satisfy people`s requirement, which need induct new idea to resolve the serious software quality crisis. This paper uses self-reconfiguration mechanism of Autonomic Computing...
Proceedings Article

Intelligent Retrieval System for Patent Analysis - the Combined use of Bibliographic Coupling and Text Mining

Su-Houn Liu, Hsiu-Li Liao, Jing-Wen Hu
When technology developments accelerate in recent year, automatic tools for assisting patent engineers or decision makers in patent analysis are in great demand. By composing both bibliographic coupling and text mining approaches, this study proposes an intelligent patent retrieval system that considers...