2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

1424410509

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proving What Programs Do Not

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371233 ◽

2007 ◽

Cited By ~ 1

Author(s):

Bertrand Meyer

Download Full-text

Bringing Hardware and Software Closer Together with Termination Analysis

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371223 ◽

2007 ◽

Author(s):

Byron Cook

Keyword(s):

Termination Analysis

Download Full-text

Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371227 ◽

2007 ◽

Cited By ~ 1

Author(s):

Geoffrey M. Brown ◽

Lee Pike

Keyword(s):

Model Checking ◽

Physical Layer

Download Full-text

Verification Driven Formal Architecture and Microarchitecture Modeling

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371235 ◽

2007 ◽

Cited By ~ 9

Author(s):

Yogesh Mahajan ◽

Carven Chan ◽

Ali Bayazit ◽

Sharad Malik ◽

Wei Qin

Download Full-text

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371231 ◽

2007 ◽

Cited By ~ 43

Author(s):

B.D. Theelen ◽

O. Florescu ◽

M.C.W. Geilen ◽

J. Huang ◽

P.H.A. van der Putten ◽

...

Keyword(s):

Object Oriented ◽

Specification Language

Download Full-text

Formal verification of an optimizing compiler

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371254 ◽

2007 ◽

Cited By ~ 1

Author(s):

Xavier Leroy

Keyword(s):

Formal Verification ◽

Optimizing Compiler

Download Full-text

Computing Invariants for Parameter Abstraction

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371252 ◽

2007 ◽

Cited By ~ 11

Author(s):

Yi Lv ◽

Huimin Lin ◽

Hong Pan

Download Full-text

Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371239 ◽

2007 ◽

Cited By ~ 24

Author(s):

Nirav Dave ◽

Kermin Fleming ◽

Myron King ◽

Michael Pellauer ◽

Muralidaran Vijayaraghavan

Keyword(s):

Matrix Multiplication ◽

Hardware Acceleration ◽

Xilinx Fpga

Download Full-text

Executable Analysis using Abstract Interpretation with Circular Linear Progressions

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371251 ◽

2007 ◽

Cited By ~ 11

Author(s):

Rathijit Sen ◽

Y. N. Srikant

Keyword(s):

Abstract Interpretation

Download Full-text

Scheduling as Rule Composition

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371249 ◽

2007 ◽

Cited By ~ 15

Author(s):

Nirav Dave ◽

Arvind ◽

Michael Pellauer

Keyword(s):

Rule Composition

Download Full-text

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Proving What Programs Do Not

Bringing Hardware and Software Closer Together with Termination Analysis

Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols

Verification Driven Formal Architecture and Microarchitecture Modeling

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

Formal verification of an optimizing compiler

Computing Invariants for Parameter Abstraction

Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA

Executable Analysis using Abstract Interpretation with Circular Linear Progressions

Scheduling as Rule Composition

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)
Latest Publications