3227 search results - page 542 / 646 » Software engineering and performance: a road-map |
167
click to vote
ISPASS
2008
IEEE
16 years 24 days ago
2008
IEEE
Many programs go through phases as they execute. Knowing where these phases begin and end can be beneficial. For example, adaptive architectures can exploit such information to lo...
168
click to vote
ICSEA
2007
IEEE
16 years 21 days 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...
168
click to vote
ISPASS
2007
IEEE
16 years 21 days 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...
166
click to vote
ISPASS
2007
IEEE
16 years 21 days 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...
152
click to vote
TASE
2007
IEEE
16 years 20 days 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...