Sciweavers

551 search results - page 97 / 111
» On the design of metaheuristic algorithms using fuzzy rules
Sort
View
PLDI
2010
ACM
15 years 2 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
DAC
2010
ACM
15 years 29 days ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
74
Voted
ICCAD
2008
IEEE
141views Hardware» more  ICCAD 2008»
15 years 6 months ago
Layout decomposition for double patterning lithography
In double patterning lithography (DPL) layout decomposition for 45nm and below process nodes, two features must be assigned opposite colors (corresponding to different exposures)...
Andrew B. Kahng, Chul-Hong Park, Xu Xu, Hailong Ya...
DEXAW
2006
IEEE
133views Database» more  DEXAW 2006»
15 years 3 months ago
A High-Level Architecture of a Metadata-based Ontology Matching Framework
One of the pre-requisites for the realization of the Semantic Web vision are matching techniques which are capable of handling the open, dynamic and heterogeneous nature of the se...
Malgorzata Mochol, Elena Paslaru Bontas Simperl
74
Voted
VLDB
2004
ACM
127views Database» more  VLDB 2004»
15 years 3 months ago
Computing Frequent Itemsets Inside Oracle 10G
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...
Wei Li, Ari Mozes