Search dblp for Publications

export results for "toc:db/conf/fdl/fdl2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fdl/AdhikariGH11,
  author       = {Sumit Adhikari and
                  Christoph Grimm and
                  Jan Haase},
  title        = {Abstract modelling and estimation of a high performance Tobey's {PGA}},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069467/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/AdhikariGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BombieriFGSV11,
  author       = {Nicola Bombieri and
                  Franco Fummi and
                  Valerio Guarnieri and
                  Francesco Stefanni and
                  Sara Vinco},
  title        = {Efficient implementation and abstraction of systemc data types for
                  fast simulation},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069479/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/BombieriFGSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BrandtGSST11,
  author       = {Jens Brandt and
                  Mike Gemunde and
                  Klaus Schneider and
                  Sandeep K. Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Integrating system descriptions by clocked guarded actions},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069488/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/BrandtGSST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/CenniSS11,
  author       = {Fabio Cenni and
                  Serge Scotti and
                  Emmanuel Simeu},
  title        = {Behavioral modeling of a {CMOS} video sensor platform using systemc
                  {AMS/TLM}},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069493/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/CenniSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GemundeBS11,
  author       = {Mike Gemunde and
                  Jens Brandt and
                  Klaus Schneider},
  title        = {Schizophrenia and causality in the context of refined clocks},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069475/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/GemundeBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HaetzerR11,
  author       = {Bastian Haetzer and
                  Martin Radetzki},
  title        = {A case study on message-based discrete event simulation for Transaction
                  Level Modeling},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069480/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HaetzerR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HerreraV11,
  author       = {Fernando Herrera and
                  Eugenio Villar},
  title        = {A framework for the generation from {UML/MARTE} models of {IPXACT}
                  {HW} platform descriptions for multi-level performance estimation},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069482/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HerreraV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HerreraVH11,
  author       = {Fernando Herrera and
                  Eugenio Villar and
                  Philipp A. Hartmann},
  title        = {Systemc refinement of abstract adaptive processes for implementation
                  into Dynamically Reconfigurable Hardware},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069485/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HerreraVH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/IyengharPWW11,
  author       = {Padma Iyenghar and
                  Elke Pulverm{\"{u}}ller and
                  Clemens Westerkamp and
                  Juergen Wuebbelmann},
  title        = {Integrated model-based approach and test framework for embedded systems},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069477/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/IyengharPWW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/JainKP11,
  author       = {Vaibhav Jain and
                  Anshul Kumar and
                  Preeti Ranjan Panda},
  title        = {A {UML} based framework for efficient validation of {TLM} 2 models},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069478/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/JainKP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KhalighR11,
  author       = {Rauf Salimi Khaligh and
                  Martin Radetzki},
  title        = {A metamodel and semantics for transaction level modeling},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069474/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KhalighR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LeNoursBP11,
  author       = {S{\'{e}}bastien Le Nours and
                  Anthony Barreteau and
                  Olivier Pasquier},
  title        = {A generic execution model for efficient performance evaluation of
                  system architectures at transaction level},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069476/},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LeNoursBP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MaHS11,
  author       = {Mingyu Ma and
                  Lars Hedrich and
                  Christian Sporrer},
  title        = {A machine-readable specification of analog circuits for integration
                  into a validation flow},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069469/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MaHS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MaruganBE11,
  author       = {Pablo Gonz{\'{a}}lez de Aledo Marug{\'{a}}n and
                  Javier Gonzalez Bayon and
                  Pablo S{\'{a}}nchez Espeso},
  title        = {Hardware performance estimation by dynamic scheduling},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069487/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MaruganBE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MichaelGD11,
  author       = {Marc Michael and
                  Daniel Gro{\ss}e and
                  Rolf Drechsler},
  title        = {Analyzing dependability measures at the Electronic System Level},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069490/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MichaelGD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/NiakiS11,
  author       = {Seyed{-}Hosein Attarzadeh{-}Niaki and
                  Ingo Sander},
  title        = {Semi-formal refinement of heterogeneous embedded systems by foreign
                  model integration},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069486/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/NiakiS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/OchoaBLM11,
  author       = {Gilberto Ochoa and
                  El{-}Bay Bourennane and
                  Ouassila Labbani and
                  Kamel Messaoudi},
  title        = {{IP-XACT} and marte based approach for partially reconfigurable systems-on-chip},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069483/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/OchoaBLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/OffermannWD11,
  author       = {Sebastian Offermann and
                  Robert Wille and
                  Rolf Drechsler},
  title        = {Efficient realization of control logic in reversible circuits},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069484/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/OffermannWD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PierreD11,
  author       = {Laurence Pierre and
                  Laila Damri},
  title        = {Improvement of Assertion-Based Verification through the generation
                  of proper test sequences},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069470/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/PierreD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PoppenKGH11,
  author       = {Frank Poppen and
                  Roland Koppe and
                  Kim Gr{\"{u}}ttner and
                  Axel Hahn},
  title        = {Impact simulation of changes to development processes: An {ESL} case
                  study},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069481/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/PoppenKGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PorcherMFC11,
  author       = {Alexandre Porcher and
                  Katell Morin{-}Allory and
                  Laurent Fesquet and
                  Alejandro Chagoya},
  title        = {Does asynchronous technology bring robustness in synchronous circuit
                  monitoring?},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069471/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/PorcherMFC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RibonGJD11,
  author       = {Aur{\'{e}}lien Ribon and
                  Bertrand Le Gal and
                  Christophe J{\'{e}}go and
                  Dominique Dallet},
  title        = {Assertion support in high-level synthesis design flow},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069472/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/RibonGJD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ShcherbakovWW11,
  author       = {Ivan Shcherbakov and
                  Christian Weis and
                  Norbert Wehn},
  title        = {Bringing {C++} productivity to {VHDL} world: From language definition
                  to a case study},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069473/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ShcherbakovWW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/StreubuhrRHHT11,
  author       = {Martin Streub{\"{u}}hr and
                  Rafael Rosales and
                  Ralph Hasholzner and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  title        = {{ESL} power and performance estimation for heterogeneous {MPSOCS}
                  using SystemC},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069489/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/StreubuhrRHHT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/UmohK11,
  author       = {Ime J. Umoh and
                  Tom J. Kazmierski},
  title        = {{VHDL-AMS} model of a dual gate graphene {FET}},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069468/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/UmohK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WenningerMHG11,
  author       = {Joseph Wenninger and
                  Javier Moreno and
                  Jan Haase and
                  Christoph Grimm},
  title        = {Designing low-power wireless sensor networks},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069492/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/WenningerMHG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZhouL11,
  author       = {Mu Zhou and
                  Ren{\'{e}} van Leuken},
  title        = {Systemc-AMS model of a dynamic large-scale satellite-based AIS-like
                  network},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069494/},
  timestamp    = {Tue, 13 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ZhouL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2011,
  title        = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6062354/proceeding},
  isbn         = {978-1-4577-0763-6},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics