2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424448067

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Buffer sharing in CSP-like programs

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185391 ◽

2009 ◽

Cited By ~ 4

Author(s):

Nalini Vasudevan ◽

Stephen A. Edwards

Keyword(s):

Buffer Sharing

Download Full-text

High-level optimization of integer multipliers over a finite bit-width with verification capabilities

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185378 ◽

2009 ◽

Cited By ~ 2

Author(s):

O. Sarbishei ◽

M. Tabandeh ◽

B. Alizadeh ◽

M. Fujita

Keyword(s):

High Level

Download Full-text

Performance estimation for task graphs combining sequential path profiling and control dependence regions

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185389 ◽

2009 ◽

Cited By ~ 5

Author(s):

Fabrizio Ferrandi ◽

Marco Lattuada ◽

Christian Pilato ◽

Antonino Tumeo

Keyword(s):

Performance Estimation ◽

Task Graphs ◽

Path Profiling ◽

Control Dependence ◽

And Control

Download Full-text

Multicore power management: Ensuring robustness via early-stage formal verification

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185383 ◽

2009 ◽

Cited By ~ 18

Author(s):

Anita Lungu ◽

Pradip Bose ◽

Daniel J. Sorin ◽

Steven German ◽

Geert Janssen

Keyword(s):

Formal Verification ◽

Power Management ◽

Early Stage

Download Full-text

Bounded Dataflow Networks and Latency-Insensitive circuits

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185393 ◽

2009 ◽

Cited By ~ 19

Author(s):

Muralidaran Vijayaraghavan ◽

Arvind

Keyword(s):

Dataflow Networks ◽

Latency Insensitive

Download Full-text

Static data-flow analysis of synchronous programs

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185392 ◽

2009 ◽

Cited By ~ 5

Author(s):

Jens Brandt ◽

Klaus Schneider

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Static Data

Download Full-text

A cross-layer approach to heterogeneity and reliability

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185384 ◽

2009 ◽

Cited By ~ 2

Author(s):

Daniel Williams ◽

Aprotim Sanyal ◽

Dan Upton ◽

Jason Mars ◽

Sudeep Ghosh ◽

...

Keyword(s):

Cross Layer

Download Full-text

Refining schizophrenia via graph reachability in Esterel

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185374 ◽

2009 ◽

Author(s):

Jeong-Han Yun ◽

Chul-Joo Kim ◽

Sunae Seo ◽

Taisook Han ◽

Kwang-Moo Choe

Keyword(s):

Graph Reachability

Download Full-text

Implementing a high-performance multithreaded microprocessor: A case study in high-level design and validation

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185385 ◽

2009 ◽

Cited By ~ 1

Author(s):

Eric S. Chung ◽

James C. Hoe

Keyword(s):

High Performance ◽

Level Design ◽

High Level

Download Full-text

Author index

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2009.5185394 ◽

2009 ◽

Download Full-text

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Buffer sharing in CSP-like programs

High-level optimization of integer multipliers over a finite bit-width with verification capabilities

Performance estimation for task graphs combining sequential path profiling and control dependence regions

Multicore power management: Ensuring robustness via early-stage formal verification

Bounded Dataflow Networks and Latency-Insensitive circuits

Static data-flow analysis of synchronous programs

A cross-layer approach to heterogeneity and reliability

Refining schizophrenia via graph reachability in Esterel

Implementing a high-performance multithreaded microprocessor: A case study in high-level design and validation

Author index

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design
Latest Publications