32032 search results - page 6013 / 6407 » Verified programming in Guru |
178
click to vote
CISIS
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper proposes a fast AND/OR tree search algorithm using a multiple-paths concurrent search method. Conventional heuristic AND/OR tree search algorithms expand nodes in only ...
231
click to vote
ECBS
2009
IEEE
16 years 2 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
179
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Deriving nearly 90% of its primary energy resources from oil, the State of Hawaii is more dependent on oil than any other U.S. state. The price of electricity in Hawaii is also mo...
217
click to vote
HPCA
2009
IEEE
16 years 2 months ago
2009
IEEE
As transistor process technology approaches the nanometer scale, process variation significantly affects the design and optimization of high performance microprocessors. Prior stu...
232
click to vote
IEEEARES
2009
IEEE
16 years 2 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...