6014 search results - page 837 / 1203 » Parametric Analysis of Computer Systems |
175
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
187
click to vote
IWNAS
2008
IEEE
16 years 1 months ago
2008
IEEE
We study parallel job scheduling, where each job may be scheduled on any number of available processors in a given parallel system. We propose a mathematical model to estimate a j...
138
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
The low cost of clusters built using commodity components has made it possible for many more users to purchase their own supercomputer. However, even modest-sized clusters make si...
210
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
156
click to vote
ISPD
2006
ACM
16 years 20 days ago
2006
ACM
The existing decoupling capacitance optimization approaches meet constraints on input impedance for package. In this paper, we show that using impedance as constraints leads to la...