13004 search results - page 2384 / 2601 » Mining Software Data |
187
Voted
VMCAI
2004
Springer
16 years 12 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
225
click to vote
XPU
2004
Springer
16 years 12 days ago
2004
Springer
We describe how a small, successful, self-selected XP team approached a seemingly intractable problem with panache, flair and immodesty. We rewrote a legacy application by deliver...
174
Voted
CGO
2010
IEEE
16 years 11 days ago
2010
IEEE
Cross-core application interference due to contention for shared on-chip and off-chip resources pose a significant challenge to providing application level quality of service (Qo...
228
Voted
VEE
2010
ACM
16 years 11 days ago
2010
ACM
Crash dump, or core dump is the typical way to save memory image on system crash for future offline debugging and analysis. However, for typical server machines with likely abund...
237
click to vote
ISPASS
2003
IEEE
16 years 10 days ago
2003
IEEE
Achieving high performance in cryptographic processing is important due to the increasing connectivity among today’s computers. Despite steady improvements in microprocessor and...