4573 search results - page 770 / 915 » Automated Reasoning |
131
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Many image and signal processing kernels can be optimized for performance consuming a reasonable area by doing loops parallelization with extensive use of pipelining. This paper p...
123
click to vote
TFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
153
click to vote
DSOM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
100
Voted
ICPADS
2008
IEEE
15 years 9 months ago
2008
IEEE
Peer-to-Peer systems have become a substantial element in computer networking. Distributing the load and splitting complex tasks are only some reasons why many developers have com...
119
click to vote
ISCAS
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper presents ATLAS - a framework for automated analog circuit synthesis that comprises of both topology generation and subsequent circuit sizing. A hierarchically arrang...