Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
An Analytic Evaluation of SystemC Encodings in Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings, pp. 90-107, 2011, Springer, 978-3-642-22305-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler |
Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 269-278, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Gilles B. Defo, Wolfgang Müller 0003, Heinrich Rommel |
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 219-228, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Henning Kleen, Shangkun Xiao, Ralph Görgen, Nico Bannow, Wolfgang Nebel |
Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 173-182, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Carsten Gremzow, Nico Moser, Jan Lucas |
sysCgen - A Tool for SystemC TLM Simulator Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 203-206, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel |
SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 101-109, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | |
The co-simulation interface SystemC/Matlab applied in JPEG algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2011, Montpellier, France, 20-22 June, 2011, pp. 1-6, 2011, IEEE, 978-1-4577-0640-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hély |
SystemC modeling of RFID systems for robustness analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftCOM ![In: 19th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2011, Split, Croatia, September 15-17, 2011, pp. 1-5, 2011, IEEE, 978-1-4577-1439-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Matthias Kühnle, André Wagner, Jürgen Becker 0001 |
A statistical power estimation methodology embedded in a SystemC code translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: 24th Symposium on Integrated Circuits and Systems Design, SBCCI '11, João Pessoa, Brazil, August 30 - September 2, 2011, pp. 79-84, 2011, ACM, 978-1-4503-0828-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Herrera, Eugenio Villar, Philipp A. Hartmann |
Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco |
Efficient implementation and abstraction of systemc data types for fast simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-7, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-6, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Mu Zhou, René van Leuken 0001 |
Systemc-AMS model of a dynamic large-scale satellite-based AIS-like network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich |
ESL power and performance estimation for heterogeneous MPSOCS using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0763-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
15 | Francisco Mendoza 0001, Christian Köllner, Jürgen Becker 0001, Klaus D. Müller-Glaser |
An automated approach to SystemC/Simulink co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Symposium on Rapid System Prototyping ![In: Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, RSP 2011, Karlsruhe, Germany, 24-27 May, 2011, pp. 135-141, 2011, IEEE, 978-1-4577-0658-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marcel Pockrandt, Paula Herber, Sabine Glesner |
Model checking a SystemC/TLM design of the AMBA AHB protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, ESTIMedia 2011, Taipei, Taiwan, October 13-14, 2011, pp. 66-75, 2011, IEEE Computer Society, 978-1-4577-2123-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 341-356, 2011, Springer, 978-3-642-19834-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Hoelldampf, Daniel Zaum, Markus Olbrich, Erich Barke |
Using analog circuit behavior to generate SystemC events for an acceleration of mixed-signal simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: IEEE 29th International Conference on Computer Design, ICCD 2011, Amherst, MA, USA, October 9-12, 2011, pp. 108-112, 2011, IEEE Computer Society, 978-1-4577-1953-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
A SystemC AMS/TLM platform for CMOS video sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: 2011 Conference on Design and Architectures for Signal and Image Processing, DASIP 2011, Tampere, Finland, November 2-4, 2011, pp. 164-169, 2011, IEEE, 978-1-4577-0620-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Julien Peeters, Nicolas Ventroux, Tanguy Sassolas, Lionel Lacassagne |
A systemc TLM framework for distributed simulation of complex systems with unpredictable communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: 2011 Conference on Design and Architectures for Signal and Image Processing, DASIP 2011, Tampere, Finland, November 2-4, 2011, pp. 12-19, 2011, IEEE, 978-1-4577-0620-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Yves Blanchard, Antoine Dupret, Arnaud Peizerat |
Systemc modelization for fast validation of imager architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASIP ![In: 2011 Conference on Design and Architectures for Signal and Image Processing, DASIP 2011, Tampere, Finland, November 2-4, 2011, pp. 341-345, 2011, IEEE, 978-1-4577-0620-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Laurent Bousquet, Fabio Cenni, Emmanuel Simeu |
SystemC-AMS high-level modeling of linear analog blocks with power consumption information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATW ![In: 12th Latin American Test Workshop, LATW 2011, Beach of Porto de Galinhas, Brazil, March 27-30, 2011, pp. 1-6, 2011, IEEE, 978-1-4577-1488-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar |
Mutation analysis for SystemC designs at TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATW ![In: 12th Latin American Test Workshop, LATW 2011, Beach of Porto de Galinhas, Brazil, March 27-30, 2011, pp. 1-6, 2011, IEEE, 978-1-4577-1488-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler |
Simulation-based equivalence checking between SystemC models at different levels of abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 21st ACM Great Lakes Symposium on VLSI 2010, Lausanne, Switzerland, May 2-6, 2011, pp. 223-228, 2011, ACM, 978-1-4503-0667-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jun Ye, QingPing Tan, Tun Li |
Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: Proceedings of the 12th International Symposium on Quality Electronic Design, ISQED 2011, Santa Clara, California, USA, 14-16 March 2011, pp. 481-485, 2011, IEEE, 978-1-61284-914-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Kuznik, Wolfgang Müller 0003 |
Aspect enhanced functional coverage driven verification in the SystemC HDVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOCC ![In: International SoC Design Conference, ISOCC 2011, Jeju, South Korea, November 17-18, 2011, pp. 154-157, 2011, IEEE, 978-1-4577-0709-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Roth, Oliver Sander, Matthias Kühnle, Jürgen Becker 0001 |
HLA-based simulation environment for distributed SystemC simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: 4th International ICST Conference on Simulation Tools and Techniques, SIMUTools '11, Barcelona, Spain, March 22 - 24, 2011, pp. 108-114, 2011, ICST/ACM, 978-1-936968-00-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Dániel Horváth, Tuan Anh Trinh |
A SystemC-Based Simulation Framework for Energy-Efficiency Evaluation of Embedded Networking Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUNICE ![In: Energy-Aware Communications - 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011. Proceedings, pp. 169-180, 2011, Springer, 978-3-642-23540-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Mikhail J. Moiseev, Alexey V. Zakharov, Ilya Klotchkov, Sergey I. Salishev |
Static analysis method for deadlock detection in SystemC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoC ![In: 2011 International Symposium on System on Chip, SoC 2011, Tampere, Finland, October 31 - November 2, 2011, pp. 42-47, 2011, IEEE, 978-1-4577-0671-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Kuznik, Wolfgang Müller 0003 |
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011, pp. 290-291, 2011, IEEE Computer Society, 978-1-4577-2005-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Harry Broeders, René van Leuken 0001 |
Extracting behavior and dynamically generated hierarchy from SystemC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011, pp. 357-362, 2011, ACM, 978-1-4503-0636-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Aisha Fouad Bushager |
Smart card systems : managing risks and modelling security protocols using SystemC and Transaction Level Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
15 | Mostafa I. Soliman, Abdulmajid Farea Al-Juniad |
Systemc Implementation and Performance Evaluation of a Decoupled General-Purpose Matrix Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 20(2), pp. 103-121, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Myoung-Keun You, Gi-Yong Song |
SystemVerilog-Based Verification Environment Employing Multiple Inheritance of SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 93-A(5), pp. 989-992, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sung-Rok Yoon, Min Li Huang, Sang-Ho Seo, Hiroshi Ochi, Sin-Chong Park |
A Fast Architecture Exploration Method for High Throughput IEEE 802.11e MAC Implementation Using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 93-B(10), pp. 2833-2836, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Yaseen Zaidi, Christoph Grimm 0001, Jan Haase 0001 |
On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Embed. Syst. ![In: EURASIP J. Embed. Syst. 2010, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani |
Sysfier: Actor-based formal verification of SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 10(2), pp. 19:1-19:35, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Falk, Christian Zebelein, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya |
Analysis of SystemC actor networks for efficient synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 10(2), pp. 18:1-18:34, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Blanc, Daniel Kroening |
Race analysis for systemc using model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 15(3), pp. 21:1-21:32, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Peñil, Julio L. Medina, Hector Posadas, Eugenio Villar |
Generating heterogeneous executable specifications in SystemC from UML/MARTE models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 6(1-2), pp. 65-71, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber |
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Daniel Große, Rolf Drechsler |
Quality-Driven SystemC Design ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Wan Du, Fabien Mieyeville, David Navarro |
IDEA1: A SystemC-based system-level simulator for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNIS ![In: Proceedings of the IEEE International Conference on Wireless Communications, Networking and Information Security, WCNIS 2010, 25-27 June 2010, Beijing, China, pp. 618-622, 2010, IEEE, 978-1-4244-5850-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Popp, Andreas Herrholz, Kim Grüttner, Yannick Le Moullec, Peter Koch 0001, Wolfgang Nebel |
SystemC-AMS SDF model synthesis for exploration of heterogeneous architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010, Vienna, Austria, April 14-16, 2010, pp. 133-138, 2010, IEEE Computer Society, 978-1-4244-6612-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Hector Posadas, Eugenio Villar, Dominique Ragot, Marcos Martínez |
Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010, pp. 238-244, 2010, IEEE Computer Society, 978-0-7695-4037-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | 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 |
|
15 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Automatic Fault Localization for SystemC TLM Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 11th International Workshop on Microprocessor Test and Verification, MTV 2010, Austin, TX, USA, December 13-15, 2010, pp. 35-40, 2010, IEEE Computer Society, 978-0-7695-4354-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | François Pêcheux, Khouloud Zine el Abidine, Alain Greiner |
Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation - 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers, pp. 252, 2010, Springer, 978-3-642-17751-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Zatt, Cláudio Machado Diniz, Luciano Volcan Agostini, Sergio Bampi |
Timing and interface communication analysis of H.264/AVC encoder using SystemC model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 18th IEEE/IFIP VLSI-SoC 2010, IEEE/IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Madrid, Spain, 27-29 September 2010, pp. 235-240, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Homa Alemzadeh, Marco Cimei, Paolo Prinetto, Zainalabedin Navabi |
Facilitating testability of TLM FIFO: SystemC implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 428-431, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Homa Alemzadeh, Soheil Aminzadeh, Reihaneh Saberi, Zainalabedin Navabi |
Code optimization for enhancing SystemC simulation time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 431-434, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Aline Mello 0001, Isaac Maia, Alain Greiner, François Pêcheux |
Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010, pp. 606-609, 2010, IEEE Computer Society, 978-1-4244-7054-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
Automated conformance evaluation of SystemC designs using timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 15th European Test Symposium, ETS 2010, Prague, Czech Republic, May 24-28, 2010, pp. 188-193, 2010, IEEE Computer Society, 978-1-4244-5833-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Lévêque, François Pêcheux, Marie-Minerve Louërat, Hassan Aboushady, Michel Vasilevski |
SystemC-AMS Models for Low-Power Heterogeneous Designs: Application to a WSN for the Detection of Seismic Perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS Workshops ![In: ARCS '10 - 23th International Conference on Architecture of Computing Systens 2010, Workshop Proceedings, February 22-23, 2010, Hannover, Germany, pp. 205-210, 2010, VDE Verlag, 978-3-8007-3222-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Hector Posadas, Eugenio Villar |
Modeling Separate Memory Spaces in Native Co-simulation with SystemC for Design Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS Workshops ![In: ARCS '10 - 23th International Conference on Architecture of Computing Systens 2010, Workshop Proceedings, February 22-23, 2010, Hannover, Germany, pp. 313-318, 2010, VDE Verlag, 978-3-8007-3222-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla |
SCGPSim: a fast SystemC simulator on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010, pp. 149-154, 2010, IEEE, 978-1-60558-837-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | W. M. Young, Chua-Huang Huang, Alan P. Su, Chewnpu Jou, Fu-Lung Hsueh |
A practice of ESL verification methodology from SystemC to FPGA: using EPC class-1 generation-2 RFID tag design as an example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010, pp. 821-824, 2010, IEEE, 978-1-60558-837-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Alper Sen 0001, Magdy S. Abadir |
Coverage metrics for verification of concurrent SystemC designs using mutation testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010, pp. 75-81, 2010, IEEE Computer Society, 978-1-4244-7805-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Towards analyzing functional coverage in SystemC TLM property checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010, pp. 67-74, 2010, IEEE Computer Society, 978-1-4244-7805-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch |
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010, pp. 137-146, 2010, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Jens Brandt 0001, Mike Gemünde, Klaus Schneider 0001 |
From Synchronous Guarded Actions to SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010, pp. 187-196, 2010, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Deian Tabakov, Moshe Y. Vardi |
Optimized temporal monitors for SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, pp. 436-451, 2010, Springer, 978-3-642-16611-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Kim Grüttner, Henning Kleen, Frank Oppenheimer, Achim Rettberg, Wolfgang Nebel |
Towards a synthesis semantics for systemC channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2010, part of ESWeek '10 Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010, pp. 163-172, 2010, ACM, 978-1-60558-905-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Coussy, Andrés Takach, Michael McNamara, Mike Meredith |
An introduction to the SystemC synthesis subset standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2010, part of ESWeek '10 Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010, pp. 183-184, 2010, ACM, 978-1-60558-905-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Schumacher, Rainer Leupers, Dietmar Petras, Andreas Hoffmann 0002 |
parSC: synchronous parallel systemc simulation on multi-core host architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2010, part of ESWeek '10 Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010, pp. 241-246, 2010, ACM, 978-1-60558-905-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Kevin Marquet, Matthieu Moy |
PinaVM: a systemC front-end based on an executable intermediate representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010, pp. 79-88, 2010, ACM, 978-1-60558-904-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sara Real, Hector Posadas, Eugenio Villar |
L2 Cache Modeling based on address modification for Native Co-Simulation in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Fifth International Symposium on Industrial Embedded Systems, SIES 2010, University of Trento, Italy, July 7-9, 2010, pp. 225-228, 2010, IEEE, 978-1-4244-5840-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Kuznik, Gilles B. Defo, Wolfgang Müller 0003 |
Verification of a CAN bus model in SystemC with functional coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Fifth International Symposium on Industrial Embedded Systems, SIES 2010, University of Trento, Italy, July 7-9, 2010, pp. 28-35, 2010, IEEE, 978-1-4244-5840-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Elvinia Riccobene, Patrizia Scandurra |
An Executable Semantics of the SystemC UML Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 75-90, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Chun-Nan Chou, Chang-Hong Hsu, Yueh-Tung Chao, Chung-Yang Huang |
Formal deadlock checking on high-level SystemC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2010 International Conference on Computer-Aided Design, ICCAD 2010, San Jose, CA, USA, November 7-11, 2010, pp. 794-799, 2010, IEEE, 978-1-4244-8192-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Peñil, Fernando Herrera, Eugenio Villar |
Formal Foundations for MARTE-SystemC Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 197-202, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Jun Zhu 0011, Ingo Sander, Axel Jantsch |
HetMoC: Heterogeneous Modelling in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 117-122, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Mohammad Hosseinabady, José L. Núñez-Yáñez |
SystemC Architectural Transaction Level Modelling for Large NoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 142-147, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Chenxu Zhao, Tom J. Kazmierski |
Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 165-170, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Chenxu Zhao, Tom J. Kazmierski |
SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 105-110, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Jon Pérez 0001, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum |
Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 10-15, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Kevin Marquet, Bageshri Karkare, Matthieu Moy |
A Theoretical and Experimental Review of SystemC Front-ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 124-129, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | François Pêcheux, Amer Habib |
Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 210-215, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Sumit Adhikari, Christoph Grimm 0001 |
Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 216-221, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann |
An Accelerated Mixed-Signal Simulation Kernel for SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 234-239, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Eugenio Villar, Fernando Herrera, Víctor Fernández 0001 |
Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 74-79, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Tobias Kirchner, Nico Bannow, Christian Kerstan, Christoph Grimm 0001 |
Mixed Signal Simulation with SystemC and Saber. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 111-116, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Zhuo Ruan, Kurtis Cahill, David A. Penry |
Elaboration-time synthesis of high-level language constructs in SystemC-based microarchitectural simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 28th International Conference on Computer Design, ICCD 2010, 3-6 October 2010, Amsterdam, The Netherlands, Proceedings, pp. 68-75, 2010, IEEE Computer Society, 978-1-4244-8936-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Hosseinabady, José L. Núñez-Yáñez |
Effective modelling of large NoCs using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2010), May 30 - June 2, 2010, Paris, France, pp. 161-164, 2010, IEEE, 978-1-4244-5308-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | François Pêcheux, Morgan Madec, Christophe Lallement |
Is SystemC-AMS an appropriate "promoter" for the modeling and simulation of bio-compatible systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2010), May 30 - June 2, 2010, Paris, France, pp. 1791-1794, 2010, IEEE, 978-1-4244-5308-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski |
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES/BICC ![In: Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, pp. 181-192, 2010, Springer, 978-3-642-15233-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber |
Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2010, pp. 101-110, 2010, GI, 978-3-88579-415-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Muhammad Farooq, Sumit Adhikari, Jan Haase 0001, Christoph Grimm 0001 |
Modeling methodology in SystemC-AMS for embedded analog mixed signal systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIT ![In: FIT '10, 8th International Conference on Frontiers of Information Technology, Islamabad, Pakistan, December 21-23, 2010, pp. 27, 2010, ACM, 978-1-4503-0342-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Aisha Fouad Bushager, Mark Zwolinski |
Modelling Smart Card Security Protocols in SystemC TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010, Hong Kong, China, 11-13 December 2010, pp. 637-643, 2010, IEEE Computer Society, 978-0-7695-4322-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Abdelbasset Massouri, Antoine Lévêque, Laurent Clavier, Michel Vasilevski, Andreas Kaiser, Marie-Minerve Louërat |
Baseband fading channel simulator for Inter-Vehicle Communication using SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMAS ![In: 2010 IEEE International Behavioral Modeling and Simulation Conference, BMAS 2010, San Jose, CA, USA, September 23-24, 2010, pp. 36-41, 2010, IEEE, 978-1-4244-8996-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Yifan Wang 0001, Zhimiao Chen, Stefan Heinen |
Hierarchical generation of pin accurate SystemC models based on RF circuit schematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMAS ![In: 2010 IEEE International Behavioral Modeling and Simulation Conference, BMAS 2010, San Jose, CA, USA, September 23-24, 2010, pp. 25-30, 2010, IEEE, 978-1-4244-8996-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Verifying SystemC: A software model checking approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 51-59, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | I-Jui Tung, Kam-Tou Sio, Chin-Hung Peng, Feipei Lai |
A SystemC content addressable memory power estimation tool for early design verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2010, Kuala Lumpur, Malaysia, December 6-9, 2010, pp. 300-303, 2010, IEEE, 978-1-4244-7454-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ibrahim A. Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid |
Modeling of Flocking Behaviour System in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT ![In: Sixth Advanced International Conference on Telecommunications, AICT 2010, 9-15 May 2010, Barcelona, Spain, pp. 358-363, 2010, IEEE Computer Society, 978-0-7695-4021-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ke Yu |
Real-time operating system modelling and simulation using systemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Marius Monton |
Checkpointing for virtual platforms and systemC-TLM-2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Scott Sirowy |
Emulation of SystemC Applications for Portable FPGA Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Nicolas Blanc |
Static Analysis for SystemC with Scoot: From Verification to Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
15 | Scott Sirowy, Chen Huang 0005, Frank Vahid |
Dynamic acceleration management for SystemC emulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 6(3), pp. 3, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|