957 search results - page 90 / 192 » Modular Static Program Analysis |
139
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
126
click to vote
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
170
click to vote
PPOPP
2011
ACM
14 years 5 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
202
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
137
click to vote
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...