Sciweavers

138 search results - page 10 / 28
» On proximity oblivious testing
Sort
View
SIGMOD
2005
ACM
360views Database» more  SIGMOD 2005»
15 years 10 months ago
NaLIX: an interactive natural language interface for querying XML
Database query languages can be intimidating to the nonexpert, leading to the immense recent popularity for keyword based search in spite of its significant limitations. The holy ...
Yunyao Li, Huahai Yang, H. V. Jagadish
ISQED
2007
IEEE
156views Hardware» more  ISQED 2007»
15 years 4 months ago
A New Method of Implementing Hierarchical OPC
For emerging deep-subwavelength lithography technologies (90 nm and following) the data volume and the complexity of Optical Proximity Correction (OPC) have increased dramatically...
Yufu Zhang, Zheng Shi
BIRTHDAY
2003
Springer
15 years 1 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 5 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
SIGIR
2009
ACM
15 years 4 months ago
Positional language models for information retrieval
Although many variants of language models have been proposed for information retrieval, there are two related retrieval heuristics remaining “external” to the language modelin...
Yuanhua Lv, ChengXiang Zhai