Learn More
In this paper, a corner block list -- a new efficient topological representation for non-slicing floorplan is proposed with applications to VLSI floorplan and building block placement. Given a corner block list, it takes only linear time to construct the floorplan. Unlike the O-tree structure, which determines the exact floorplan based on given block sizes,(More)
The satissability (SAT) problem is a core problem in mathematical logic and computing theory. In practice, SAT is fundamental in solving many problems in automated reasoning, computer-aided design, computer-aided manufacturing, machine vision, database, robotics, integrated circuit design, computer architecture design, and computer network design.(More)
Paeoniflorin (PF), the principal component of Paeoniae Radix prescribed in traditional Chinese medicine, has been reported to exhibit many pharmacological effects including protection against ischemic injury. However, the mechanisms underlying the protective effects of PF on cerebral ischemia are still under investigation. The present study showed that PF(More)
This paper deals with area minimization of power distribution network for VLSIs. A new algorithm based on efficient nonlinear programming techniques is presented to solve this problem. The experiment results prove that this algorithm has achieved the objects that minimize the area of power/ground networks with higher speed.
—This paper discusses quality-of-service (QoS) mul-ticast in wavelength-division multiplexing (WDM) networks. Given a set of QoS multicast requests, we are to find a set of cost suboptimal QoS routing trees and assign wavelengths to them. The objective is to minimize the number of wavelengths in the system. This is a challenging issue. It involves not only(More)
We are just beginning to understand how microRNAs (miRNAs) are involved in tumor-related processes in humans. Applying real-time RT-PCR, we investigated the miR-31, miR-143 and miR-145 expression in 98 primary CRC specimens, along with the corresponding normal mucosa specimens, and analyze the relationship of their expression with clinicopathological(More)
The abutment constraint problem is one of the common constraints in practice to favor the transmission of data between blocks. Based on Corner Block List(CBL), a new algorithm to deal with abutment constraints is developed in this paper. We can obtain the abutment information by scanning the intermediate solutions represented by CBL in linear time during(More)