3272 search results - page 554 / 655 » Introduction to Software Performance Engineering |
116
Voted
ICSEA
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper demonstrates that the algorithmic performance of end user programs may be greatly affected by the two or three level caching scheme of the processor, and we introduc...
118
Voted
ISPASS
2007
IEEE
15 years 9 months ago
2007
IEEE
Parameter variation due to manufacturing error will be an unavoidable consequence of technology scaling in future generations. The impact of random variation in physical factors s...
119
click to vote
ISPASS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we introduce PTLsim, a cycle accurate full system x86-64 microprocessor simulator and virtual machine. PTLsim models a modern superscalar out of order x86-64 proces...
101
Voted
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
131
Voted
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...