Sciweavers

6693 search results - page 254 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
MM
2009
ACM
154views Multimedia» more  MM 2009»
16 years 28 days ago
Generating location overviews with images and tags by mining user-generated travelogues
Automatically generating location overviews in the form of both visual and textual descriptions is highly desired for online services such as travel planning, to provide attractiv...
Qiang Hao, Rui Cai, Xin-Jing Wang, Jiang-Ming Yang...
TSE
2010
161views more  TSE 2010»
15 years 4 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 9 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
DAC
2000
ACM
16 years 7 months ago
Power minimization using control generated clocks
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
M. Srikanth Rao, S. K. Nandy
170
Voted
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
16 years 27 days ago
Random Stimulus Generation using Entropy and XOR Constraints
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
Stephen Plaza, Igor L. Markov, Valeria Bertacco