Search dblp for Publications

export results for "toc:db/journals/dafes/dafes12.bht:"

 download as .bib file

@article{DBLP:journals/dafes/ArcherLLMU08,
  author       = {Myla Archer and
                  Hongping Lim and
                  Nancy A. Lynch and
                  Sayan Mitra and
                  Shinya Umeno},
  title        = {Specifying and proving properties of timed {I/O} automata using Tempo},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {1-2},
  pages        = {139--170},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9022-2},
  doi          = {10.1007/S10617-008-9022-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/ArcherLLMU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/AtitallahKML08,
  author       = {Ahmed Ben Atitallah and
                  Patrice Kadionik and
                  Nouri Masmoudi and
                  Herv{\'{e}} Levi},
  title        = {{FPGA} implementation of a {HW/SW} platform for multimedia embedded
                  systems},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {4},
  pages        = {293--311},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9030-2},
  doi          = {10.1007/S10617-008-9030-2},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/AtitallahKML08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/BaddamZ08,
  author       = {Karthik Baddam and
                  Mark Zwolinski},
  title        = {Path switching: a technique to tolerate dual rail routing imbalances},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {3},
  pages        = {207--220},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9017-z},
  doi          = {10.1007/S10617-008-9017-Z},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/BaddamZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/BarretoMTFOL08,
  author       = {Raimundo S. Barreto and
                  Paulo Romero Martins Maciel and
                  Eduardo Tavares and
                  Romulo Devezas Freitas and
                  Meuse N. Oliveira Jr. and
                  Ricardo Massa Ferreira Lima},
  title        = {A time Petri net-based method for embedded hard real-time software
                  synthesis},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {1-2},
  pages        = {31--62},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-007-9011-x},
  doi          = {10.1007/S10617-007-9011-X},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/BarretoMTFOL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/BultanH08,
  author       = {Tevfik Bultan and
                  Constance L. Heitmeyer},
  title        = {Applying infinite state model checking and other analysis techniques
                  to tabular requirements specifications of safety-critical systems},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {1-2},
  pages        = {97--137},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9014-2},
  doi          = {10.1007/S10617-008-9014-2},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/BultanH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/FanSV08,
  author       = {Junfeng Fan and
                  Kazuo Sakiyama and
                  Ingrid Verbauwhede},
  title        = {Elliptic curve cryptography on embedded multicore systems},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {3},
  pages        = {231--242},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9021-3},
  doi          = {10.1007/S10617-008-9021-3},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/FanSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/GebotysW08,
  author       = {Catherine H. Gebotys and
                  Brian A. White},
  title        = {{EM} alignment using phase for secure embedded systems},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {3},
  pages        = {185--206},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9016-0},
  doi          = {10.1007/S10617-008-9016-0},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/GebotysW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/HoeP08,
  author       = {James C. Hoe and
                  Jens Palsberg},
  title        = {{MEMOCODE} 2006 guest editors' introduction},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {1-2},
  pages        = {95},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9025-z},
  doi          = {10.1007/S10617-008-9025-Z},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/HoeP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/JigangSJ08,
  author       = {Wu Jigang and
                  Thambipillai Srikanthan and
                  Tao Jiao},
  title        = {Algorithmic aspects for functional partitioning and scheduling in
                  hardware/software co-design},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {4},
  pages        = {345--375},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9032-0},
  doi          = {10.1007/S10617-008-9032-0},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/JigangSJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/KeramidasASK08,
  author       = {Georgios Keramidas and
                  Alexandros Antonopoulos and
                  Dimitrios N. Serpanos and
                  Stefanos Kaxiras},
  title        = {Non deterministic caches: a simple and effective defense against side
                  channel attacks},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {3},
  pages        = {221--230},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9018-y},
  doi          = {10.1007/S10617-008-9018-Y},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/KeramidasASK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/KhanA08,
  author       = {Gul N. Khan and
                  Usman Ahmed},
  title        = {{CAD} tool for hardware software co-synthesis of heterogeneous multiple
                  processor embedded architectures},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {4},
  pages        = {313--343},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9031-1},
  doi          = {10.1007/S10617-008-9031-1},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/KhanA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/MathaikuttyPSJ08,
  author       = {Deepak Mathaikutty and
                  Hiren D. Patel and
                  Sandeep K. Shukla and
                  Axel Jantsch},
  title        = {SML-Sys: a functional framework with multiple models of computation
                  for modeling heterogeneous system},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {1-2},
  pages        = {1--30},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9012-4},
  doi          = {10.1007/S10617-008-9012-4},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/MathaikuttyPSJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/MathaikuttyS08,
  author       = {Deepak Mathaikutty and
                  Sandeep K. Shukla},
  title        = {Mining metadata for composability of IPs from SystemC {IP} library},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {1-2},
  pages        = {63--94},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9013-3},
  doi          = {10.1007/S10617-008-9013-3},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/MathaikuttyS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/ParameswaranW08,
  author       = {Sri Parameswaran and
                  Tilman Wolf},
  title        = {Embedded systems security - an overview},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {3},
  pages        = {173--183},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9027-x},
  doi          = {10.1007/S10617-008-9027-X},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dafes/ParameswaranW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/SathreZ08,
  author       = {Jesse Sathre and
                  Joseph Zambreno},
  title        = {Automated software attack recovery using rollback and huddle},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {3},
  pages        = {243--260},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9020-4},
  doi          = {10.1007/S10617-008-9020-4},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/SathreZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/VanderperrenMD08,
  author       = {Yves Vanderperren and
                  Wolfgang Mueller and
                  Wim Dehaene},
  title        = {{UML} for electronic systems design: a comprehensive overview},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {4},
  pages        = {261--292},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9028-9},
  doi          = {10.1007/S10617-008-9028-9},
  timestamp    = {Thu, 30 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/VanderperrenMD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/VasudevanVAT08,
  author       = {Shobha Vasudevan and
                  Vinod Viswanath and
                  Jacob A. Abraham and
                  Jiajin Tu},
  title        = {Sequential equivalence checking between system level and {RTL} descriptions},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {4},
  pages        = {377--396},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9033-z},
  doi          = {10.1007/S10617-008-9033-Z},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/VasudevanVAT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dafes/WolfP08,
  author       = {Tilman Wolf and
                  Sri Parameswaran},
  title        = {Guest editorial for special issue on embedded system security},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {12},
  number       = {3},
  pages        = {171--172},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10617-008-9029-8},
  doi          = {10.1007/S10617-008-9029-8},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dafes/WolfP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.