852 search results - page 106 / 171 » Understanding How the Requirements Are Implemented in Source... |
152
click to vote
PPOPP
1997
ACM
15 years 8 months ago
1997
ACM
As shared-memory multiprocessors become the dominant commodity source of computation, parallelizing compilers must support mainstream computations that manipulate irregular, point...
177
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
111
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
129
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
160
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Randomness extractors convert weak sources of randomness into an almost uniform distribution; the conversion uses a small amount of pure randomness. In algorithmic applications, t...