7065 search results - page 1299 / 1413 » Iterative Scheduling Algorithms |
261
click to vote
FMCAD
1998
Springer
15 years 9 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
142
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Combinations of evolutionary based approaches with local search have provided very good results for a variety of scheduling problems. This paper describes the development of such a...
128
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
140
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...
127
click to vote
EENERGY
2010
15 years 8 months ago
2010
Energy-efficient computing as a research area has been receiving increasing attention in recent years due to rising energy costs and environmental awareness. In this paper, we pre...