Sciweavers

4266 search results - page 102 / 854
» Search for More Declarativity
Sort
View
ICCAD
2005
IEEE
83views Hardware» more  ICCAD 2005»
16 years 1 months ago
Post-placement rewiring and rebuffering by exhaustive search for functional symmetries
Separate optimizations of logic and layout have been thoroughly studied in the past and are well documented for common benchmarks. However, to be competitive, modern circuit optim...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
CP
2009
Springer
15 years 11 months ago
Pin Assignment Using Stochastic Local Search Constraint Programming
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
Bella Dubrov, Haggai Eran, Ari Freund, Edward F. M...
WABI
2009
Springer
130views Bioinformatics» more  WABI 2009»
15 years 11 months ago
Linear-Time Protein 3-D Structure Searching with Insertions and Deletions
It becomes more and more important to search for similar structures from molecular 3-D structure databases in the structural biology of the post genomic era. Two molecules are said...
Tetsuo Shibuya, Jesper Jansson, Kunihiko Sadakane
BIBE
2005
IEEE
126views Bioinformatics» more  BIBE 2005»
15 years 10 months ago
Suboptimal Alignments Improve the Detection of Weak Homologs in Sequence Database Searches
PSI-BLAST remains one of the popular tools for searching remote homologs in sequence databases. We recently demonstrated that hybrid alignment can function as the alignment core f...
Yuheng Li, Mario Lauria, Ralf Bundschuh
SADFE
2005
IEEE
15 years 9 months ago
Digital Evidence Search Kit
With the rapid development of electronic commerce and Internet technology, cyber crimes have become more and more common. There is a great need for automated software systems that...
K. P. Chow, C. F. Chong, Pierre K. Y. Lai, Lucas C...