The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Although FPGA based implementation of software can give us not only higher performance but also energy efficient computing, efficient implementation algorithms as hardware and as software can be significantly different. Typical high-level synthesis methods may not concentrate on this issue, as they are targeting general hardware designs. In this paper performance directed synthesis targeting throughput...
We discuss techniques by which C descriptions corresponding to given implementation designs can be automatically reproduced. Once they are generated, they are compared with the original C designs to make sure that the implementation designs are correct, i.e., they are equivalent to the original C designs. In the cases where ECO (Engineering Change Order) is applied to the implementation designs, the...
It is difficult to specify a system completely with formal methods. There are don't care situations which may not be so clearly defined, and behaviors of some special cases are hard to describe. Recently, it has been found that if the changes inside a design are local (limited within a set of sub-circuits), complete verification becomes feasible with small numbers of simulations. This gives us a way...
In this paper we discuss techniques by which system level designs in C can be automatically modified or refined to be equivalent to given implementation designs in RTL/netlists, assuming that the numbers of statements in C to be changed are small, e,g., one to several statements. This can correspond to the cases when RTL/gate-level ECO (Engineering Change Order) happens, as under ECO usually small...
We can detect cancer in the early stages by validating the expression of cancer specific nucleic acids in the blood. In this report, we have developed the micro device for performing real-time polymerase chain reaction (real-time PCR), one of the methods used for determining the quantity of nucleic acids, using a small volume of reagent. This all-in-one device can perform real-time PCR with the inclusion...
The force-balanced coil, which has a helical winding configuration, enables the reduction of electromagnetic forces. However, in the use of high-temperature superconducting (HTS) tapes, the in-plane curvature of helical coils may cause a decrease in the critical current due to the edgewise bending strain. The objective of this work is to establish the winding technique of helical coils without plastic...
In this paper we propose a new solution to the problem of model-based pose estimation and pose tracking, using a sequence of stereo images in which a small number of landmarks are detected on the object of interest. The landmarks are reconstructed in 3D and then the simultaneous pose and correspondence problem is solved with a novel algorithm, PC-SCO, based on stochastic combinatorial optimization...
A process for finding buried landmines by using GPRs is divided into two stages, detection and identification. In the detection stage, all buried objects including the desired landmines together with other clutter objects are detected. In the identification stage, the detected objects are classified and the landmines are differentiated from the other objects. In this research, we focus on the identification...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.