67 search results - page 12 / 14 » Generating Tests for Control Portion of SDL Specifications |
ASPDAC
1995
ACM
15 years 3 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
107
click to vote
IJCAI
1989
15 years 24 days ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
104
click to vote
ISBI
2002
IEEE
16 years 10 days ago
2002
IEEE
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
113
Voted
DEBS
2008
ACM
15 years 1 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
BMCBI
2006
14 years 11 months ago
2006
Background: Many vital biological processes, including transcription and splicing, require a combination of short, degenerate sequence patterns, or motifs, adjacent to defined seq...