121
Voted
DAC
1999
ACM
16 years 7 months ago
1999
ACM
99
Voted
DAC
1999
ACM
16 years 7 months ago
1999
ACM
155
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
A 550MHz 64b PowerPC processor was developed for fabrication in Silicon-On-Insulator (SOI) technology from a processor previously designed and fabricated in bulk CMOS [1]. Both th...
142
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
176
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
168
Voted
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Power consumption has become one of the biggest challenges in high-performance microprocessor design. The rapid increase in the complexity and speed of each new CPU generation is ...
