Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467313131, 9781467313148

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-based diagnosis versus error explanation

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292299 ◽

2012 ◽

Cited By ~ 4

Author(s):

Heinz Riener ◽

Gorschwin Fey

Keyword(s):

Model Based ◽

Error Explanation

Download Full-text

Clearing the clutter: Unified modeling and verification methodology for system level hardware design

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292296 ◽

2012 ◽

Cited By ~ 1

Author(s):

Yosinori Watanabe ◽

Stuart Swan

Keyword(s):

Hardware Design ◽

System Level ◽

Unified Modeling ◽

Verification Methodology

Download Full-text

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292293 ◽

2012 ◽

Download Full-text

[Front matter]

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292292 ◽

2012 ◽

Download Full-text

Improving design verifiability by early RTL coverability analysis

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292297 ◽

2012 ◽

Author(s):

Kai-Hui Chang ◽

Chia-Wei Chang ◽

Jie-Hong Roland Jiang ◽

Chien-Nan Jimmy Liu

Download Full-text

Interactive verification of synchronous systems

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292302 ◽

2012 ◽

Cited By ~ 1

Author(s):

Manuel Gesell ◽

Klaus Schneider

Keyword(s):

Synchronous Systems

Download Full-text

Fast CPU-based DNA exact sequence aligner

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292305 ◽

2012 ◽

Cited By ~ 2

Author(s):

Aryan Arbabi ◽

Milad Gholami ◽

Mojtaba Varmazyar ◽

Shervin Daneshpajouh

Keyword(s):

Exact Sequence

Download Full-text

MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292303 ◽

2012 ◽

Cited By ~ 5

Author(s):

Stephen A. Edwards

Keyword(s):

Dna Sequence

Download Full-text

A correlation preserving performance analysis for stream processing systems

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292295 ◽

2012 ◽

Cited By ~ 1

Author(s):

Gideon Smeding ◽

Gregor Gossler

Keyword(s):

Performance Analysis ◽

Stream Processing

Download Full-text

Preservation of LTL properties in desynchronized systems

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292300 ◽

2012 ◽

Cited By ~ 1

Author(s):

Yu Bai ◽

Jens Brandt ◽

Klaus Schneider

Download Full-text

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Model-based diagnosis versus error explanation

Clearing the clutter: Unified modeling and verification methodology for system level hardware design

Table of contents

[Front matter]

Improving design verifiability by early RTL coverability analysis

Interactive verification of synchronous systems

Fast CPU-based DNA exact sequence aligner

MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner

A correlation preserving performance analysis for stream processing systems

Preservation of LTL properties in desynchronized systems

Export Citation Format

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Model-based diagnosis versus error explanation

Clearing the clutter: Unified modeling and verification methodology for system level hardware design

Table of contents

[Front matter]

Improving design verifiability by early RTL coverability analysis

Interactive verification of synchronous systems

Fast CPU-based DNA exact sequence aligner

MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner

A correlation preserving performance analysis for stream processing systems

Preservation of LTL properties in desynchronized systems

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)
Latest Publications