ask others

7. MEMOCODE 2009: Cambridge, Massachusetts, USA

> Home > Conferences and Workshops > MEMOCODE

- view
  - electronic edition @ ieee.org
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/2009
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/2009
7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA. IEEE 2009, ISBN 978-1-4244-4806-7
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/PnueliK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/PnueliK09
Amir Pnueli, Uri Klein:
Synthesis of programs from temporal property specifications. 1-7
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/GanaiL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/GanaiL09
Malay K. Ganai, Weihong Li:
Bang for the buck: Improvising and scheduling verification engines for effective resource utilization. 8-17
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/YunKSHC09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/YunKSHC09
Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe:
Refining schizophrenia via graph reachability in Esterel. 18-27
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/GuglielmoFP09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/GuglielmoFP09
Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
The role of mutation analysis for property qualification. 28-35
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/Bohm09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/Bohm09
Peter Böhm:
Incremental modelling and verification of the PCI Express transaction layer. 36-45
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/GaravelHPS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/GaravelHPS09
Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe:
Verification of an industrial SystemC/TLM model using LOTOS and CADP. 46-55
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/SarbisheiTAF09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/SarbisheiTAF09
O. Sarbishei, Mahmoud Tabandeh, Bijan Alizadeh, Masahiro Fujita:
High-level optimization of integer multipliers over a finite bit-width with verification capabilities. 56-65
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/BrewerH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/BrewerH09
Forrest Brewer, James C. Hoe:
2009 MEMOCODE Co-Design Contest. 66-68
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/RosenbandR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/RosenbandR09
Daniel L. Rosenband, Till Rosenband:
A design case study: CPU vs. GPGPU vs. FPGA. 69-72
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/AgarwalDFKKNV09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/AgarwalDFKKNV09
Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan:
Implementing a fast cartesian-polar matrix interpolator. 73-76
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/Harel09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/Harel09
David Harel:
Can we computerize an elephant? 77
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/LunguBSGJ09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/LunguBSGJ09
Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen:
Multicore power management: Ensuring robustness via early-stage formal verification. 78-87
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/WilliamsSUMGH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/WilliamsSUMGH09
Daniel W. Williams, Aprotim Sanyal, Dan Upton, Jason Mars, Sudeep Ghosh, Kim M. Hazelwood:
A cross-layer approach to heterogeneity and reliability. 88-97
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/ChungH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/ChungH09
Eric S. Chung, James C. Hoe:
Implementing a high-performance multithreaded microprocessor: A case study in high-level design and validation. 98-107
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/Popp09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/Popp09
Thomas Popp:
An introduction to implementation attacks and countermeasures. 108-115
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/Rinard09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/Rinard09
Martin C. Rinard:
Survival strategies for synthesized hardware systems. 116-120
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/BozzanoCRKNN09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/BozzanoCRKNN09
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll:
Codesign of dependable systems: A component-based modeling language. 121-130
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/FerrandiLPT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/FerrandiLPT09
Fabrizio Ferrandi, Marco Lattuada, Christian Pilato, Antonino Tumeo:
Performance estimation for task graphs combining sequential path profiling and control dependence regions. 131-140
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/BriandJ09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/BriandJ09
Xavier Briand, Bertrand Jeannet:
Combining control and data abstraction in the verification of hybrid systems. 141-150
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/VasudevanE09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/VasudevanE09
Nalini Vasudevan, Stephen A. Edwards:
Buffer sharing in CSP-like programs. 151-160
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/BrandtS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/BrandtS09
Jens Brandt, Klaus Schneider:
Static data-flow analysis of synchronous programs. 161-170
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/memocode/VijayaraghavanA09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/VijayaraghavanA09
Muralidaran Vijayaraghavan, Arvind:
Bounded Dataflow Networks and Latency-Insensitive circuits. 171-180

maintained by

at