641 search results - page 73 / 129 » Modernizing Plan-Composition Studies |
103
click to vote
FPGA
2009
ACM
15 years 8 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
113
click to vote
EIT
2009
IEEE
15 years 8 months ago
2009
IEEE
—System-level design (SLD) provides a solution to the challenge of increasing design complexity and time-to-market pressure in modern embedded system designs. In this paper, we p...
SAT
2009
Springer
15 years 8 months ago
2009
Springer
The concept of backdoor variables has been introduced as a structural property of combinatorial problems that provides insight into the surprising ability of modern satisfiability...
123
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
101
click to vote
ICTAI
2008
IEEE
15 years 8 months ago
2008
IEEE
Handling redundancy in propositional reasoning and search is an active path of theoretical research. For instance, the complexity of some redundancy-related problems for CNF formu...