2194 search results - page 354 / 439 » Improving HLRTA*( k ) |
121
click to vote
DAC
2009
ACM
15 years 7 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...
90
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
140
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— A hyperheuristic is a high level problem solving methodology that performs a search over the space generated by a set of low level heuristics. One of the hyperheuristic framewo...
103
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— Hyper-heuristics or “heuristics to chose heuristics” are an emergent search methodology that seeks to automate the process of selecting or combining simpler heuristics in o...
58
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Future computing systems will feature many cores that run fast, but might show more faults compared to existing CMOS technologies. New software methodologies must be adopted to ...