Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The Future of Formal Methods and GALS Design | 6 | 0.52 | 2009 |
| Automatic synthesis of computation interference constraints for relative timing verification | 17 | 1.03 | 2009 |
| Performance Evaluation of Elastic GALS Interfaces and Network Fabric | 11 | 0.63 | 2008 |