5525 search results - page 1008 / 1105 » Verification of Model Transformations |
138
Voted
MICRO
1997
IEEE
15 years 5 months ago
1997
IEEE
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
119
Voted
DAC
1997
ACM
15 years 5 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
105
Voted
STOC
1997
ACM
15 years 5 months ago
1997
ACM
Abstract. We study online learning algorithms that predict by combining the predictions of several subordinate prediction algorithms, sometimes called “experts.” These simple a...
100
Voted
APN
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
155
click to vote
ICPP
1996
IEEE
15 years 5 months ago
1996
IEEE
Data locality and synchronization overhead are two important factors that affect the performance of applications on multiprocessors. Loop fusion is an effective way for reducing s...