11321 search results - page 2153 / 2265 » Improvements to Turing's method |
153
click to vote
IPPS
2006
IEEE
16 years 8 days ago
2006
IEEE
In recent years, several approaches have been proposed to use profile information in compiler optimization. This profile information can be used at the source level to guide loo...
142
click to vote
ISCA
2006
IEEE
16 years 8 days ago
2006
IEEE
Thread-level speculation (TLS) has proven to be a promising method of extracting parallelism from both integer and scientific workloads, targeting speculative threads that range ...
149
click to vote
ISESE
2006
IEEE
16 years 8 days ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
147
Voted
LCN
2006
IEEE
16 years 8 days ago
2006
IEEE
: A multi-rate capable IEEE 802.11a/b/g node can utilize different link-layer transmission rates. Interestingly, multi-rate capability is defined by IEEE 802.11 standards only for...
163
Voted
MICRO
2006
IEEE
16 years 8 days ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...