592 search results - page 62 / 119 » Analytical Tools for Natural Algorithms |
95
Voted
IESS
2007
Springer
15 years 6 months ago
2007
Springer
: Much effort in RTL design has been devoted to developing “push-button” types of tools. However, given the highly complex nature, and lack of control on RTL design, push-butt...
107
click to vote
TVLSI
2008
15 years 15 days ago
2008
Much effort in register transfer level (RTL) design has been devoted to developing "push-button" types of tools. However, given the highly complex nature, and lack of con...
117
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
116
Voted
TCS
2002
15 years 8 days ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
120
click to vote
IMC
2006
ACM
15 years 6 months ago
2006
ACM
This paper addresses the difficult problem of selecting representative samples of peer properties (e.g., degree, link bandwidth, number of files shared) in unstructured peer-to-p...