Embedded Systems Engineering

  1. 2013
  2. Published

    Elimination of Parallel Copies using Code Motion on Data Dependence Graphs. / Brandner, Florian; Colombet, Quentin.

    In: Computer Languages, Systems and Structures, Vol. 39, No. 1, 2013, p. 25–47.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  3. 2012
  4. Published

    System level modelling with open source tools. / Jakobsen, Mikkel Koefoed; Madsen, Jan; Niaki, Seyed Hosein Attarzadeh ; Sander, Ingo ; Hansen, Jan.

    2012. Paper presented at Embedded World 2012 , Nuremberg, Germany.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  5. Published

    Anatomy of Alternating Quantifier Satisfiability (Work in progress). / Dung, Phan Anh; Bjørner, Nikolaj; Monniaux, David.

    2012. Paper presented at 10th International Workshop on Satisfiability Modulo Theories (SMT 2012), Manchester, United Kingdom.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  6. Published

    Biochips: The Integrated Circuit of Biology. / Madsen, Jan.

    2012 NORCHIP. IEEE, 2012.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  7. Published

    The Role of Trust in Computer Security. / Jensen, Christian D.

    2012 Tenth Annual International Conference on Privacy, Security and Trust (PST). IEEE, 2012. p. 236.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  8. Published

    Robust and flexible mapping for real-time distributed applications during the early design phases. / Gan, Junhe; Pop, Paul; Gruian, Flavius; Madsen, Jan.

    DATE '12:Proceedings of the Conference on Design, Automation and Test in Europe. Association for Computing Machinery, 2012. p. 935-940.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  9. Published

    Energy-Harvesting Wireless Sensor Networks. / Fafoutis, Xenofon; Vuckovic, Dusan; Di Mauro, Alessio; Dragoni, Nicola; Madsen, Jan.

    9th European Conference on Wireless Sensor Networks, EWSN 2012: Poster and Demo Proceedings. 2012. p. 84-85.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2012

  10. Published

    MDM: A Mode Diagram Modeling Framework. / Wang, Zheng; Pu, Geguang; Li, Jianwen; He, Jifeng; Qin, Shengchao; Larsen, Kim G.; Madsen, Jan; Gu, Bin.

    Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems . EPTCS, 2012. p. 135-149 (Electronic Proceedings in Theoretical Computer Science, Vol. 105).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  11. Published

    Synthesis of Communication Schedules for TTEthernet-Based Mixed-Criticality Systems. / Tamas-Selicean, Domitian; Pop, Paul; Steiner, Wilfried.

    CODES+ISSS '12: Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis . Association for Computing Machinery, 2012. p. 473-482.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  12. Published

    Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems. / Tamas-Selicean, Domitian; Pop, Paul.

    2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2012.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

Previous 1 2 3 4 5 6 7 8 ...34 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word