628 search results - page 79 / 126 » Scheduling Algorithm with Potential Behaviors |
FMCAD
2009
Springer
15 years 6 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
AAAI
2006
15 years 1 months ago
2006
The importance of the problems of contingent planning with actions that have non-deterministic effects and of planning with goal preferences has been widely recognized, and severa...
113
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
3D stacked wafer integration has the potential to improve multiprocessor system-on-chip (MPSoC) integration density, performance, and power efficiency. However, the power density...
SIGECOM
2010
ACM
15 years 1 days ago
2010
ACM
Cut games and party affiliation games are well-known classes of potential games. Schaffer and Yannakakis showed that computing pure Nash equilibrium in these games is PLScomplete....
100
click to vote
ISLPED
2003
ACM
15 years 5 months ago
2003
ACM
This paper addresses two aspects of low-power design for FPGA circuits. First, we present an RT-level power estimator for FPGAs with consideration of wire length. The power estima...