No. Title Author Year
1 08161 Abstracts Collection -- Scalable Program Analysis Martin, Florian et al. 2008
2 Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms Blieberger, Johann 2008
3 Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis Knoop, Jens 2008
4 Dependence Cluster Causes Binkley, Dave 2008
5 Parfait - Designing a Scalable Bug Checker Cifuentes, Cristina et al. 2008
6 Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely Gesellensetter, Lars 2008
7 Source-To-Source Analysis with SATIrE - an Example Revisited Schordan, Markus 2008
8 Towards Distributed Memory Parallel Program Analysis Quinlan, Daniel J. et al. 2008
9 Value Flow Graph Analysis with SATIrE Barany, Gergö 2008
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint Published by LZI