Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Title | Author(s) |
|---|---|---|
| Dec-2005 | Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | Pantelic, Vera |
| 2006 | Multi-view Software Architecture Reconstruction | Dezhkam, Nima |
| Apr-2005 | Documentation and Tools to Support Worst Case Execution Time Analysis | Sun, Jian |
| Aug-2005 | An Optimal Design Method for MRI Teardrop Gradient Waveforms | Ren, Tingting |
| 2006 | Dynamic Analysis of Software Systems Based on Sequential Pattern Mining | Safyallah, Hossein |
| Feb-2006 | A Propositional Proof System with Permutation Quantifiers | Paterson, Tim |
| Apr-2006 | Towards Automated Construction of Tabular Expressions | Wang, Yazhi |
| Jan-2011 | FASCS: A Family Approach for Developing Scientific Computing Software | Yu, Wen |
| May-2005 | Approximation to K-Means-Type Clustering | Wei, Yu |
| 1-Sep-2006 | Requirements Documentation for Manufacturing Systems: Template and Management Tool | Ahmadi, Mahnaz |
