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

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By IEEE

1424410509
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification Driven Formal Architecture and Microarchitecture Modeling

2007 ◽  
Author(s):  
Yogesh Mahajan ◽  
Carven Chan ◽  
Ali Bayazit ◽  
Sharad Malik ◽  
Wei Qin

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

2007 ◽  
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

scholarly journals Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA

2007 ◽  
Author(s):  
Nirav Dave ◽  
Kermin Fleming ◽  
Myron King ◽  
Michael Pellauer ◽  
Muralidaran Vijayaraghavan
Keyword(s):  
Matrix Multiplication ◽  
Hardware Acceleration ◽  
Xilinx Fpga

scholarly journals Scheduling as Rule Composition

2007 ◽  
Author(s):  
Nirav Dave ◽  
Arvind ◽  
Michael Pellauer
Keyword(s):  
Rule Composition
Load More ...
Sign in / Sign up

Export Citation Format

Share Document