214 search results - page 31 / 43 » Automatic Correction of Loop Transformations |
143
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
123
click to vote
TCS
2010
15 years 27 days ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
131
Voted
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Automatic, defect tolerant registration of transmission electron microscopy (TEM) images poses an important and challenging problem for biomedical image analysis, e.g. in computat...
126
Voted
SIGSOFT
2010
ACM
15 years 12 days ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
212
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...