Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Title | Author(s) |
|---|---|---|
| Jan-2011 | FASCS: A Family Approach for Developing Scientific Computing Software | Yu, Wen |
| Feb-2006 | A Propositional Proof System with Permutation Quantifiers | Paterson, Tim |
| Apr-2006 | Towards Automated Construction of Tabular Expressions | Wang, Yazhi |
| Dec-2005 | Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking | Pantelic, Vera |
| 3-May-2005 | Design of a Configurable Alternate Fuel Injection Controller | Dagenais, Kevin |
| Sep-2006 | Queueing Networks with Limited Flexibility | Liuxing, Kan |
| 2006 | Multi-view Software Architecture Reconstruction | Dezhkam, Nima |
| Apr-2005 | Documentation and Tools to Support Worst Case Execution Time Analysis | Sun, Jian |
| Sep-2005 | Implementation of Pattern Matching Calculus Using Type-Indexed Expressions | Ji, Xiaoheng |
| 18-Aug-2005 | Symbolic Interpretation of Legacy Assembly Language | Chowdhury, Pulak Kumar |
