2947 search results - page 142 / 590 » Analyzing Program Analyses |
252
click to vote
SOFTWARE
2011
15 years 1 days ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
227
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
165
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
125
click to vote
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
129
click to vote
CIA
2000
Springer
15 years 9 months ago
2000
Springer
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...