Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang 0006 |
From visual to logical formalisms for SoC validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 165-174, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Kinder |
Tutorial I: Efficient symbolic execution for software testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 231, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierluigi Nuzzo 0002, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Are interface theories equivalent to contract theories? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 104-113, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Meyer 0001 |
Keynote talk IIP: Proving (and revisiting) what programs do not. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 144, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robin Larrieu, Natarajan Shankar |
A framework for high-assurance quasi-synchronous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 72-83, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij |
Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 12-21, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Trillo Flores, Marc Boyer |
Performance analysis of the Disrupted Static Priority scheduling for AFDX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 94-103, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault |
Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 175-184, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ying Qin, ShengYu Shen, Yan Jia 0001 |
Structure-aware CNF obfuscation for privacy-preserving SAT solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 84-93, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos |
Formal property verification in a conformance testing framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 155-164, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Armin Ahmadzadeh, Reza Mirzaei, Hatef Madani, Mohammad Shobeiri, Mahsa Sadeghi, Mohsen Gavahi, Kianoush Jafari, Mohsen Mahmoudi Aznaveh, Saeid Gorgin 0001 |
Cost-efficient implementation of k-NN algorithm on multi-core processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 205-208, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thi Thieu Hoa Le, Roberto Passerone |
Refinement-based synthesis of correct contract model decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 134-143, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Wayne P. Burleson |
Keynote talk I: Security and privacy in implantable medical devices: An ongoing concern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 1, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adnan Bouakaz, Thierry Gautier |
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 2-11, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Sifakis |
Keynote talk III: A framework for modeling architectures and their properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 229-230, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David A. Richie, James A. Ross |
Cycle-accurate 8080 emulation using an ARM11 processor with dynamic binary translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 186-189, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nariman Eskandari, Hatef Madani, Armin Ahmadzadeh, Mohsen Mahmoudi Aznaveh, Saeid Gorgin 0001 |
A fast emulator for ARM-based embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 190-193, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan |
A new synthesis procedure for atomic rules containing multi-cycle function blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 22-31, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yu Bai 0003, Klaus Schneider 0001, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi |
From clock-driven to data-driven models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 32-41, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
Fast prototyping from assertions: A pragmatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 23-32, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Florin Balasa, Ilie I. Luican, Noha Abuaesh, Cristian V. Gingu |
Compiler-directed memory hierarchy design for low-energy embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 147-156, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Lee Pike |
Keynote talk I: Building a high-assurance unpiloted air vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 33-34, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Jungwook Choi, Rob A. Rutenbar |
FPGA acceleration of Markov Random Field TRW-S inference for stereo matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 139-142, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch 0001, Dominik Stoffel, Wolfgang Kunz |
An equivalence checker for hardware-dependent embedded system software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 119-128, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Vidura Wijaysekara, Sudarshan K. Srinivasan |
Equivalence checking for synchronous elastic circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 109-118, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma |
Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 35-46, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Yatin Hoskote |
Keynote talk II: Designing tomorrow's chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 75-76, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Harry Foster |
Keynote talk III: Industry pulse: Trends in function verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 129-130, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Manuel Gesell, Klaus Schneider 0001 |
Translating synchronous guarded actions to interleaved guarded actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 167-176, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Rajeev Alur |
Tutorial I: Syntax-guided synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 189-194, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Sayak Ray, Robert K. Brayton |
Ranking structure in communication fabrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 65-74, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled |
Synthesizing distributed scheduling implementation for probabilistic component-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 87-96, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | |
11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE, 978-1-4799-0903-2 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Frédéric Mallet, Jean-Vivien Millo, Robert de Simone |
Safe CCSL specifications and marked graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 157-166, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Muralidaran Vijayaraghavan, Nirav Dave, Arvind |
Modular compilation of guarded atomic actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 177-188, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Matthew Anderson, Sandeep K. Shukla |
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 1-10, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Cynthia Sturton, Rohit Sinha 0001, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner 0001 |
Symbolic software model validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 97-108, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Firew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal |
Automated extraction of scenario sequences from disciplined dataflow networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 47-56, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Hassan Eslami, Theodoros Kasampalis, Maria Kotsifakou |
A GPU implementation of tiled belief propagation on Markov Random Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 143-146, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Eriko Nurvitadhi |
MEMOCODE 2013 hardware/software co-design contest: Stereo matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 131-134, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Sebastiaan J. C. Joosten, Julien Schmaltz |
Generation of inductive invariants from register transfer level designs of communication fabrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 57-64, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Armin Ahmadzadeh, Hatef Madani, Kianoush Jafari, Farzad Salimi Jazi, Shervin Daneshpajouh, Saeid Gorgin 0001 |
Fast and adaptive BP-based multi-core implementation for stereo matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 135-138, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Hichem Debbi, Mustapha Bourahla |
Causal analysis of probabilistic counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 77-86, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Thomas Kuhn 0001, Thomas Forster, Tobias Braun, Reinhard Gotzhein |
FERAL - Framework for simulator coupling on requirements and architecture level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 11-22, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords |
Direct generation of invariants for reactive models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 119-130, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aryan Arbabi, Milad Gholami, Mojtaba Varmazyar, Shervin Daneshpajouh |
Fast CPU-based DNA exact sequence aligner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 95-98, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Edwards |
MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 85-90, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Riener, Görschwin Fey |
Model-based diagnosis versus error explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 43-52, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gideon Smeding, Gregor Gößler |
A correlation preserving performance analysis for stream processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 11-20, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Asif Khan 0005, Muralidaran Vijayaraghavan, Arvind |
A general technique for deterministic model-cycle-level debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 109-118, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu |
Improving design verifiability by early RTL coverability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 25-32, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia |
Compositional performance verification of NoC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 1-10, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yosinori Watanabe, Stuart Swan |
Clearing the clutter: Unified modeling and verification methodology for system level hardware design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 21-23, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kartik Nagar, Y. N. Srikant |
Interdependent cache analyses for better precision and safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 99-108, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yu Bai 0003, Jens Brandt 0001, Klaus Schneider 0001 |
Preservation of LTL properties in desynchronized systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 53-64, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Samaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita |
Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2m and algebraic techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 65-74, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Gesell, Klaus Schneider 0001 |
Interactive verification of synchronous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 75-84, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE, 978-1-4673-1314-8 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Chad Nelson, Kevin Townsend, Bhavani Satyanarayana Rao, Phillip H. Jones, Joseph Zambreno |
Shepard: A fast exact match short read aligner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 91-94, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jiong Gong, Yun Wang, Haihao Shen, Xu Deng, Wei Wang, Xiangning Ma |
FAST: Formal specification driven test harness generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012, pp. 33-42, 2012, IEEE, 978-1-4673-1314-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan |
Automatic generation of assertions from system level design using data mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 191-200, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt 0001 (eds.) |
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE, 978-1-4577-0117-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Giovanni Funchal, Matthieu Moy |
Modeling of time in discrete-event simulation of systems-on-chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 171-180, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arnab Sinha, Sharad Malik, Chao Wang 0001, Aarti Gupta |
Predictive analysis for detecting serializability violations through Trace Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 99-108, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David J. Greaves, Satnam Singh |
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 1-9, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Papamichael |
Fast scalable FPGA-based Network-on-Chip simulation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 77-82, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica |
Function interface models for hardware compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 131-142, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wenchao Li 0001, Lili Dworkin, Sanjit A. Seshia |
Mining assumptions for synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 43-50, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mahdy Zolghadr, Koosha Mirhosseini, Saeid Gorgin 0001, Abbas Nayebi |
GPU-based NoC simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 83-88, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Derek Chiou |
MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 73-76, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 89-97, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 21-30, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled |
Efficient deadlock detection for concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 119-129, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Jefferson |
Modern constraint solving by propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 143, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer 0001 |
Verification of microarchitectural refinements in rule-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 61-71, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 201-209, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
Transforming SystemC Transaction Level Models into UPPAAL timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 161-170, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Georg Hofferek, Roderick Bloem |
Controller synthesis for pipelined circuits using uninterpreted functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 31-42, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 11-20, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker 0001 |
Reachability analysis for incomplete networks of Markov decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 151-160, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bijoy Antony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla |
SMT based false causal loop detection during code synthesis from Polychronous specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 109-118, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik |
Parallel assertions for debugging parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 181-190, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev |
Formal modelling and transformations of processor instruction sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 51-60, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mark Shand |
A case study of hardware software co-design in a consumer ASIC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011, pp. 145-150, 2011, IEEE, 978-1-4577-0117-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bin Xue, Sandeep K. Shukla, S. S. Ravi |
Minimizing back pressure for latency insensitive system synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 189-198, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky |
Elastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 149-158, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alain Darte |
Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 139-148, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 31-40, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 169-178, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind |
A design flow based on modular refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 11-20, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Oleg S. Medvedev, Ilya Posov |
Using hardware-software codesign language to implement CANSCID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 85-88, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Schneider 0001, Barbara Jobstmann, Luca P. Carloni, Jens Brandt 0001 |
Message from the chairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 1-3, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sidharta Andalam, Partha S. Roop, Alain Girault |
Predictable multithreading of embedded applications using PRET-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 159-168, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Große, Hoang Minh Le 0001, Rolf Drechsler |
Proving transaction and system-level properties of untimed SystemC TLM designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 113-122, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Velacheri Jagadeesan Sananda |
A high throughput parallel architecture for category specific Deep Packet Inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 93-94, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Deian Tabakov, Moshe Y. Vardi |
Monitoring temporal SystemC properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 123-132, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruttomesso, Edgar Pek, Natasha Sharygina |
A flexible schema for generating explanations in lazy theory propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 41-48, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan, Fang Yu 0001, Aysu Betin-Can |
Modular verification of synchronization with reentrant locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 59-68, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mike Gemunde, Jens Brandt 0001, Klaus Schneider 0001 |
Compilation of imperative synchronous programs with refined clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010, pp. 209-218, 2010, IEEE Computer Society, 978-1-4244-7885-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|