14720 search results - page 454 / 2944 » Interface |
179
Voted
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
165
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
152
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Typically, users submit very simple search queries to digital document data collections. Often these queries can result in extremely broad answers or answers in which document rel...