Sciweavers

5830 search results - page 328 / 1166
» Automatic link generation
Sort
View
DAC
1998
ACM
16 years 7 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
SIGSOFT
2007
ACM
16 years 7 months ago
Improving test case generation for web applications using automated interface discovery
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
William G. J. Halfond, Alessandro Orso
SIGMOD
2007
ACM
207views Database» more  SIGMOD 2007»
16 years 7 months ago
MySearchView: a customized metasearch engine generator
In this paper, we describe MySearchView ? a system for assembling search engines into metasearch engines. With this system, any user can create a metasearch engine by simply letti...
Yiyao Lu, Zonghuan Wu, Hongkun Zhao, Weiyi Meng, K...
CIKM
2009
Springer
16 years 1 months ago
Generating synopses for document-element search
Scientists often search for document-elements like tables, figures, or algorithm pseudo-codes. Domain scientists and researchers report important data, results and algorithms usi...
Sumit Bhatia, Shibamouli Lahiri, Prasenjit Mitra
FCCM
2007
IEEE
115views VLSI» more  FCCM 2007»
16 years 1 months ago
Generating FPGA-Accelerated DFT Libraries
We present a domain-specific approach to generate highperformance hardware-software partitioned implementations of the discrete Fourier transform (DFT) in fixed point precision....
Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryh...