Dansk

DTU.dk

Index

Contact

Phone book

Internal Pages

DTU Alumni

Søgeord

Education

DTU Informatics bookshop

Research

Image Analysis & Computer Graphics

Language-Based Technology

Mathematical Statistics

Industrial collaboration

Industrial collaboration

Public sector consultancy

Advanced Technology Foundation Projects

Continuing education

Model-based Software Engineering Center

MT-Lab

PhD education

Software Development Center

Statistical Consulting Center

About DTU Informatics

About DTU Informatics

Contact

Employees

Facts about DTU Informatics

Getting to DTU Informatics

Alumni association (in Danish)

News

News

Scientific publications from the Embedded Systems Engineering Section

Sort by Filter	Published
Previous 1 2 3 4 Next
Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach Schoeberl, Martin ; Schleuniger, Pascal ; Puffitsch, Wolfgang ; Brandner, Florian ; Probst, Christian W. ; Karlsson, Sven ; Thorn, Tommy part of: Bringing Theory to Practice: Predictability and Performance in Embedded Systems (ISBN: 978-3-939897-28-6), pages: 11-21, 2011, OASICS, Type: Article in proceedings - Article in proceedings Presented at: Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems DOI: 10.4230/OASIcs.PPES.2011.11	2011
WCET Tool Challenge 2011: Report von Hanxleden, Reinhard ; Holsti, Niklas ; Lisper, Björn ; Ploedereder, Erhard ; Wilhelm, Reinhard ; Bonenfant, Armelle ; Cassé, Hugues ; Bünte, Sven ; Fellger, Wolfgang ; Gepperth, Sebastian ; Gustafsson, Jan ; Huber, Benedikt ; Islam, Nazrul Mohammad ; Kästner, Daniel ; Kirner, Raimund ; Kovács, Laura ; Krause, Felix ; de Michiel, Marianne ; Olesen, Mads Christian ; Prantl, Adrian ; Puffitsch, Wolfgang ; Rochange, Christine ; Schoeberl, Martin ; Wegener, Simon ; Zolda, Michael ; Zwirchmayr, Jakob part of: Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2011, Austrian Computer Society (OCG), Type: Article in proceedings - Article in proceedings Presented at: International Workshop on Worst-Case Execution-Time Analysis, Porto, Portugal	2011
Guest Editorial: Special Issue on Frontiers in Trust Management Jensen, Christian D. ; Dragoni, Nicola ; Basu, Anirban ; Mancini, Clara in journal: Journal of Internet Services and Information Security (ISSN: 2182-2069), vol: 1, issue: 4, pages: 1-4, 2011 Type: Editorial - Editorial	2011
Portable and Accurate Collection of Calling-Context-Sensitive Bytecode Metrics for the Java Virtual Machine Sarimbekov, Aibek ; Sewe, Andreas ; Binder, Walter ; Moret, Philippe ; Schoeberl, Martin ; Mezini, Mira part of: Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011) (ISBN: 978-1-4503-0935-6), 2011, ACM, Type: Article in proceedings - Article in proceedings Presented at: 9th International Conference on the Principles and Practice of Programming in Java, Kongens Lyngby	2011
Real-Time Wait-Free Queues using Micro-Transactions Meawad, Fadi ; Iyer, Karthik ; Schoeberl, Martin ; Vitek, Jan part of: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011) (ISBN: 978-1-4503-0731-4), 2011, ACM, Type: Article in proceedings - Article in proceedings Presented at: 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, York DOI: 10.1145/2043910.2043912	2011
Memory Management for Safety-Critical Java Schoeberl, Martin part of: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011) (ISBN: 978-1-4503-0731-4), 2011, ACM, Type: Article in proceedings - Article in proceedings Presented at: 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, York DOI: 10.1145/2043910.2043919	2011
User-Defined Clocks in the Real-Time Specification for Java Wellings, Andy ; Schoeberl, Martin part of: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011) (ISBN: 978-1-4503-0731-4), 2011, ACM, Type: Article in proceedings - Article in proceedings Presented at: 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, York DOI: 10.1145/2043910.2043923	2011
Java Dust: How Small Can Embedded Java Be? Caska, James ; Schoeberl, Martin part of: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2011) (ISBN: 978-1-4503-0731-4), pages: 125-129, 2011, ACM, Type: Article in proceedings - Article in proceedings Presented at: 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, York DOI: 10.1145/2043910.2043931	2011
Adapt or Become Extinct! Goumas, Georgios ; McKee, Sally A. ; Själander, Magnus ; Gross, Thomas R. ; Karlsson, Sven ; Probst, Christian W. ; Zhang, Lixin part of: EXADAPT '11 Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era (ISBN: 978-1-4503-0708-6), 2011, University of Strathclyde, Type: Article in proceedings - Article in proceedings Presented at: International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, San Jose, California DOI: 10.1145/2000417.2000422	2011
Hardware Synchronization for Embedded Multi-Core Processors Stoif, Christian ; Schoeberl, Martin ; Liccardi, Benito ; Haase, Jan part of: Proceedings of the 2011 IEEE International Symposium on Circuits and Systems (ISCAS 2011) (ISBN: 9781424494736), pages: 2557-2560, 2011, Type: Article in proceedings - Article in proceedings Presented at: IEEE International Symposium on Circuits and Systems (ISCAS 2011) DOI: 10.1109/ISCAS.2011.5938126	2011
Leros: A Tiny Microcontroller for FPGAs Schoeberl, Martin part of: Proceedings of the 21st International Conference on Field Programmable Logic and Applications (FPL 2011) (ISBN: 9781457714849), 2011, Type: Article in proceedings - Article in proceedings Presented at: 21st International Conference on Field Programmable Logic and Applications (FPL 2011) DOI: 10.1109/FPL.2011.13	2011
A Time-predictable Object Cache Schoeberl, Martin part of: Proceedings of the 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2011), 2011, Type: Article in proceedings - Article in proceedings Presented at: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2011), Newport Beach, CA DOI: 10.1109/ISORC.2011.22	2011
Design Space Exploration of Object Caches with Cross-Profiling Schoeberl, Martin ; Binder, Walter ; Villazon, Alex part of: Proceedings of the 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2011), 2011, Type: Article in proceedings - Article in proceedings Presented at: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2011), Newport Beach, CA DOI: 10.1109/ISORC.2011.34	2011
System-Level Modeling and Synthesis of Flow-Based Microfluidic Biochips Minhass, Wajid Hassan ; Pop, Paul ; Madsen, Jan part of: 2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES) (ISBN: 978-1-4503-0713-0), pages: 225-233, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: International Conference on Compilers, Architectures and Synthesis for Embedded Systems, Taipei, Taiwan DOI: 10.1145/2038698.2038733	2011
Digital Microfluidic Biochips: Recent Research and Emerging Challenges Ho, Tsung-Yi ; Chakrabarty, Krishnendu ; Pop, Paul part of: 2011 Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (ISBN: 978-1-4503-0715-4), pages: 335-343, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: 9th International Conference on Hardware/Software Codesign and System Synthesis, Taipei DOI: 10.1145/2039370.2039422	2011
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic Hansen, Michael Reichhardt ; Brekling, Aske Wiid part of: 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) (ISBN: 978-1-4577-1242-5), pages: 115-122, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: 18th International Symposium on Temporal Representation and Reasoning, Lübeck DOI: 10.1109/TIME.2011.26	2011
Sows’ activity classification device using acceleration data – A resource constrained approach Marchioro, Gilberto Fernandes ; Cornou, Cécile ; Kristensen, Anders Ringgaard ; Madsen, Jan in journal: Computers and Electronics in Agriculture (ISSN: 0168-1699) (DOI: http://dx.doi.org/10.1016/j.compag.2011.04.004), vol: 77, issue: 1, pages: 110-117, 2011 Type: Journal article - Journal article DOI: 10.1016/j.compag.2011.04.004	2011
Modelling of Energy Harvesting Aware Wireless Sensor Networks Hansen, Michael Reichhardt ; Jakobsen, Mikkel Koefoed ; Madsen, Jan part of: Sustainable Energy Harvesting Technologies - Past, Present and Future (ISBN: 978-953-307-438-2), 2011, Intech, Type: Book chapter - Book chapter	2011
Radix-16 Combined Division and Square Root Unit Nannarelli, Alberto part of: 2011 20th IEEE Symposium on Computer Arithmetic (ARITH) (ISBN: 978-1-4244-9457-6), pages: 169-176, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: IEEE Symposium on Computer Arithmetic, Montpellier, France DOI: 10.1109/ARITH.2011.30	2011
Hardware Support for Dynamic Languages Schleuniger, Pascal ; Karlsson, Sven ; Probst, Christian W. part of: ACACES 2011 Seventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, 2011, Type: Article in proceedings - Article in proceedings Presented at: 7th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi	2011
Hardware Support for Dynamic Languages Schleuniger, Pascal ; Karlsson, Sven ; Probst, Christian W. Type: Poster - Poster Presented at: 7th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi	2011
FPGA Based Acceleration of Decimal Operations Nannarelli, Alberto part of: Proceedings of 2011 International Conference on ReConFigurable Computing and FPGA's (ISBN: 978-0-7695-4551-6), pages: 146-151, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: International Conference on ReConFigurable Computing and FPGA's, Cancun, Mexico DOI: 10.1109/ReConFig.2011.39	2011
Improving Performance of Software Implemented Floating Point Addition Hindborg, Andreas Erik ; Passas, Stavros ; Karlsson, Sven Type: Poster - Poster Presented at: Swedish Workshop on Multicore Computing, Linköping, Sweden	2011
Effcient Co-Simulation of Multicore Systems Brock-Nannestad, Laust ; Passas, Stavros ; Karlsson, Sven Type: Poster - Poster Presented at: Swedish Workshop on Multicore Computing, Linköping, Sweden	2011
Improving Performance of Software Implemented Floating Point Addition Hindborg, Andreas Erik ; Karlsson, Sven part of: Proceedings of the Fourth Swedish Workshop on Multicore Computing, 2011, Type: Article in proceedings - Article in proceedings Presented at: Swedish Workshop on Multicore Computing, Linköping, Sweden	2011
Efficient Co-Simulation of Multicore Systems Brock-Nannestad, Laust ; Karlsson, Sven part of: Proceedings of the Fourth Swedish Workshop on Multicore Computing, 2011, Type: Article in proceedings - Article in proceedings Presented at: Swedish Workshop on Multicore Computing, Linköping, Sweden	2011
Integration of the Self-Healing eDNA Architecture in a Liquid Crystal Waveguide-based Fourier Transform Spectrometer Boesen, Michael Reibel ; Keymeulen, D. ; Madsen, Jan ; Lu, T. T. ; Chao, Tien-Hsin part of: 2011 NASA/ESA Conference on Adaptive Hardware and Systems (AHS) (ISBN: 978-1-4577-0598-4), pages: 303-310, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: 2011 NASA/ESA Conference on Adaptive Hardware and Systems, San Diego, CA DOI: 10.1109/AHS.2011.5963952	2011
From functional programming to multicore parallelism: A case study based on Presburger Arithmetic Dung, Phan Anh ; Hansen, Michael Reichhardt part of: Proceedings of the 23rd Nordic Workshop Programming Theory, 2011, Type: Article in proceedings - Article in proceedings Presented at: Nordic Workshop on Programming Theory, Västerås, Sweden	2011
ODMAC Dragoni, Nicola ; Fafoutis, Xenofon part of: Proceedings of the Eighth ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN’11) (ISBN: 978-1-4503-0900-4), pages: 49-56, 2011, ACM, Miami Beach Type: Article in proceedings - Article in proceedings Presented at: ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Miami Beach, Florida, USA DOI: 10.1145/2069063.2069072	2011
Towards quantitative evaluation of stochastic pharmacy workflows Herbert, Luke Thomas ; Sharp, Robin part of: Proceedings of the 23rd Nordic Workshop Programming Theory, 2011, Type: Article in proceedings - Article in proceedings Presented at: Nordic Workshop on Programming Theory, Västerås, Sweden	2011
Classification of Recommender Expertise in the Wikipedia Recommender System Jensen, Christian D. ; Pilkauskas, Povilas ; Lefevre, Thomas in journal: Information and Media Technologies (ISSN: 1881-0896), vol: 6, issue: 3, pages: 884-902, 2011 Type: Journal article - Journal article	2011
Building a Reputation System for Wikipedia Jensen, Christian D. part of: New Forms of Collaborative Innovation and Production on the Internet (ISBN: 978-3-86395-020-0), pages: 89-112, 2011, Universitätsverlag Göttingen, Type: Book chapter - Book chapter	2011
Towards Secure Intelligent Buildings Ingwar, Mads Ingerslew ; Jensen, Christian D. part of: Proceedings of the 5th Nordic Workshop on Dependability and Security (NODES’11), 2011, Type: Article in proceedings - Article in proceedings Presented at: Nordic Workshop on Dependability and Security, Copenhagen, Denmark	2011
Trust Management V Wakeman, I. ; Gudes, E. ; Jensen, Christian D. ; Crampton, J. part of: Trust Management V (ISBN: 978-3-642-22199-6), 2011, Springer, Type: Book chapter - Book chapter	2011
Workshop Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011) Ahmed, Naveed ; Quercia, D. ; Jensen, Christian D. part of: Workshop Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), 2011, Type: Book chapter - Book chapter	2011
Development Tools Pop, Paul ; Goller, A. ; Pop, T. ; Eles, P. part of: Time-Triggered Communication (ISBN: 978-1439846612), pages: 363-522, 2011, CRC Press, Type: Book chapter - Book chapter	2011
Improving e-learning by Emotive Feedback Sharp, Robin ; Gjedde, Lisa part of: Proceedings of the IADIS International Conference on Interfaces and Human Computer Interaction (ISBN: 978-972-8939-52-6), 2011, Type: Article in proceedings - Article in proceedings Presented at: IADIS International Conference on Interfaces and Human Computer Interaction, Rome, Italy	2011
Design of Fault Tolerant Network Interfaces for NoCs Fiorin, Leandro ; Micconi, Laura ; Sami, Mariagiovanna part of: 2011 14th Euromicro Conference on Digital System Design (DSD) (ISBN: 978-1-4577-1048-3), pages: 393-400, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: 14th Euromicro Conference on Digital System Design, Oulu DOI: 10.1109/DSD.2011.54	2011
Demarcation of Security in Authentication Protocols Ahmed, Naveed ; Jensen, Christian D. part of: 2011 First SysSec Workshop (SysSec) (ISBN: 978-1-4577-1528-0), pages: 43-50, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: 1st SysSec Workshop, Amsterdam, The Netherlands DOI: 10.1109/SysSec.2011.13	2011
Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures Tamas-Selicean, Domitian ; Pop, Paul part of: 2011 IEEE 32nd Real-Time Systems Symposium (RTSS) (ISBN: 978-1-4577-2000-0), pages: 24-33, 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: IEEE Real-Time Systems Symposium, Vienna, Austria DOI: 10.1109/RTSS.2011.11	2011
Biologically inspired hardware cell architecture Boesen, Michael Reibel ; Madsen, Jan Type: Patent - Patent	2011
Biologically inspired hardware cell architecture Boesen, Michael Reibel ; Madsen, Jan Type: Patent - Patent	2011
Temperature Dependent Wire Delay Estimation in Floorplanning Winther, Andreas Thor ; Liu, Wei ; Nannarelli, Alberto ; Vrudhula, Sarma part of: Proceedings of NORCHIP 2011, 2011, Type: Article in proceedings - Article in proceedings Presented at: NORCHIP : The Nordic Microelectronics event, Lund, Sweden DOI: 10.1109/NORCHP.2011.6126741	2011
FPGA Implementation of Decimal Processors for Hardware Acceleration Borup, Nicolas ; Dindorp, Jonas ; Nannarelli, Alberto part of: Proceedings of NORCHIP 2011 (ISBN: 978-1-4577-0514-4), 2011, IEEE, Type: Article in proceedings - Article in proceedings Presented at: NORCHIP : The Nordic Microelectronics event, Lund, Sweden DOI: 10.1109/NORCHP.2011.6126729	2011
ejIP: A TCP/IP Stack for Embedded Java Schoeberl, Martin part of: Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011) (ISBN: 978-1-4503-0935-6), pages: 63-69, 2011, ACM, Type: Article in proceedings - Article in proceedings Presented at: 9th International Conference on the Principles and Practice of Programming in Java, Kongens Lyngby DOI: 10.1145/2093157.2093167	2011
Classification of Recommender Expertise in the Wikipedia Recommender System Jensen, Christian D. ; Pilkauskas, Povilas ; Lefévre, Thomas in journal: Journal of Information Processing (DOI: http://dx.doi.org/10.2197/ipsjjip.19.345), vol: 19, pages: 345-363, 2011 Type: Journal article - Journal article DOI: 10.2197/ipsjjip.19.345	2011
Using Dafny, an Automatic Program Verifier Herbert, Luke Thomas ; Leino, K. Rustan M. ; Carvalho Quaresma, Jose Nuno Type: Paper - Paper Presented at: 8th LASER Summer School on Software Engineering, Elba Island	2011
Object Cache Evaluation Schoeberl, Martin ; Binder, Walter ; Villazon, Alex Type: Report - Report	2010
CIT-AWARE-09 - En undersøgelse af it-sikkerhed blandt borgerne i Danmark Sharp, Robin Type: Report - Report	2010
Synthesis of biochemical applications on digital microfluidic biochips with operation variability Alistar, Mirela ; Maftei, Elena ; Pop, Paul ; Madsen, Jan part of: 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS (ISBN: 978-1-4244-6636-8), pages: 350-357, 2010, IEEE, Type: Article in proceedings - Article in proceedings Presented at: 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS, Seville	2010
System-level modeling and simulation of the cell culture microfluidic biochip ProCell Minhass, Wajid Hassan ; Pop, Paul ; Madsen, Jan ; Hemmingsen, Mette ; Dufva, Martin part of: 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS (ISBN: 978-1-4244-6636-8), pages: 91-98, 2010, IEEE, Type: Article in proceedings - Article in proceedings Presented at: 2010 Symposium on Design Test Integration and Packaging of MEMS/MOEMS, Seville	2010
Definition of Entity Authentication Ahmed, Naveed ; Jensen, Christian D. part of: Proceedings of 2nd International Workshop on Security and Communication Networks (IWSCN), 2010 (ISBN: 978-1-4244-6938-3), 2010, IEEE Xplore, Type: Article in proceedings - Article in proceedings Presented at: 2nd International Workshop on Security and Communication Networks, Karlstad DOI: 10.1109/IWSCN.2010.5498000	2010
BIOLOGICALLY INSPIRED HARDWARE CELL ARCHITECTURE Boesen, Michael Reibel ; Madsen, Jan Type: Patent - Patent	2010
Cyclic executive for safety-critical Java on chip-multiprocessors Ravn, Anders P. ; Schoeberl, Martin part of: Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), pages: 63-69, 2010, Type: Article in proceedings - Article in proceedings Presented at: 8th International Workshop on Java Technologies for Real-time and Embedded Systems, Prague DOI: 10.1145/1850771.1850779	2010
Design and Implementation of Real-Time Transactional Memory Schoeberl, Martin ; Hilber, Peter part of: Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL 2010), pages: 279-284, 2010, Type: Article in proceedings - Article in proceedings Presented at: 20th International Conference on Field Programmable Logic and Applications (FPL 2010) DOI: 10.1109/FPL.2010.64	2010
Exhaustive testing of safety critical Java Kalibera, Tomas ; Parizek, Pavel ; Malohlava, Michal ; Schoeberl, Martin part of: Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), pages: 164-174, 2010, Type: Article in proceedings - Article in proceedings Presented at: 8th International Workshop on Java Technologies for Real-time and Embedded Systems, Prague DOI: 10.1145/1850771.1850794	2010
Object oriented machine learning with a multicore real-time java processor: short paper Pedersen, Rasmus Ulslev ; Schoeberl, Martin part of: Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), pages: 76-78, 2010, Type: Article in proceedings - Article in proceedings Presented at: 8th International Workshop on Java Technologies for Real-time and Embedded Systems, Prague DOI: 10.1145/1850771.1850782	2010
The embedded Java benchmark suite JemBench Schoeberl, Martin ; Preusser, Thomas B. ; Uhrig, Sascha part of: Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), pages: 120-127, 2010, Type: Article in proceedings - Article in proceedings Presented at: 8th International Workshop on Java Technologies for Real-time and Embedded Systems, Prague DOI: 10.1145/1850771.1850789	2010
WCET driven design space exploration of an object cache Huber, Benedikt ; Puffitsch, Wolfgang ; Schoeberl, Martin part of: Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2010), pages: 26-35, 2010, Type: Article in proceedings - Article in proceedings Presented at: 8th International Workshop on Java Technologies for Real-time and Embedded Systems, Prague DOI: 10.1145/1850771.1850775	2010
JEOPARD Deliverable D2.6 - JOP Scalability Report Puffitsch, Wolfgang ; Schoeberl, Martin ; Huber, Bendikt Type: Report - Report	2010
Minimum-Energy Sub-Threshold Self-Timed Circuits: Design Methodology and a Case Study Akgun, Omer Can ; Rodrigues, Joachim ; Sparsø, Jens part of: Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'10) (ISBN: 978-0-7695-4032-0), pages: 41-51, 2010, IEEE Computer Society Press, Type: Article in proceedings - Article in proceedings Presented at: 16th IEEE International Symposium on Asynchronous Circuits and Systems, Grenoble, France DOI: 10.1109/ASYNC.2010.17	2010
Design of QoS-aware Provisioning Systems Mazzucco, Michele ; Mazzara, Manuel ; Dragoni, Nicola part of: 4th Nordic Workshop on Dependability and Security (NODES 2010), 2010, DTU, Type: Article in proceedings - Article in proceedings Presented at: 4th Nordic Workshop on Dependability and Security, Copenhagen	2010
Post-placement temperature reduction techniques Liu, Wei ; Nannarelli, Alberto part of: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010 (ISBN: 978-1-4244-7054-9), pages: 634-637, 2010, IEEE, Type: Article in proceedings - Article in proceedings Presented at: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010	2010
Security-by-Contract for Applications Evolution in Multi-Application Smart Cards Dragoni, Nicola part of: 4th Nordic Workshop on Dependability and Security (NODES 2010), 2010, DTU Informatcs, Type: Article in proceedings - Article in proceedings Presented at: 4th Nordic Workshop on Dependability and Security, Copenhagen	2010
Et visionært teknologidesign Jensen, Christian D. Type: Sound/Visual production (digital) - Sound/Visual production (digital) Presented at: PrivatTek 2010, Landstingssalen, Christiansborg	2010
Building a reputation system for the Wikipedia Jensen, Christian D. Type: Sound/Visual production (digital) - Sound/Visual production (digital) Presented at: New Forms of Collaborative Production and Innovation : Economic, Social, Legal and Technical Characteristics and Conditions, Lichtenberg Kolleg, Georg-August-Universität, Göttingen	2010
Keynote Address: The Joint International Workshop on Trust in Location and Communications in Decentralised Computing Jensen, Christian D. Type: Sound/Visual production (digital) - Sound/Visual production (digital) Presented at: The Joint International Workshop on Trust in Location and Communications in Decentralised Computing, Morioka, Iwate, Japan	2010
A Generic Access Control Model for Wind Power Systems Nagarajan, Anand ; Jensen, Christian D. part of: Workshop Proceedings of the Fourth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2010), pages: 1-14, 2010, Type: Article in proceedings - Article in proceedings Presented at: Proceedings of the International Workshop on Infrastructure Assurance	2010
Classifying Areas of Expertise in the wikipedia Recommender System Jensen, Christian D. ; Lefévre, Thomas part of: Short Paper Proceedings of the Fourth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2010), 2010, Type: Article in proceedings - Article in proceedings Presented at: the Fourth IFIP WG 11.11 International Conference on Trust Management, Morioka, Iwate, Japan	2010
The Role of Trust in Persistent Authentication Jensen, Christian D. part of: Workshop Proceedings of the Fourth IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2010), pages: 41-52, 2010, Type: Article in proceedings - Article in proceedings Presented at: Proceedings of the Joint International Workshop on Trust in Location and Communications in Decentralized Computing, Morioka, Iwate, Japan	2010
Extending Security-by-Contract with Quantitative Trust on Mobile Devices Costa, Gabriele ; Dragoni, Nicola ; Lazouski, Aliaksandr ; Martinelli, Fabio ; Massacci, Fabio ; Matteucci, Ilaria part of: 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing (IMIS 2010), 2010, IEEE Computer Society Press, Type: Article in proceedings - Article in proceedings Presented at: 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing (IMIS 2010)	2010
Degrading Precision Arithmetic for Low Power Signal Processing Petricca, Massimo ; Cardarilli, Gian Carlo ; Nannarelli, Alberto ; Re, Marco ; Albicocco, Pietro part of: Proc. of 44th Asilomar Conference on Signals, Systems and Computers, 2010, Type: Article in proceedings - Article in proceedings Presented at: 44th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA	2010
Design of Large Polyphase Filters in the Quadratic Residue Number System Cardarilli, Gian Carlo ; Nannarelli, Alberto ; Oster, Yann ; Petricca, Massimo ; Re, Marco part of: Proc. of 44th Asilomar Conference on Signals, Systems and Computers, 2010, Type: Article in proceedings - Article in proceedings Presented at: 44th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA	2010
Low Power Hardware Platforms Nannarelli, Alberto part of: Towards Green ICT (ISBN: 978-87-92329-34-9), pages: 131-143, 2010, River Publishers, Aalborg, DK Type: Book chapter - Book chapter	2010
On the Comparison of Different Number Systems in the Implementation of Complex FIR Filters Cardarilli, Gian Carlo ; Nannarelli, Alberto ; Re, Marco part of: VLSI-SoC: Design Methodologies for SoC and SiP (ISBN: 978-3-642-12266-8), pages: 174-190, 2010, Springer, Type: Book chapter - Book chapter	2010
Temperature Aware Power Optimization for Multicore Floating-Point Units Liu, Wei ; Nannarelli, Alberto part of: Proc. of 44th Asilomar Conference on Signals, Systems and Computers, 2010, Type: Article in proceedings - Article in proceedings Presented at: 44th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA	2010
Time-predictable Chip-Multiprocessor Design Schoeberl, Martin part of: Asilomar Conference on Signals, Systems, and Computers, 2010, Type: Article in proceedings - Article in proceedings Presented at: 44th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA	2010
High Performace Triangle versus Box Intersection Checks Christensen, Thomas ; Karlsson, Sven part of: Proceedings of Workshop on Parallel Programming and Applications on Accelerator Clusters (PPAAC), 2010, Type: Article in proceedings - Article in proceedings Presented at: Workshop on Parallel Programming and Applications on Accelerator Clusters (PPAAC)	2010
Adaptable Authentication Model - for Exploring the Weaker Notions of Security Ahmed, Naveed ; Jensen, Christian D. Type: Report - Report	2010
Modelling, Synthesis, and Configuration of Networks-on-Chips Stuart, Matthias Bo ; Sparsø, Jens ; Nannarelli, Alberto Type: Ph.d. thesis - Ph.d. thesis	2010
Integration of the Self-Healing eDNA Architecture in an Embedded System and Evaluation of it Using a Fourier Transform Spectrometer Instrument Application Boesen, Michael Reibel ; Keymeulen, Didier ; Madsen, Jan ; Lu, Thomas ; Chao, Tien-Hsin Type: Sound/Visual production (digital) - Sound/Visual production (digital) Presented at: Military / Aerospace Programmable Logic Devices and Revolutionary Space Conference, Albuquerque, New Mexico, USA	2010
The Java Optimized Processor: Java in a Field-Programmable Gate Array Schoeberl, Martin Type: Paper - Paper Presented at: JavaOne, San Francisco, California, USA	2010
Proceedings of the 4th Nordic Workshop on Dependability and Security, NODES 10, Copenhagen June 3-4 2010, Technical University of Denmark. Jensen, Christian D. in journal: Proceedings of the 4th Nordic Workshop on Dependability and Security, NODES 10, Copenhagen, pages: 101, 2010 Type: Conference abstract in journal - Conference abstract in journal	2010
Routing-based Synthesis of Digital Microfluidic Biochips Maftei, Elena ; Pop, Paul ; Madsen, Jan part of: International Conference on Compilers, Architectures and Synthesis for Embedded Systems, pages: 41-50, 2010, Type: Article in proceedings - Article in proceedings Presented at: International Conference on Compilers, Architectures and Synthesis for Embedded Systems DOI: 10.1145/1878921.1878928	2010
Simulation-Based Evaluation of Redundancy Schemes for a Cell Culture Microfluidic Biochip Minhass, Wajid Hassan ; Pop, Paul ; Madsen, Jan part of: Technical Report on NODES10 Proceedings, 2010, Type: Conference abstract in proceedings - Conference abstract in proceedings Presented at: 4th Nordic Workshop on Dependability and Security (NODES10)	2010
Tabu Search-based Synthesis of Digital Microfluidic Biochips with Dynamically Reconfigurable Non-rectangular Devices Maftei, Elena ; Pop, Paul ; Madsen, Jan in journal: Design Automation for Embedded Systems (DOI: http://dx.doi.org/10.1007/s10617-010-9059-x), vol: 14, issue: 3, pages: 287-307, 2010 Type: Journal article - Journal article DOI: 10.1007/s10617-010-9059-x	2010
Modelling and Analysis for Embedded Systems Madsen, Jan ; Hansen, Michael Reichhardt ; Brekling, Aske Wiid part of: Model-Based Design for Embedded Systems (ISBN: 9781420067842), pages: 121-145, 2010, CRC Press, Type: Book chapter - Book chapter	2010
Analysis for Embedded Systems: Experiments with Priced Timed Automata Ovatman, Tolga ; Brekling, Aske Wiid ; Hansen, Michael Reichhardt in journal: Electronic Notes in Theoretical Computer Science (ISSN: 1571-0661) (DOI: http://dx.doi.org/10.1016/j.entcs.2010.06.006), vol: 238, issue: 6, pages: 81-95, 2010 Type: Journal article - Journal article DOI: 10.1016/j.entcs.2010.06.006	2010
Efficient Model Checking for a Hybrid Duration Calculus. Hansen, Michael Reichhardt part of: International Workshop on Hybrid Logic and Applications (HyLo 2010)., pages: 1-7, 2010, Type: Article in proceedings - Article in proceedings Presented at: International Workshop on Hybrid Logic and Applications, Edinburgh	2010
Support for Programming Models in Network-on-Chip-based Many-core Systems Rasmussen, Morten Sleth ; Sparsø, Jens ; Karlsson, Sven ; Madsen, Jan Type: Ph.d. thesis - Ph.d. thesis	2010
Supporting Multi-Agent Reputation Calculation in the Wikipedia Recommender System Jensen, Christian D. in journal: I E T Information Security (ISSN: 1751-8709) (DOI: http://dx.doi.org/10.1049/iet-ifs.2010.0001), vol: 4, issue: 4, pages: 273-282, 2010 Type: Journal article - Journal article DOI: 10.1049/iet-ifs.2010.0001	2010
Entity Authentication:Analysis using Structured Intuition Ahmed, Naveed ; Jensen, Christian D. part of: Technical Report on NODES10 Proceedings, 2010, Type: Conference abstract in proceedings - Conference abstract in proceedings Presented at: 4th Nordic Workshop on Dependability and Security, Copenhagen	2010
Power Dissipation Challenges in Multicore Floating-Point Units Liu, Wei ; Nannarelli, Alberto part of: Proceedings of 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010) (ISBN: 978-1-4244-6966-6), pages: 257-264, 2010, IEEE, Type: Article in proceedings - Article in proceedings Presented at: 21st IEEE International Conference on Application-specific Systems, Architectures and Processors, Rennes DOI: 10.1109/ASAP.2010.5540986	2010
Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems Saraswat, Prabhat Kumar ; Pop, Paul ; Madsen, Jan part of: IEEE Symposium on Real-Time and Embedded Technology and Applications (ISBN: 978-1-4244-6690-0), pages: 89-98, 2010, IEEE, Type: Article in proceedings - Article in proceedings Presented at: Symposium on Real-Time and Embedded Technology and Applications DOI: 10.1109/RTAS.2010.31	2010
Supporting Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract Dragoni, Nicola ; Gadyatskaya, Olga ; Massacci, Fabio part of: Proceedings of the 4th Workshop in Information Security Theory and Practices, 2010, Type: Article in proceedings - Article in proceedings Presented at: 4th Workshop in Information Security Theory and Practices	2010
Compiler Driven Code Comments and Refactoring Larsen, Per ; Ladelsky, Razya ; Karlsson, Sven ; Zaks, Ayal part of: Proceedings of Swedish Workshop on Multi-Core Computing, 2010, Type: Article in proceedings - Article in proceedings Presented at: THIRD SWEDISH WORKSHOP ON MULTI-CORE COMPUTING, Gothenburg, Sweden	2010
DEHAR: a Distributed Energy Harvesting Aware Routing Algorithm for Ad-hoc Multi-hop Wireless Sensor Networks. Jakobsen, Mikkel Koefoed ; Madsen, Jan ; Hansen, Michael Reichhardt part of: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2010) (ISBN: 978-1-4244-7264-2), pages: 1-9, 2010, IEEE, Type: Article in proceedings - Article in proceedings Presented at: IEEE International Symposium on a World of Wireless, Mobile and Multimedia, Montreal, QC, Canada DOI: 10.1109/WOWMOM.2010.5534899	2010
Worst-case analysis of heap allocations Puffitsch, Wolfgang ; Huber, Benedikt ; Schoeberl, Martin part of: Leveraging Applications of Formal Methods, Verification and Validation (ISBN: 978-3-642-16560-3), pages: 464-478, 2010, Springer, Type: Article in proceedings - Article in proceedings Presented at: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Heraklion, GREECE, October 18-21 DOI: 10.1007/978-3-642-16561-0_42	2010
Tinuso: A processor architecture for a multi-core hardware simulation platform Schleuniger, Pascal ; Karlsson, Sven part of: Proceeding of third swedish workshop on multi-core computing - MCC'10, 2010, Type: Article in proceedings - Article in proceedings Presented at: Swedish workshop on multi-core computing, Gothenburg, Sweden	2010
A Generic Role Based Access Control Model for Wind Power Systems Nagarajan, Anand ; Jensen, Christian D. in journal: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (ISSN: 2093-5374), vol: 1, issue: 4, pages: 35-49, 2010 Type: Journal article - Journal article	2010
Previous 1 2 3 4 Next

Search for more in DTU Orbit

Top

Matematiktorvet

DTU - Building 303B

DK-2800 Kgs. Lyngby

Tel +45 4525 3031

EAN 5798000428515