4359 search results - page 445 / 872 » Automated Pipeline Design |
220
click to vote
PADL
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
162
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...
192
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Motivation: In the field of bioinformatics there is an emerging need to integrate all knowledge discovery steps into a standardized modular framework. Indeed, component-based deve...
193
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
We apply Amdahl's Law to multicore chips using symmetric cores, asymmetric cores, and dynamic techniques that allows cores to work together on sequential execution. To Amdahl...
162
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
— Although the LUT (look-up table) size of FPGAs has been optimized for general applications, complicated designs may contain a large number of cascaded LUTs between flip-flops...