Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

9781424478859

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compilation of imperative synchronous programs with refined clocks

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558633 ◽

2010 ◽

Author(s):

Mike Gemunde ◽

Jens Brandt ◽

Klaus Schneider

Download Full-text

Power emulation: Methodology and applications for HW/SW power optimization

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558641 ◽

2010 ◽

Author(s):

J. Haid ◽

C. Bachmann ◽

A. Genser ◽

C. Steger ◽

R. Weiss

Keyword(s):

Power Optimization ◽

Power Emulation

Download Full-text

A high throughput parallel architecture for category specific Deep Packet Inspection

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558647 ◽

2010 ◽

Author(s):

Velacheri Jagadeesan Sananda

Keyword(s):

High Throughput ◽

Parallel Architecture ◽

Deep Packet Inspection ◽

Packet Inspection

Download Full-text

Systematic testing for control applications

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558629 ◽

2010 ◽

Author(s):

Rupak Majumdar ◽

Indranil Saha ◽

Zilong Wang

Keyword(s):

Control Applications ◽

Systematic Testing

Download Full-text

Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558638 ◽

2010 ◽

Author(s):

Alain Darte

Download Full-text

A regular expression matching using non-deterministic finite automaton

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558621 ◽

2010 ◽

Author(s):

Hiroki Nakahara ◽

Tsutomu Sasao ◽

Munehiro Matsuura

Keyword(s):

Finite Automaton ◽

Regular Expression ◽

Deterministic Finite Automaton ◽

Regular Expression Matching

Download Full-text

Using hardware-software codesign language to implement CANSCID

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558649 ◽

2010 ◽

Author(s):

Oleg Medvedev ◽

Ilya Posov

Download Full-text

Minimizing back pressure for latency insensitive system synthesis

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558635 ◽

2010 ◽

Author(s):

Bin Xue ◽

Sandeep K. Shukla ◽

S. S. Ravi

Keyword(s):

Back Pressure ◽

System Synthesis ◽

Latency Insensitive

Download Full-text

A design flow based on modular refinement

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558626 ◽

2010 ◽

Author(s):

Nirav Dave ◽

Man Cheuk Ng ◽

Michael Pellauer ◽

Arvind

Keyword(s):

Download Full-text

Feldspar: A domain specific language for digital signal processing algorithms

Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) ◽

10.1109/memcod.2010.5558637 ◽

2010 ◽

Author(s):

Emil Axelsson ◽

Koen Claessen ◽

Gergely Devai ◽

Zoltan Horvath ◽

Karin Keijzer ◽

...

Keyword(s):

Signal Processing ◽

Digital Signal Processing ◽

Digital Signal ◽

Domain Specific Language ◽

Specific Language ◽

Domain Specific ◽

Signal Processing Algorithms ◽

Processing Algorithms

Download Full-text