601 search results - page 115 / 121 » Edge-dominating cycles in graphs |
113
click to vote
MICRO
1998
IEEE
15 years 6 months ago
1998
IEEE
Clustering is one solution to the demand for wideissue machines and fast clock cycles because it allows for smaller, less ported register files and simpler bypass logic while rema...
117
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
113
click to vote
ISCA
1992
IEEE
15 years 6 months ago
1992
IEEE
A quantitative analysis of program execution is essential to the computer architecture design process. With the current trend in architecture of enhancing the performance of unipr...
100
click to vote
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
144
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...