2673 search results - page 449 / 535 » Guided Static Analysis |
152
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
158
Voted
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditionally, human facial expressions have been studied using either 2D static images or 2D video sequences. The 2D-based analysis is incapable of handing large pose variations....
133
Voted
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
170
click to vote
WSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The widespread adoption of web services as an instant means of information dissemination and various other transactions, has essentially made them a key component of today’s Int...
141
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...