Abstract is missing.
- Compositional performance verification of NoC designsDaniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia. 1-10 [doi]
- A correlation preserving performance analysis for stream processing systemsGideon Smeding, Gregor Gößler. 11-20 [doi]
- Clearing the clutter: Unified modeling and verification methodology for system level hardware designYosinori Watanabe, Stuart Swan. 21-23 [doi]
- Improving design verifiability by early RTL coverability analysisKai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu. 25-32 [doi]
- FAST: Formal specification driven test harness generationJiong Gong, Yun Wang, Haihao Shen, Xu Deng, Wei Wang, Xiangning Ma. 33-42 [doi]
- Model-based diagnosis versus error explanationHeinz Riener, Görschwin Fey. 43-52 [doi]
- Preservation of LTL properties in desynchronized systemsYu Bai, Jens Brandt, Klaus Schneider. 53-64 [doi]
- m and algebraic techniquesSamaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita. 65-74 [doi]
- Interactive verification of synchronous systemsManuel Gesell, Klaus Schneider. 75-84 [doi]
- MEMOCODE 2012 hardware/software codesign contest: DNA sequence alignerStephen A. Edwards. 85-90 [doi]
- Shepard: A fast exact match short read alignerChad Nelson, Kevin Townsend, Bhavani Satyanarayana Rao, Phillip H. Jones, Joseph Zambreno. 91-94 [doi]
- Fast CPU-based DNA exact sequence alignerAryan Arbabi, Milad Gholami, Mojtaba Varmazyar, Shervin Daneshpajouh. 95-98 [doi]
- Interdependent cache analyses for better precision and safetyKartik Nagar, Y. N. Srikant. 99-108 [doi]
- A general technique for deterministic model-cycle-level debuggingAsif Khan, Muralidaran Vijayaraghavan, Arvind. 109-118 [doi]
- Direct generation of invariants for reactive modelsElizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords. 119-130 [doi]