Abstract is missing.
- APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case studyMatthew Anderson, Sandeep K. Shukla. 1-10 [doi]
- FERAL - Framework for simulator coupling on requirements and architecture levelThomas Kuhn, Thomas Forster, Tobias Braun, Reinhard Gotzhein. 11-22 [doi]
- Fast prototyping from assertions: A pragmatic approachKatell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione. 23-32 [doi]
- Keynote talk I: Building a high-assurance unpiloted air vehicleLee Pike. 33-34 [doi]
- Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphsRobert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma. 35-46 [doi]
- Automated extraction of scenario sequences from disciplined dataflow networksFirew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal. 47-56 [doi]
- Generation of inductive invariants from register transfer level designs of communication fabricsSebastiaan J. C. Joosten, Julien Schmaltz. 57-64 [doi]
- Ranking structure in communication fabricsSayak Ray, Robert K. Brayton. 65-74 [doi]
- Keynote talk II: Designing tomorrow's chipsYatin Hoskote. 75-76 [doi]
- Causal analysis of probabilistic counterexamplesHichem Debbi, Mustapha Bourahla. 77-86 [doi]
- Synthesizing distributed scheduling implementation for probabilistic component-based systemsSaddek Bensalem, Axel Legay, Ayoub Nouri, Doron Peled. 87-96 [doi]
- Symbolic software model validationCynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David Wagner. 97-108 [doi]
- Equivalence checking for synchronous elastic circuitsVidura Wijayasekara, Sudarshan K. Srinivasan. 109-118 [doi]
- An equivalence checker for hardware-dependent embedded system softwareCarlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz. 119-128 [doi]
- Keynote talk III: Industry pulse: Trends in function verificationHarry Foster. 129-130 [doi]
- MEMOCODE 2013 hardware/software co-design contest: Stereo matchingEriko Nurvitadhi. 131-134 [doi]
- Fast and adaptive BP-based multi-core implementation for stereo matchingArmin Ahmadzadeh, Hatef Madani, Kianoush Jafari, Farzad Salimi Jazi, Shervin Daneshpajouh, Saeid Gorgin. 135-138 [doi]
- FPGA acceleration of Markov Random Field TRW-S inference for stereo matchingJungwook Choi, Rob A. Rutenbar. 139-142 [doi]
- A GPU implementation of tiled belief propagation on Markov Random FieldsHassan Eslami, Theodoros Kasampalis, Maria Kotsifakou. 143-146 [doi]
- Compiler-directed memory hierarchy design for low-energy embedded systemsFlorin Balasa, Ilie I. Luican, Noha Abuaesh, Cristian V. Gingu. 147-156 [doi]
- Safe CCSL specifications and marked graphsFrédéric Mallet, Jean-Vivien Millo, Robert de Simone. 157-166 [doi]
- Translating synchronous guarded actions to interleaved guarded actionsManuel Gesell, Klaus Schneider. 167-176 [doi]
- Modular compilation of guarded atomic actionsMuralidaran Vijayaraghavan, Nirav Dave, Arvind. 177-188 [doi]
- Tutorial I: Syntax-guided synthesisRajeev Alur. 189-194 [doi]