4719 search results - page 871 / 944 » Spreadsheet functional programming |
108
Voted
MTV
2007
IEEE
15 years 8 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
108
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
107
click to vote
ICPP
2006
IEEE
15 years 8 months ago
2006
IEEE
The MPI standard provides tool builders with an efficient profiling interface, PMPI. Although many tools have successfully used this interface, it has three major drawbacks: a n...
ISQED
2006
IEEE
15 years 8 months ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...
129
click to vote
MICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...