| 2010 | 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010 |
| 2010 | A design flow based on modular refinement. Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind |
| 2010 | A flexible schema for generating explanations in lazy theory propagation. Roberto Bruttomesso, Edgar Pek, Natasha Sharygina |
| 2010 | A formal executable semantics of Verilog. Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu |
| 2010 | A hardware accelerated system for deep packet inspection. Adarsha Rao, Pramod P. Udupa |
| 2010 | A high throughput parallel architecture for category specific Deep Packet Inspection. Velacheri Jagadeesan Sananda |
| 2010 | A regular expression matching using non-deterministic finite automaton. Hiroshi Nakahara, Tsutomu Sasao, Munehiro Matsuura |
| 2010 | ATLAS: Automatic Term-level abstraction of RTL designs. Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary |
| 2010 | CANSCID-CUDA. Michael Steffen, Veerendra Allada, Phillip H. Jones, Joseph Zambreno |
| 2010 | Compilation of imperative synchronous programs with refined clocks. Mike Gemunde, Jens Brandt, Klaus Schneider |
| 2010 | Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID). Michael Pellauer, Abhinav Agarwal, Asif Khan, Man Cheuk Ng, Muralidaran Vijayaraghavan, Forrest Brewer, Joel S. Emer |
| 2010 | Designing application specific circuits with concurrent C# programs. David J. Greaves, Satnam Singh |
| 2010 | Elastic systems. Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky |
| 2010 | Enhancing the assertion-based verification of TLM designs with reentrancy. Laurence Pierre, Luca Ferro |
| 2010 | FPGA-based combined architecture for stream categorization and intrusion detection. Sunil Shukla, Rodric M. Rabbah, Martin Vorbach |
| 2010 | Feldspar: A domain specific language for digital signal processing algorithms. Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda |
| 2010 | High-throughput stream categorization and intrusion detection on GPU. Mohammad Hassan Khabbazian, Hassan Eslami, Ehsan Totoni, AmadReza Khadem |
| 2010 | LTSs for translation validation of (multi-clocked) SIGNAL specifications. Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic |
| 2010 | Message from the chairs. Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt |
| 2010 | Minimizing back pressure for latency insensitive system synthesis. Bin Xue, Sandeep K. Shukla, S. S. Ravi |
| 2010 | Modular verification of synchronization with reentrant locks. Tevfik Bultan, Fang Yu, Aysu Betin-Can |
| 2010 | Monitoring temporal SystemC properties. Deian Tabakov, Moshe Y. Vardi |
| 2010 | Numerical stability analysis of floating-point computations using software model checking. Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta |
| 2010 | Power emulation: Methodology and applications for HW/SW power optimization. Josef Haid, Christian Bachmann, Andreas Genser, Christian Steger, Reinhold Weiss |
| 2010 | Predictable multithreading of embedded applications using PRET-C. Sidharta Andalam, Partha S. Roop, Alain Girault |
| 2010 | Proving transaction and system-level properties of untimed SystemC TLM designs. Daniel Große, Hoang Minh Le, Rolf Drechsler |
| 2010 | Systematic testing for control applications. Rupak Majumdar, Indranil Saha, Zilong Wang |
| 2010 | Team [Ii][Ss][Uu][0-2]{4} design overview: MEMOCODE 2010 design contest. Sudhanshu Vyas, Pooja Mhapsekar, Aditya Ashok, Moinuddin Sayed, Avinash Srinivasa, Gunjan Pandey, Adam Jackson, Matthew Nelson, Anand Saggi, Harini Sundararaman, Phillip H. Jones |
| 2010 | Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd. Alain Darte |
| 2010 | Using hardware-software codesign language to implement CANSCID. Oleg S. Medvedev, Ilya Posov |