2673 search results - page 440 / 535 » Guided Static Analysis |
115
click to vote
WSDM
2010
ACM
16 years 1 months ago
2010
ACM
Many web documents are dynamic, with content changing in varying amounts at varying frequencies. However, current document search algorithms have a static view of the document con...
144
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
We present a static analysis for the automatic generation of symbolic prefetches in a transactional distributed shared memory. A symbolic prefetch specifies the first object to be...
104
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Post-fabrication tuning provides a promising design approach to mitigate the performance and power overheads of process variation in advanced fabrication technologies. ...
130
click to vote
ISQED
2010
IEEE
15 years 11 months ago
2010
IEEE
With the CMOS transistors being scaled to sub 45nm and lower, Negative Bias Temperature Instability (NBTI) has become a major concern due to its impact on PMOS transistor aging pr...
149
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...