Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fdl/fdl2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/fdl/AdhikariG10,
author = {Sumit Adhikari and
Christoph Grimm},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in
SystemC-AMS},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {216--221},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/AdhikariG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ArndtUEN10,
author = {Thomas Arndt and
Thomas Uhle and
Karsten Einwich and
Ingmar Neumann},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Using SystemCAMS for Heterogeneous Systems Modelling at {TIER-1} Level},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {228--233},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/ArndtUEN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BaraBCLER10,
author = {Abdelrezzak Bara and
Pirouz Bazargan{-}Sabet and
Remy Chevallier and
Dominique Le D{\^{u}} and
Emmanuelle Encrenaz and
Patricia Renault},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Formal Verification of Timed {VHDL} Programs},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {80--85},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/BaraBCLER10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BrettschneiderH10,
author = {Matthias Brettschneider and
Tobias H{\"{a}}berlein},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Functional Abstractions for {UML} Activity Diagrams},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {191--196},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/BrettschneiderH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BrunmayrHG10,
author = {Peter Brunmayr and
Jan Haase and
Christoph Grimm},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {A Tripartite System Level Design Approach for Design Space Exploration},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {50--55},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/BrunmayrHG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BukerGHS10,
author = {Matthias B{\"{u}}ker and
Kim Gr{\"{u}}ttner and
Philipp A. Hartmann and
Ingo Stierand},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Mapping of Concurrent Object-Oriented Models to Extended Real-Time
Task Networks},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {43--48},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/BukerGHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/FinderF10,
author = {Alexander Finder and
G{\"{o}}rschwin Fey},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Evaluating Debugging Algorithms from a Qualitative Perspective},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {37--42},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/FinderF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/FummiQSL10,
author = {Franco Fummi and
Davide Quaglia and
Francesco Stefanni and
Giovanni Lovato},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Modeling of Communication Infrastructure for Design-Space Exploration},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {92--97},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/FummiQSL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GlitiaDM10,
author = {Calin Glitia and
Julien DeAntoni and
Fr{\'{e}}d{\'{e}}ric Mallet},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Logical Time at Work: Capturing Data Dependencies and Platform Constraints},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {241},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/GlitiaDM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GreavesN10,
author = {David J. Greaves and
M. J. Nam},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors
from Protocol Specifications},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {171--177},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Tue, 28 May 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/GreavesN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GruttnerHRN10,
author = {Kim Gr{\"{u}}ttner and
Kai Hylla and
Sven Rosinger and
Wolfgang Nebel},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Towards an {ESL} Framework for Timing and Power Aware Rapid Prototyping
of {HW/SW} Systems},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {56--61},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/GruttnerHRN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HaaseLG10,
author = {Jan Haase and
Mario Lang and
Christoph Grimm},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Mixed-Level Simulation of Wireless Sensor Networks},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {99--104},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/HaaseLG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HosseinabadyN10,
author = {Mohammad Hosseinabady and
Jos{\'{e}} L. N{\'{u}}{\~{n}}ez{-}Y{\'{a}}{\~{n}}ez},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {SystemC Architectural Transaction Level Modelling for Large NoCs},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {142--147},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/HosseinabadyN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/IyengharWWP10,
author = {Padma Iyenghar and
Clemens Westerkamp and
Juergen Wuebbelmann and
Elke Pulverm{\"{u}}ller},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {An Architecture for Deploying Model Based Testing in Embedded Systems},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {203--208},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Thu, 18 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/IyengharWWP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Jobstmann10,
author = {Barbara Jobstmann},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Robustness with Respect to Error Specifications},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {72},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/Jobstmann10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KhalighR10,
author = {Rauf Salimi Khaligh and
Martin Radetzki},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {A Dynamic Load Balancing Method for Parallel Simulation of Accuracy
Adaptive TLMs},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {130--135},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/KhalighR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KirchnerBKG10,
author = {Tobias Kirchner and
Nico Bannow and
Christian Kerstan and
Christoph Grimm},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Mixed Signal Simulation with SystemC and Saber},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {111--116},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/KirchnerBKG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KuperBK10,
author = {Jan Kuper and
Christiaan Baaij and
Matthijs Kooijman},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Exercises in Architecture Specification Using CLaSH},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {178--183},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/KuperBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LeNoursBP10,
author = {S{\'{e}}bastien Le Nours and
Anthony Barreteau and
Olivier Pasquier},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Modeling Technique for Simulation Time Speed-up of Performance Computation
in Transaction Level Models},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {136--141},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/LeNoursBP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Leveugle10,
author = {R{\'{e}}gis Leveugle},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Early Robustness Evaluation of Digital Integrated Systems},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {69--70},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/Leveugle10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LoitzWSBWK10,
author = {Sacha Loitz and
Markus Wedler and
Dominik Stoffel and
Christian Brehm and
Norbert Wehn and
Wolfgang Kunz},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Complete Verification of Weakly Programmable IPs against Their Operational
{ISA} Model},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {29--36},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/LoitzWSBWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MarquetKM10,
author = {Kevin Marquet and
Bageshri Karkare and
Matthieu Moy},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {A Theoretical and Experimental Review of SystemC Front-ends},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {124--129},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/MarquetKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PecheuxH10,
author = {Fran{\c{c}}ois P{\^{e}}cheux and
Amer Habib},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Towards High-Level Executable Specifications of Heterogeneous Systems
with SystemC-AMS: Application to a Manycore {PCR-CE} Lab on Chip for
{DNA} Sequencing},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {210--215},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/PecheuxH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PenilHV10,
author = {Pablo Pe{\~{n}}il and
Fernando Herrera and
Eugenio Villar},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Formal Foundations for MARTE-SystemC Interoperability},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {197--202},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/PenilHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PerezNOS10,
author = {Jon P{\'{e}}rez and
Carlos Fernando Nicol{\'{a}}s and
Roman Obermaisser and
Christian El Salloum},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Modeling Time-Triggered Architecture Based Safety-Critical Embedded
Systems Using SystemC},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {10--15},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/PerezNOS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RafailaKDPG10,
author = {Monica Rafaila and
J{\'{e}}r{\^{o}}me Kirscher and
Christian Decker and
Georg Pelz and
Christoph Grimm},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Design of Experiments for Reliable Operation of Electronics in Automotive
Applications},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {222--227},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/RafailaKDPG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Rich10,
author = {David Rich},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {A Solution to the Lack of Multiple Inheritance in SystemVerilog},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {16--21},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/Rich10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RouviereBQG10,
author = {Marie Rouvi{\`{e}}re and
Emmanuelle Bourdel and
S{\'{e}}bastien Quintanel and
Bertrand Granado},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {{VHDL-AMS} model of RF-Interconnect System for Global On-Chip Communication},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {155--158},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/RouviereBQG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SchupferGOKB10,
author = {Florian Schupfer and
Christoph Grimm and
Markus Olbrich and
Michael K{\"{a}}rgel and
Erich Barke},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Towards Abstract Analysis Techniques for Range Based System Simulations},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {159--164},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/SchupferGOKB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SeffrinBH10,
author = {Andr{\'{e}} Seffrin and
Alexander Biedermann and
Sorin A. Huss},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Tiny-Pi: {A} Novel Formal Method for Specification, Analysis and Verification
of Dynamic Partial Reconfiguration Processes},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {86--91},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Sat, 26 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/SeffrinBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/StattelmannVBR10,
author = {Stefan Stattelmann and
Alexander Viehl and
Oliver Bringmann and
Wolfgang Rosenstiel},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Reconstructing Line References from Optimized Binary Code for Source-Level
Annotation},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {62--67},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 29 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/StattelmannVBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Suelflow10,
author = {Andr{\'{e}} S{\"{u}}lflow},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Bounded Fault Tolerance Checking},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {71},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Mon, 30 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/Suelflow10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/VillarHF10,
author = {Eugenio Villar and
Fernando Herrera and
V{\'{\i}}ctor Fern{\'{a}}ndez},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Formal Support for Untimed SystemC Specifications: Application to
High-level Synthesis},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {74--79},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Thu, 05 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/VillarHF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WangODL10,
author = {Bo Wang and
Ian O'Connor and
Emmanuel Drouard and
Lioua Labrak},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Bottom-up Verification Methodology for {CMOS} Photonic Linear Heterogeneous
System},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {149--154},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/WangODL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WilleOD10,
author = {Robert Wille and
Sebastian Offermann and
Rolf Drechsler},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {SyReC: {A} Programming Language for Synthesis of Reversible Circuits},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {184--189},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/WilleOD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/YeTLWM10,
author = {Jun Ye and
QingPing Tan and
Tun Li and
Bin Wu and
Yuanru Meng},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Feature-Oriented Refactoring Proposal for Transaction Level Models
in SoCLib},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {22--27},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/YeTLWM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZaumHOBN10,
author = {Daniel Zaum and
Stefan Hoelldampf and
Markus Olbrich and
Erich Barke and
Ingmar Neumann},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {An Accelerated Mixed-Signal Simulation Kernel for SystemC},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {234--239},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/ZaumHOBN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZhaoK10,
author = {Chenxu Zhao and
Tom J. Kazmierski},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {105--110},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/ZhaoK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZhaoK10a,
author = {Chenxu Zhao and
Tom J. Kazmierski},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {165--170},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/ZhaoK10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZhuSJ10,
author = {Jun Zhu and
Ingo Sander and
Axel Jantsch},
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {HetMoC: Heterogeneous Modelling in SystemC},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
pages = {117--122},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/ZhuSJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2010,
editor = {Adam Morawiec and
Jinnie Hinderscheit},
title = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
{FDL} 2010, September 14-16, 2010, Southampton, {UK}},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
year = {2010},
url = {http://www.ecsi.org/fdl2010/},
timestamp = {Fri, 25 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 18:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
