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

    A collaborative approach to botnet protection. / Stevanovic, Matija; Revsbech, Kasper; Pedersen, Jens Myrup; Sharp, Robin; Jensen, Christian D.

    In: Lecture Notes in Computer Science, Vol. 7465, 2012, p. 624-638.

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

  5. Published

    Adaptive Media Access Control for Energy Harvesting - Wireless Sensor Networks. / Fafoutis, Xenofon; Dragoni, Nicola.

    2012 Ninth International Conference on Networked Sensing Systems (INSS). IEEE, 2012.

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

  6. Published

    A desktop 3D printer in safety-critical Java. / Strøm, Tórur Biskopstø; Schoeberl, Martin.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 72-79.

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

  7. Published

    A Light-Weight Statically Scheduled Network-on-Chip. / Sørensen, Rasmus Bo; Schoeberl, Martin; Sparsø, Jens.

    2012 NORCHIP. IEEE, 2012.

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

  8. Published

    Analytical Comparison of MAC Schemes for Energy Harvesting - Wireless Sensor Networks. / Fafoutis, Xenofon; Dragoni, Nicola.

    2012 Ninth International Conference on Networked Sensing Systems (INSS). IEEE, 2012.

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

  9. 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

  10. Published

    Architectural Synthesis of Flow-Based Microfluidic Large-Scale Integration Biochips. / Minhass, Wajid Hassan; Pop, Paul; Madsen, Jan; Blaga, Felician Stefan.

    CASES '12: Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems . Association for Computing Machinery, 2012. p. 181-190.

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

  11. Published

    ASAM: Automatic Architecture Synthesis and Application Mapping. / Jozwiak, L.; Lindwer, M.; Corvino, R.; Meloni, P.; Micconi, Laura; Madsen, Jan; Diken, E.; Gangadharan, Deepak; Jordans, R.; Pomata, S.; Pop, Paul; Tuveri, G.; Raffo, L.

    2012 15th Euromicro Conference on Digital System Design (DSD). IEEE, 2012. p. 216-225.

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

  12. Published

    A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems. / Schoeberl, Martin; Brandner, Florian; Sparsø, Jens; Kasapaki, Evangelia.

    2012 Sixth IEEE/ACM International Symposium on Networks on Chip (NoCS). IEEE, 2012. p. 152-160 .

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

  13. Published

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

    2012 NORCHIP. IEEE, 2012.

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

  14. Published

    Collaborative trust evaluation for wiki security. / Lindberg, Kasper; Jensen, Christian D.

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

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

  15. Published

    Comments on ‘Improving the speed of decimal division’. / Lang, T.; Nannarelli, Alberto.

    In: I E T Computers and Digital Techniques, Vol. 6, No. 6, 2012, p. 370-371 .

    Publication: Research - peer-reviewComment/debate – Annual report year: 2012

  16. Published

    Declarative Specification of Fault Tolerant Auction Protocols: The English Auction Case Study. / Dragoni, Nicola; Gaspari, Mauro.

    In: Computational Intelligence, Vol. 28, No. 4, 2012, p. 617-641.

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

  17. Published

    Design of Networks-on-Chip for Real-Time Multi-Processor Systems-on-Chip. / Sparsø, Jens.

    2012 12th International Conference on Application of Concurrency to System Design (ACSD). IEEE, 2012. (International Conference on Application of Concurrency to System Design. Proceedings).

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

  18. Published

    Design of Power Efficient FPGA based Hardware Accelerators for Financial Applications. / Hegner, Jonas Stenbæk; Sindholt, Joakim; Nannarelli, Alberto.

    2012 NORCHIP. IEEE, 2012.

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

  19. Published

    Design Principles for Synthesizable Processor Cores. / Schleuniger, Pascal; McKee, Sally A.; Karlsson, Sven .

    Architecture of Computing Systems – ARCS 2012: 25th International Conference Munich, Germany, February 28 – March 2, 2012 Proceedings. Springer, 2012. p. 111-122 (Lecture Notes in Computer Science, Vol. 7179).

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

  20. Published

    Document and author promotion strategies in the secure wiki model. / Lindberg, Kasper; Jensen, Christian D.

    In: IFIP AICT - Advances in Information and Communication technology, Vol. 374, 2012, p. 247-252.

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

  21. Published

    Droplet-Aware Module-Based Synthesis for Fault-Tolerant Digital Microfluidic Biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.

    2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 2012. p. 47-52 .

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

  22. 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

  23. Published

    Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. / Harmon, Trevor; Schoeberl, Martin; Kirner, Raimund; Klefstad, Raymond; Kim, Kwang H.; Lowry, Michael R.

    In: I E E E Transactions on Industrial Informatics, Vol. 8, No. 2, 2012, p. 366-377.

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

  24. Published

    First Workshop on Incentives and Trust in E-Commerce (WIT-EC’12). / Marsh, Stephen (Editor); Zhang, Jie (Editor); Jensen, Christian D. (Editor).

    2012. 102 p.

    Publication: ResearchBook – Annual report year: 2012

  25. Published

    Formal heterogeneous system modeling with SystemC. / Niaki, Seyed Hosein Attarzadeh; Jakobsen, Mikkel Koefoed; Sulonen, Tero; Sander, Ingo.

    2012 Forum on Specification and Design Languages (FDL). IEEE, 2012. p. 160-167.

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

  26. Published

    Guest Editor’s foreword. / Hansen, Michael Reichhardt.

    In: Journal of Logic and Algebraic Programming, Vol. 81, No. 4, 2012, p. 355.

    Publication: ResearchEditorial – Annual report year: 2012

  27. Published

    Guiding Programmers to Higher Memory Performance. / Jensen, Nicklas Bo; Larsen, Per; Ladelsky, Razya; Zaks, Ayal; Karlsson, Sven .

    Proceedings of 5th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-12). 2012.

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

  28. Published

    Handover Incentives for Self-Interested WLANs with Overlapping Coverage. / Fafoutis, Xenofon; Siris, Vasilios A.

    In: I E E E Transactions on Mobile Computing, Vol. 11, No. 12, 2012, p. 2033-2046.

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

  29. Published

    Hardware Support for Embedded Java. / Schoeberl, Martin.

    Distributed, Embedded and Real-time Java Systems. ed. / M. Teresa Higuera-Toledano; Andy J. Wellings. Springer, 2012. p. 159-176.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2012

  30. Published

    Hardware Support for Safety-critical Java Scope Checks. / Rios Rivas, Juan Ricardo; Schoeberl, Martin.

    2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE, 2012. p. 31-38 .

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

  31. Published

    Implementing Workflow Reconfiguration in WS-BPEL. / Mazzara, Manuel; Dragoni, Nicola; Zhou, Mu.

    In: Journal of Internet Services and Information Security, Vol. 2, No. 1/2, 2012, p. 73-92.

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

  32. Published

    Imprecise Arithmetic for Low Power Image Processing. / Albicocco, Pietro; Cardarilli, Gian Carlo ; Nannarelli, Alberto; Petricca, Massimo; Re, Marco .

    2012 Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers (ASILOMAR). IEEE, 2012. p. 983-987 (Asilomar Conference on Signals, Systems and Computers. Conference Record).

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

  33. Published

    IR-Drop Reduction in Sub-VT Circuits by De-synchronization. / Karlsson, Andreas; Andersson, Oskar; Sparsø, Jens; Rodrigues, Joachim Neves.

    Proceedings of the IEEE Subtreshold Microelectronics Conference. IEEE, 2012.

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

  34. Published

    Is Time Predictability Quantifiable?. / Schoeberl, Martin.

    International Conference on Embedded Computer Systems (SAMOS 2012). IEEE, 2012. p. 333-338 .

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

  35. 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

  36. Published

    Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. / Abouzaid, Faisal; Mullins, John; Mazzara, Manuel; Dragoni, Nicola.

    Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, 2012. p. 534-543 (Lecture Notes in Computer Science, Vol. 7327).

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

  37. Published

    Online Synthesis for Error Recovery in Digital Microfluidic Biochips with Operation Variability. / Alistar, Mirela; Pop, Paul; Madsen, Jan.

    2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP). IEEE, 2012. p. 53-58.

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

  38. Published

    On the Scalability of Time-predictable Chip-Multiprocessing. / Puffitsch, Wolfgang; Schoeberl, Martin.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 98-104.

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

  39. Published

    Optimal Register Allocation by Augmented Left-Edge Algorithm on Arbitrary Control-Flow Structures. / Ruvald Pedersen, Mark; Madsen, Jan.

    2012 NORCHIP. IEEE, 2012.

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

  40. Published

    Patterns for Safety-Critical Java Memory Usage. / Rios Rivas, Juan Ricardo; Nilsen, Kelvin; Schoeberl, Martin.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 1-8.

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

  41. Published

    Post-Session Authentication. / Ahmed, Naveed; Jensen, Christian D.

    Trust Management VI: 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings. Springer, 2012. (IFIP AICT - Advances in Information and Communication technology, Vol. 374).

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

  42. Published

    Power and Aging Characterization of Digital FIR Filters Architectures. / Calimera, Andrea; Liu, Wei; Macii, Enrico; Nannarelli, Alberto; Poncino, Massimo.

    First MEDIAN Workshop 2012. 2012.

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

  43. Published

    Power Efficient Design of Parallel/Serial FIR Filters in RNS. / Petricca, Massimo; Albicocco, Pietro; Cardarilli, Gian Carlo ; Nannarelli, Alberto; Re, Marco .

    2012 Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers (ASILOMAR). IEEE, 2012. p. 1015-1019 (Asilomar Conference on Signals, Systems and Computers. Conference Record).

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

  44. Published

    Power Efficient Division and Square Root Unit. / Liu, Wei; Nannarelli, Alberto.

    In: I E E E Transactions on Computers, Vol. 61, No. 8, 2012, p. 1059-1070.

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

  45. Published

    Private Memory Allocation Analysis for Safety-Critical Java. / Dalsgaard, Andreas E.; Hansen, René Rydhof; Schoeberl, Martin.

    Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012). Association for Computing Machinery, 2012. p. 9-17.

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

  46. Published

    Quantitative analysis of probabilistic BPMN workflows. / Herbert, Luke Thomas; Sharp, Robin.

    Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2012.

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

  47. Published

    Resource Allocation of Security-Critical Tasks with Statistically Guaranteed Energy Constraint. / Jiang, Wei; Jiang, Ke; Ma, Yue.

    2012 IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 2012. p. 330-339 (Embedded and Real-Time Computing Systems and Applications).

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

  48. 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

  49. Published

    Routing-based synthesis of digital microfluidic biochips. / Maftei, Elena; Pop, Paul; Madsen, Jan.

    In: Design Automation for Embedded Systems, Vol. 16, No. 1, 2012, p. 19-44.

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

  50. Published

    SAFCM: A Security-Aware Feedback Control Mechanism for Distributed Real-Time Embedded Systems. / Ma, Yue; Jiang, Wei; Sang, Nan; Pop, P.

    2012 IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, 2012. p. 340-349 (Embedded and Real-Time Computing Systems and Applications).

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

  51. Published

    Safety-critical Java on a Java processor. / Schoeberl, Martin; Rios Rivas, Juan Ricardo.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. p. 54-61.

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

  52. Published

    Safety-critical Java with cyclic executives on chip-multiprocessors. / Ravn, Anders P.; Schoeberl, Martin.

    In: Concurrency and Computation: Practice & Experience, Vol. 24, No. 8, 2012, p. 772–788.

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

Previous 1 2 3 4 5 6 7 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