1. Home
  2. Proceedings
  3. MEMOCODE
  4. MEMOCODE 2007
Default Cover Image

Formal Methods and Models for Co-Design, ACM/IEEE International Conference on

May 30 2007 to June 2 2007

Nice, France

ISBN: 1-4244-1050-9

Table of Contents

Papers
Fifth ACM&IEEE International Conference on Formal Methods and Models for Co-DesignFreely available from IEEE.pp. i
Papers
Copyright pageFreely available from IEEE.pp. ii
Papers
Table of ContentsFreely available from IEEE.pp. iii-iv
Papers
Message from the ChairsFreely available from IEEE.pp. v
Papers
Organizers and Program Committee MembersFreely available from IEEE.pp. vi
Papers
External ReviewersFreely available from IEEE.pp. vi
Papers
Breaker pagesFreely available from IEEE.pp. nil1
Papers
McCharts and Multiclock FSMs for modeling large scale systemsFull-text access may be available. Sign in or learn about subscription options.pp. 3-12
by Ivan Radojevic, Zoran Salcic, Partha Roop
Papers
Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive DesignFull-text access may be available. Sign in or learn about subscription options.pp. 13-22
by Cheng-Hong Li, Rebecca Collins, Sampada Sonalkar, Luca P. Carloni
Papers
Breaker pagesFreely available from IEEE.pp. nil2
Papers
Formal verification of an optimizing compilerFull-text access may be available. Sign in or learn about subscription options.pp. 25
by Xavier Leroy
Papers
Breaker pagesFreely available from IEEE.pp. nil3
Papers
Computing Invariants for Parameter AbstractionFull-text access may be available. Sign in or learn about subscription options.pp. 29-38
by Yi Lv, Huimin Lin, Hong Pan
Papers
Executable Analysis using Abstract Interpretation with Circular Linear ProgressionsFull-text access may be available. Sign in or learn about subscription options.pp. 39-48
by Rathijit Sen, Y. N. Srikant
Papers
Breaker pagesFreely available from IEEE.pp. nil4
Papers
Scheduling as Rule CompositionFull-text access may be available. Sign in or learn about subscription options.pp. 51-60
by Nirav Dave, Arvind, Michael Pellauer
Papers
Type Inference for IP CompositionFull-text access may be available. Sign in or learn about subscription options.pp. 61-70
by Deepak A. Mathaikutty, Sandeep K. Shukla
Papers
From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 71-80
by Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks
Papers
Breaker pagesFreely available from IEEE.pp. nil5
Papers
Local Causal Reasoning of a Safety-Critical Subway SystemFull-text access may be available. Sign in or learn about subscription options.pp. 83-84
by Edgar G. Daylight, Sandeep Shukla
Papers
Multi-Level Assertion-Based DesignFull-text access may be available. Sign in or learn about subscription options.pp. 85-86
by Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler
Papers
Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 87-88
by Youngseok Oh, Dan Hyung Lee, Sungwon Kang, Ji Hyun Lee
Papers
Breaker pagesFreely available from IEEE.pp. nil6
Papers
MEMOCODE 2007 Co-Design ContestFull-text access may be available. Sign in or learn about subscription options.pp. 91-94
by Forrest Brewer, James C. Hoe
Papers
VT Matrix Multiply Design for MEMOCODE '07Full-text access may be available. Sign in or learn about subscription options.pp. 95-96
by Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep Shukla
Papers
Hardware Acceleration of Matrix Multiplication on a Xilinx FPGAFull-text access may be available. Sign in or learn about subscription options.pp. 97-100
by Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan
Papers
Breaker pagesFreely available from IEEE.pp. nil7
Papers
Towards a Unified Execution Model for Transactions in TLMFull-text access may be available. Sign in or learn about subscription options.pp. 103-112
by Bernhard Niemann, Christian Haubelt
Papers
Towards Equivalence Checking Between TLM and RTL ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 113-122
by Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Joao Marques-Silva
Papers
Verification Driven Formal Architecture and Microarchitecture ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 123-132
by Yogesh Mahajan, Carven Chan, Ali Bayazit, Sharad Malik, Wei Qin
Papers
Breaker pagesFreely available from IEEE.pp. nil8
Papers
Proving What Programs Do NotFull-text access may be available. Sign in or learn about subscription options.pp. 135
by Bertrand Meyer
Papers
Breaker pagesFreely available from IEEE.pp. nil9
Papers
Software/Hardware Engineering with the Parallel Object-Oriented Specification LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 139-148
by B.D. Theelen, O. Florescu, M.C.W. Geilen, J. Huang, P.H.A. van der Putten, J.P.M. Voeten
Papers
One-dimensional Search Algorithms for Hardware/Software PartitioningFull-text access may be available. Sign in or learn about subscription options.pp. 149-158
by Wu Jigang, Thambipillai Srikanthan, Guang Chen
Papers
A Methodology for Automating Co-Scheduling for Reconfigurable Computing SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 159-168
by Proshanta Saha, Tarek El-Ghazawi
Papers
Breaker pagesFreely available from IEEE.pp. nil10
Papers
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 171-180
by Geoffrey M. Brown, Lee Pike
Papers
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay FaultsFull-text access may be available. Sign in or learn about subscription options.pp. 181-187
by Stephan Eggersgluess, Gorschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Juergen Schloeffel
Papers
Easier and More Informative Vacuity ChecksFull-text access may be available. Sign in or learn about subscription options.pp. 189-198
by Hana Chockler, Ofer Strichman
Papers
Breaker pagesFreely available from IEEE.pp. nil11
Papers
Bringing Hardware and Software Closer Together with Termination AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 201
by Byron Cook
Papers
Author IndexFreely available from IEEE.pp. 203
Showing 43 out of 43