![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
10th MEMOCODE 2012: Arlington, VA, USA
- Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012. IEEE 2012, ISBN 978-1-4673-1314-8
Performance Analysis
- Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia:
Compositional performance verification of NoC designs. 1-10 - Gideon Smeding, Gregor Gößler:
A correlation preserving performance analysis for stream processing systems. 11-20
Invited Talk 1
- Yosinori Watanabe, Stuart Swan:
Clearing the clutter: Unified modeling and verification methodology for system level hardware design. 21-23
Test Coverage and Fault Localization
- Kai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu:
Improving design verifiability by early RTL coverability analysis. 25-32 - Jiong Gong, Yun Wang, Haihao Shen, Xu Deng, Wei Wang, Xiangning Ma:
FAST: Formal specification driven test harness generation. 33-42 - Heinz Riener, Görschwin Fey
:
Model-based diagnosis versus error explanation. 43-52
High-Level Validation I
- Yu Bai, Jens Brandt
, Klaus Schneider:
Preservation of LTL properties in desynchronized systems. 53-64 - Samaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita:
Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2m and algebraic techniques. 65-74 - Manuel Gesell, Klaus Schneider:
Interactive verification of synchronous systems. 75-84
Design Contest
- Stephen A. Edwards
:
MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. 85-90 - Chad Nelson, Kevin Townsend, Bhavani Satyanarayana Rao, Phillip H. Jones, Joseph Zambreno:
Shepard: A fast exact match short read aligner. 91-94 - Aryan Arbabi, Milad Gholami, Mojtaba Varmazyar, Shervin Daneshpajouh:
Fast CPU-based DNA exact sequence aligner. 95-98
High-Level Validation II
- Kartik Nagar, Y. N. Srikant:
Interdependent cache analyses for better precision and safety. 99-108 - Asif Khan, Muralidaran Vijayaraghavan, Arvind:
A general technique for deterministic model-cycle-level debugging. 109-118 - Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer
, Ralph D. Jeffords:
Direct generation of invariants for reactive models. 119-130
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.