Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Title | Author(s) |
---|---|---|
Feb-2007 | Implementation of Tabular Verification and Refinement | Zhou, Ning |
May-2007 | Global Routing in VLSI: Algorithms, Theory, and Computation | Dickson, Chris |
Jul-2007 | Feature-Oriented Design Pattern Detection in Object-Oriented Systems | Hu, Lei |
Aug-2007 | Hyperplane Arrangements with Large Average Diameter | Xie, Feng |
Aug-2007 | Lempel-Ziv Factorization Using Less Time and Space | Chen, Gang |
Sep-2007 | Verification of Haskell Type Classes | Wang, Feng |
Aug-2007 | Architecture-Based Software Evolution: A Multi-Dimensional Approach | Wang, Huan |
Jul-2007 | Colourful Feasibility: Algorithms, Bounds and Implications | Huang, Sui |
Jan-2007 | DynaComm: The Extension of CommUnity to Support Dynamic Reconfiguration | Ling, Xiang |
Aug-2007 | On The Practice of B-ing Earley | Zingaro, Daniel C. |
Discover
Author