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
- 1 design, configurable, alternate f...
- 1 design, implementation, solver, h...
- 1 dielectric relaxation
- 1 Dynacomm, commUnity, dynamic reco...
- 1 Earley's parsing algorithm, gramm...
- 1 error
- 1 experimental implementation, acti...
- 1 FASCS
- 1 feature-oriented, design pattern ...
- 1 fibre directions
- . < previous next >
Date issued