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 |
3-May-2005 | Design of a Configurable Alternate Fuel Injection Controller | Dagenais, Kevin |
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 |
May-2005 | Design and Implementation of a Solver for High-Index Differential-Algebraic Equations | Zhang, Wanhe |
May-2005 | Approximation to K-Means-Type Clustering | Wei, Yu |
19-Dec-2005 | Predictable Run Time Scheduling | Torenvliet, Nick |
Aug-2005 | An Optimal Design Method for MRI Teardrop Gradient Waveforms | Ren, Tingting |
May-2005 | Magnetic Resonance Tissue Quantification Using Optimal Pulse Sequence Design | Zheng, Zhuo |
Discover
Author
Subject
- 2 Computing and Software
- 1 approximation methods, clustering...
- 1 Computer Engineering
- 1 design, configurable, alternate f...
- 1 design, implementation, solver, h...
- 1 optimal design method, MRi Teardr...
- 1 pattern matching, calculus, type-...
- 1 run time, scheduling, predictable...
- 1 symbolic, interpretation, legacy ...