817 search results - page 78 / 164 » On 2-factors with k components |
154
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
134
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
Signi cant advances have been made in the area of macro planning for assembly operations i.e., dividing a product into sub-assemblies, determining the sequence of assembly operati...
170
click to vote
RSP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents an algorithm for the automatic mapping of problem specifications to existing architecture templates. The proposed methodology supports the combination of exist...
141
click to vote
IUI
1998
ACM
15 years 10 months ago
1998
ACM
Applications are often designed to take advantage of the potential for integration with each other via shared information. Current approaches for integration are limited, affectin...
159
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...