Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Patrick O'Neil Meredith, Michael Katelman, José Meseguer 0001, Grigore Rosu |
A formal executable semantics of Verilog. |
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 | 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 | Adarsha Rao, Pramod P. Udupa |
A hardware accelerated system for deep packet inspection. |
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 | Rupak Majumdar, Indranil Saha, Zilong Wang 0004 |
Systematic testing for control applications. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan 0001, Aarti Gupta |
Numerical stability analysis of floating-point computations using software model checking. |
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 | Michael Pellauer, Abhinav Agarwal, Asif Khan 0005, 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 | David J. Greaves, Satnam Singh |
Designing application specific circuits with concurrent C# programs. |
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 | 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 | Sunil Shukla, Rodric M. Rabbah, Martin Vorbach |
FPGA-based combined architecture for stream categorization and intrusion detection. |
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 | Hiroshi Nakahara, Tsutomu Sasao, Munehiro Matsuura |
A regular expression matching using non-deterministic finite automaton. |
MEMOCODE |
2010 |
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 | David Harel |
Can we computerize an elephant? |
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 | Jens Brandt 0001, Klaus Schneider 0001 |
Static data-flow analysis of synchronous programs. |
MEMOCODE |
2009 |
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 | Amir Pnueli, Uri Klein |
Synthesis of programs from temporal property specifications. |
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 | Martin C. Rinard |
Survival strategies for synthesized hardware systems. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Popp |
An introduction to implementation attacks and countermeasures. |
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 | 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 | Omid Sarbishei, Mahmoud 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 | Forrest Brewer, James C. Hoe |
2009 MEMOCODE Co-Design Contest. |
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 | |
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 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001 |
Codesign of dependable systems: A component-based modeling language. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Ferrandi, Marco Lattuada 0001, Christian Pilato, Antonino Tumeo |
Performance estimation for task graphs combining sequential path profiling and control dependence regions. |
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 | Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan 0005, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan |
Implementing a fast cartesian-polar matrix interpolator. |
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 | Muralidaran Vijayaraghavan, Arvind |
Bounded Dataflow Networks and Latency-Insensitive circuits. |
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 | 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 | VJ Sananda |
Hardware Accelerated Crypto Merge Sort: MEMOCODE 2008 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 | 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 | Patrick Schaumont, Krste Asanovic, James C. Hoe |
MEMOCODE 2008 Co-Design Contest. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Omid Sarbishei, Bijan Alizadeh, Masahiro Fujita |
Arithmetic Circuits Verification without Looking for Internal Equivalences. |
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 | Subash Shankar, Masahiro Fujita |
Rule-Based Approaches for Equivalence Checking of SpecC Programs. |
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 | 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 | Michael Katelman, José Meseguer 0001, Santiago Escobar 0001 |
Directed-Logical Testing for Functional Verification of Microprocessors. |
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 | |
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 | 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 | Bijoy Antony 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 | Radu Mateescu 0001, Emilie Oudot |
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Greg Hoover, Forrest Brewer, Chris Gill 0001 |
Latency-Insensitive Hardware/Software Interfaces. |
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 | Arvind, Rishiyur S. Nikhil |
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kermin Fleming, Myron King, Man Cheuk Ng, Asif Khan 0005, Muralidaran Vijayaraghavan |
High-throughput Pipelined Mergesort. |
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 | Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier |
Virtual prototyping AADL architectures in a polychronous model of computation. |
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 | Daniel Grund, Jan Reineke 0001 |
Estimating the Performance of Cache Replacement Policies. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Niemann, Christian Haubelt |
Towards a Unified Execution Model for Transactions in TLM. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rathijit Sen, Y. N. Srikant |
Executable Analysis using Abstract Interpretation with Circular Linear Progressions. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hans Eveking, Martin Braun 0001, Martin Schickel, Martin Schweikert, Volker Nimbler |
Multi-Level Assertion-Based Design. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nirav Dave, Arvind, Michael Pellauer |
Scheduling as Rule Composition. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Eggersglüß, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel |
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni |
Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | |
5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France |
MEMOCODE |
2007 |
DBLP BibTeX RDF |
|
1 | Deepak Mathaikutty, Sandeep K. Shukla |
Type Inference for IP Composition. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan |
Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Edgar G. Daylight, Sandeep K. Shukla |
Local Causal Reasoning of a Safety-Critical Subway System. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva 0001 |
Towards Equivalence Checking Between TLM and RTL Models. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Youngseok Oh, Danhyung Lee, Sungwon Kang, Jihyun Lee |
Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded Systems. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook |
Bringing Hardware and Software Closer Together with Termination Analysis. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lv, Huimin Lin, Hong Pan |
Computing Invariants for Parameter Abstraction. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey M. Brown, Lee Pike |
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wu Jigang, Thambipillai Srikanthan, Guang Chen |
One-dimensional Search Algorithms for Hardware/Software Partitioning. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler, Ofer Strichman |
Easier and More Informative Vacuity Checks. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin |
Verification Driven Formal Architecture and Microarchitecture Modeling. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Forrest Brewer, James C. Hoe |
MEMOCODE 2007 Co-Design Contest. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Meyer 0001 |
Proving What Programs Do Not. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla |
VT Matrix Multiply Design for MEMOCODE '07. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy |
Formal verification of an optimizing compiler. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Proshanta Saha, Tarek A. El-Ghazawi |
A Methodology for Automating Co-Scheduling for Reconfigurable Computing Systems. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
McCharts and Multiclock FSMs for modeling large scale systems. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten |
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001 |
Formal methods for checking realizability of coalitions in 3-party systems. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan, Constance L. Heitmeyer |
Analyzing tabular requirements specifications using infinite state model checking. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic |
The SystemJ approach to system-level design. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rajesh Gupta 0001 |
Programming models and languages for SoC-implemented architectures. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | C. Seger |
Integrating design and verification - from simple idea to practical system. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Ecker, Volkan Esen, Michael Hull |
Execution semantics and formalisms for multi-abstraction TLM assertions. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
A methodology for abstracting RTL designs into TL descriptions. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Aiken |
Scalable program analysis using Boolean satisfiability. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fei Xie, Guowu Yang, Xiaoyu Song |
Component-based hardware/software co-verification. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nirav Dave, Michael Pellauer, S. Gerding, Arvind |
802.11a transmitter: a case study in microarchitectural exploration. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zijiang Yang 0006, Chao Wang 0001, Aarti Gupta, Franjo Ivancic |
Mixed symbolic representations for model checking software programs. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta 0001, R. K. Shyamasundar |
Compositional interaction specifications for SystemC. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Julien Boucaron, Robert de Simone, Jean-Vivien Millo |
Latency-insensitive design and central repetitive scheduling. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|