default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th MEMOCODE 2013: Portland, OR, USA
- 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013. IEEE 2013, ISBN 978-1-4799-0903-2
Session 1: Prototyping Part I
- Matthew Anderson, Sandeep K. Shukla:
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. 1-10 - Thomas Kuhn, Thomas Forster, Tobias Braun, Reinhard Gotzhein:
FERAL - Framework for simulator coupling on requirements and architecture level. 11-22 - Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione:
Fast prototyping from assertions: A pragmatic approach. 23-32 - Lee Pike:
Keynote talk I: Building a high-assurance unpiloted air vehicle. 33-34
Session 2: Dataflow and Communication Fabrics
- Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma:
Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs. 35-46 - Firew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal:
Automated extraction of scenario sequences from disciplined dataflow networks. 47-56 - Sebastiaan J. C. Joosten, Julien Schmaltz:
Generation of inductive invariants from register transfer level designs of communication fabrics. 57-64 - Sayak Ray, Robert K. Brayton:
Ranking structure in communication fabrics. 65-74 - Yatin Hoskote:
Keynote talk II: Designing tomorrow's chips. 75-76
Session 3: Probabilistic Systems
- Hichem Debbi, Mustapha Bourahla:
Causal analysis of probabilistic counterexamples. 77-86 - Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled:
Synthesizing distributed scheduling implementation for probabilistic component-based systems. 87-96
Session 4: SW and HW Model Validation
- Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner:
Symbolic software model validation. 97-108 - Vidura Wijaysekara, Sudarshan K. Srinivasan:
Equivalence checking for synchronous elastic circuits. 109-118 - Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz:
An equivalence checker for hardware-dependent embedded system software. 119-128 - Harry Foster:
Keynote talk III: Industry pulse: Trends in function verification. 129-130
Design Contest
- Eriko Nurvitadhi:
MEMOCODE 2013 hardware/software co-design contest: Stereo matching. 131-134 - Armin Ahmadzadeh, Hatef Madani, Kianoush Jafari, Farzad Salimi Jazi, Shervin Daneshpajouh, Saeid Gorgin:
Fast and adaptive BP-based multi-core implementation for stereo matching. 135-138 - Jungwook Choi, Rob A. Rutenbar:
FPGA acceleration of Markov Random Field TRW-S inference for stereo matching. 139-142 - Hassan Eslami, Theodoros Kasampalis, Maria Kotsifakou:
A GPU implementation of tiled belief propagation on Markov Random Fields. 143-146
Session 5: Prototyping Part II
- Florin Balasa, Ilie I. Luican, Noha Abuaesh, Cristian V. Gingu:
Compiler-directed memory hierarchy design for low-energy embedded systems. 147-156 - Frédéric Mallet, Jean-Vivien Millo, Robert de Simone:
Safe CCSL specifications and marked graphs. 157-166 - Manuel Gesell, Klaus Schneider:
Translating synchronous guarded actions to interleaved guarded actions. 167-176 - Muralidaran Vijayaraghavan, Nirav Dave, Arvind:
Modular compilation of guarded atomic actions. 177-188 - Rajeev Alur:
Tutorial I: Syntax-guided synthesis. 189-194
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
