| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta |
Predictive analysis for detecting serializability violations through Trace Segmentation.  |
MEMOCODE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Papamichael |
Fast scalable FPGA-based Network-on-Chip simulation models. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Funchal, Matthieu Moy |
Modeling of time in discrete-event simulation of systems-on-chip. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Jefferson |
Modern constraint solving by propagation. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Greaves, Satnam Singh |
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer |
Verification of microarchitectural refinements in rule-based systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik |
Parallel assertions for debugging parallel programs. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled |
Efficient deadlock detection for concurrent systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt (eds.) |
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 |
MEMOCODE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia |
EFSM-based model-driven approach to concolic testing of system-level design. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Hofferek, Roderick Bloem |
Controller synthesis for pipelined circuits using uninterpreted functions. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker |
Reachability analysis for incomplete networks of Markov decision processes. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla |
SMT based false causal loop detection during code synthesis from Polychronous specifications. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan |
Automatic generation of assertions from system level design using data mining. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr. |
A flexible formal verification framework for industrial scale validation. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang |
Rigorous system level modeling and analysis of mixed HW/SW systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
Transforming SystemC Transaction Level Models into UPPAAL timed automata. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev |
Formal modelling and transformations of processor instruction sets. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdy Zolghadr, Koosha Mirhosseini, Saeid Gorgin, Abbas Nayebi |
GPU-based NoC simulator. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Shand |
A case study of hardware software co-design in a consumer ASIC. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
Function interface models for hardware compilation. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Li, Lili Dworkin, Sanjit A. Seshia |
Mining assumptions for synthesis. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Chiou |
MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic |
Polychronous controller synthesis from MARTE CCSL timing specifications. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunil Shukla, Rodric M. Rabbah, Martin Vorbach |
FPGA-based combined architecture for stream categorization and intrusion detection. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Hassan Khabbazian, Hassan Eslami, Ehsan Totoni, AmadReza Khadem |
High-throughput stream categorization and intrusion detection on GPU. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Fang Yu, Aysu Betin-Can |
Modular verification of synchronization with reentrant locks. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Velacheri Jagadeesan Sananda |
A high throughput parallel architecture for category specific Deep Packet Inspection. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruttomesso, Edgar Pek, Natasha Sharygina |
A flexible schema for generating explanations in lazy theory propagation. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Große, Hoang M. Le, Rolf Drechsler |
Proving transaction and system-level properties of untimed SystemC TLM designs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Xue, Sandeep K. Shukla, S. S. Ravi |
Minimizing back pressure for latency insensitive system synthesis. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Medvedev, Ilya Posov |
Using hardware-software codesign language to implement CANSCID. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Pierre, Luca Ferro |
Enhancing the assertion-based verification of TLM designs with reentrancy. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | |
8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010 |
MEMOCODE |
2010 |
DBLP BibTeX RDF |
|
| 1 | David J. Greaves, Satnam Singh |
Designing application specific circuits with concurrent C# programs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Pellauer, Abhinav Agarwal, Asif Khan, Man Cheuk Ng, Muralidaran Vijayaraghavan, Forrest Brewer, Joel S. Emer |
Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID). |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic |
LTSs for translation validation of (multi-clocked) SIGNAL specifications. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Indranil Saha, Zilong Wang |
Systematic testing for control applications. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Gemunde, Jens Brandt, Klaus Schneider |
Compilation of imperative synchronous programs with refined clocks. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Darte |
Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta |
Numerical stability analysis of floating-point computations using software model checking. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Steffen, Veerendra Allada, Phillip H. Jones, Joseph Zambreno |
CANSCID-CUDA. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Haid, Christian Bachmann, Andreas Genser, Christian Steger, Reinhold Weiss |
Power emulation: Methodology and applications for HW/SW power optimization. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudhanshu Vyas, Pooja Mhapsekar, Aditya Ashok, Moinuddin Sayed, Avinash Srinivasa, Gunjan Pandey, Adam Jackson, Matthew Nelson, Anand Saggi, Harini Sundararaman, Phillip H. Jones |
Team [Ii][Ss][Uu][0-2]{4} design overview: MEMOCODE 2010 design contest. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary |
ATLAS: Automatic Term-level abstraction of RTL designs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind |
A design flow based on modular refinement. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Nakahara, Tsutomu Sasao, Munehiro Matsuura |
A regular expression matching using non-deterministic finite automaton. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky |
Elastic systems. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Moshe Y. Vardi |
Monitoring temporal SystemC properties. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Feldspar: A domain specific language for digital signal processing algorithms. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidharta Andalam, Partha S. Roop, Alain Girault |
Predictable multithreading of embedded applications using PRET-C. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu |
A formal executable semantics of Verilog. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt |
Message from the chairs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adarsha Rao, Pramod Udupa |
A hardware accelerated system for deep packet inspection. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric S. Chung, James C. Hoe |
Implementing a high-performance multithreaded microprocessor: A case study in high-level design and validation. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
Verification of an industrial SystemC/TLM model using LOTOS and CADP. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Forrest Brewer, James C. Hoe |
2009 MEMOCODE Co-Design Contest. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nalini Vasudevan, Stephen A. Edwards |
Buffer sharing in CSP-like programs. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe |
Refining schizophrenia via graph reachability in Esterel. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Popp |
An introduction to implementation attacks and countermeasures. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen |
Multicore power management: Ensuring robustness via early-stage formal verification. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | O. Sarbishei, M. Tabandeh, Bijan Alizadeh, Masahiro Fujita |
High-level optimization of integer multipliers over a finite bit-width with verification capabilities. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
Codesign of dependable systems: A component-based modeling language. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Klaus Schneider |
Static data-flow analysis of synchronous programs. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli, Uri Klein |
Synthesis of programs from temporal property specifications. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | |
7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA |
MEMOCODE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan |
Implementing a fast cartesian-polar matrix interpolator. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Survival strategies for synthesized hardware systems. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel |
Can we computerize an elephant? |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Briand, Bertrand Jeannet |
Combining control and data abstraction in the verification of hybrid systems. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
The role of mutation analysis for property qualification. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel W. Williams, Aprotim Sanyal, Dan Upton, Jason Mars, Sudeep Ghosh, Kim M. Hazelwood |
A cross-layer approach to heterogeneity and reliability. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Böhm |
Incremental modelling and verification of the PCI Express transaction layer. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Malay K. Ganai, Weihong Li |
Bang for the buck: Improvising and scheduling verification engines for effective resource utilization. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Muralidaran Vijayaraghavan, Arvind |
Bounded Dataflow Networks and Latency-Insensitive circuits. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Ferrandi, Marco Lattuada, Christian Pilato, Antonino Tumeo |
Performance estimation for task graphs combining sequential path profiling and control dependence regions. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel L. Rosenband, Till Rosenband |
A design case study: CPU vs. GPGPU vs. FPGA. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Schaumont, Krste Asanovic, James C. Hoe |
MEMOCODE 2008 Co-Design Contest. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nalini Vasudevan, Stephen A. Edwards |
Static Deadlock Detection for the SHIM Concurrent Language. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kermin Fleming, Myron King, Man Cheuk Ng, Asif Khan, Muralidaran Vijayaraghavan |
High-throughput Pipelined Mergesort. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Helmstetter, Olivier Ponsini |
A Comparison of Two SystemC/TLM Semantics for Formal Verification. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu, Emilie Oudot |
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | O. Sarbishei, Bijan Alizadeh, Masahiro Fujita |
Arithmetic Circuits Verification without Looking for Internal Equivalences. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy A. Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | VJ Sananda |
Hardware Accelerated Crypto Merge Sort: MEMOCODE 2008 Design Contest. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich |
Classification of General Data Flow Actors into Known Models of Computation. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
H.264 Decoder: A Case Study in Multiple Design Points. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
Assertion-Based Design with Horus. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet |
From Data to Events: Checking Properties on the Control of a System. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | |
6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA |
MEMOCODE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Venkatram Vishwanath, Lenore D. Zuck, Jason Leigh |
Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Subash Shankar, Masahiro Fujita |
Rule-Based Approaches for Equivalence Checking of SpecC Programs. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang |
A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvind, Rishiyur S. Nikhil |
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Katelman, José Meseguer, Santiago Escobar |
Directed-Logical Testing for Functional Verification of Microprocessors. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Grund, Jan Reineke |
Estimating the Performance of Cache Replacement Policies. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eyad Alkassar, Peter Böhm, Steffen Knapp |
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ma, Jean-Pierre Talpin, Thierry Gautier |
Virtual prototyping AADL architectures in a polychronous model of computation. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
Vacuity Analysis by Fault Simulation. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Hoover, Forrest Brewer, Chris Gill |
Latency-Insensitive Hardware/Software Interfaces. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")