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 |
Discover
Author
Subject
Date issued