10718 search results - page 1793 / 2144 » On the Circuit Implementation Problem |
162
Voted
AMAI
2005
Springer
15 years 6 months ago
2005
Springer
Many algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system, and thus on unsatisfiable instances they can be viewed as attempting to...
173
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
128
click to vote
IJSYSC
2007
15 years 6 months ago
2007
: This paper addresses the problem of attitude and heading restitution for a VTOL UAV. We describe an observation strategy to restitute the complete attitude matrix of the vehicle ...
199
click to vote
IJWGS
2007
15 years 6 months ago
2007
: Current grid technologies offer unlimited computational power and storage capacity for scientific research and business activities in heterogeneous areas all over the world. Than...
163
click to vote
TC
2008
15 years 6 months ago
2008
This paper presents a hybrid flash file system (HFFS) based on both NOR flash and NAND flash memory. In a conventional NAND flash-based flash file system, there is a trade-off betw...