Lothar Thiele

Dataset, March, 2020

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, March, 2020

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, March, 2020

Harvesting-Aware Optimal Communication Scheme for Infrastructure-Less Sensing.

[BibT_eX]

[DOI]

ACM Trans. Internet Things, 2020

Thermoelectric Energy Harvesting From Gradients in the Earth Surface.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2020

Fast Feedback Control over Multi-hop Wireless Networks with Mode Changes and Stability Guarantees.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2020

Performance maximization of energy-variable self-powered (m, k)-firm real-time systems.

[BibT_eX]

[DOI]

Mahmoud Shirazi

Mehdi Kargahi

Real Time Syst., 2020

The Time-Triggered Wireless Architecture (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2020

Deep Partial Updating.

[BibT_eX]

[DOI]

CoRR, 2020

The Time-Triggered Wireless Architecture.

[BibT_eX]

[DOI]

CoRR, 2020

Analysing and Improving Robustness of Predictive Energy Harvesting Systems.

[BibT_eX]

[DOI]

Naomi Stricker

Proceedings of the 8th International Workshop on Energy Harvesting & Energy-Neutral Sensing Systems, 2020

Pollen video library for benchmarking detection, classification, tracking and novelty detection tasks: dataset.

[BibT_eX]

[DOI]

Proceedings of the DATA@SenSys 2020: Proceedings of the Third Workshop on Data: Acquisition To Analysis, 2020

SociTrack: infrastructure-free interaction tracking through mobile sensor networks.

[BibT_eX]

[DOI]

Proceedings of the MobiCom '20: The 26th Annual International Conference on Mobile Computing and Networking, 2020

Rethinking Pruning for Accelerating Deep Inference At the Edge.

[BibT_eX]

[DOI]

Proceedings of the KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2020

MapTransfer : Urban Air Quality Map Generation for Downscaled Sensor Deployments.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE/ACM International Conference on Internet-of-Things Design and Implementation, 2020

Automated Pollen Detection with an Affordable Technology.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020

The Time-Triggered Wireless Architecture.

[BibT_eX]

[DOI]

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

Increased reproducibility and comparability of data leak evaluations using ExOT.

[BibT_eX]

[DOI]

Bruno Klopott

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Adaptive Loss-Aware Quantization for Multi-Bit Networks.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, November, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, November, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, November, 2019

Long-Term Tracing of Indoor Solar Harvesting.

[BibT_eX]

[DOI]

Dataset, September, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, September, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, September, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, September, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, September, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, September, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, September, 2019

Long-Term Tracing of Indoor Solar Harvesting.

[BibT_eX]

[DOI]

Dataset, August, 2019

Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Dataset, August, 2019

Extending the Lifetime of Nano-Blimps via Dynamic Motor Control.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2019

BLITZ: Low Latency and Energy-Efficient Communication for Event-Triggered Wireless Sensing Systems.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2019

Optimal Power Management with Guaranteed Minimum Energy Utilization for Solar Energy Harvesting Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Maestro: Autonomous QoS Management for Mobile Applications Under Thermal Constraints.

[BibT_eX]

[DOI]

Onur Sahin

Ayse K. Coskun

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

FFOB: efficient online mode-switch procrastination in mixed-criticality systems.

[BibT_eX]

[DOI]

Real Time Syst., 2019

Energy and power awareness in hardware schedulers for energy harvesting IoT SoCs.

[BibT_eX]

[DOI]

Integr., 2019

ICT: In-field Calibration Transfer for Air Quality Sensor Deployments.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2019

Demo Abstract: Fast Feedback Control and Coordination with Mode Changes for Wireless Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Disentangling Redundancy for Multi-Task Pruning.

[BibT_eX]

[DOI]

CoRR, 2019

Enhancing Multi-hop Sensor Calibration with Uncertainty Estimates.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE SmartWorld, 2019

Dataset: Tracing Indoor Solar Harvesting.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Data Acquisition To Analysis, 2019

Dataset: Wireless Link Quality Estimation on FlockLab - and Beyond.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Data Acquisition To Analysis, 2019

A testbed for long-range LoRa communication: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Information Processing in Sensor Networks, 2019

Fast feedback control and coordination with mode changes for wireless cyber-physical systems: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Information Processing in Sensor Networks, 2019

An automated real-time and affordable airborne pollen sensing system: poster abstract.

[BibT_eX]

[DOI]

Nam Cao

Proceedings of the 18th International Conference on Information Processing in Sensor Networks, 2019

The dual processor platform architecture: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Information Processing in Sensor Networks, 2019

Event-triggered natural hazard monitoring with convolutional neural networks on the edge.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Information Processing in Sensor Networks, 2019

How many climb the matterhorn?: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Information Processing in Sensor Networks, 2019

Feedback control goes wireless: guaranteed stability over low-power multi-hop networks.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Session details: Battery, or not?

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, 2019

Synchronous Transmissions Made Easy: Design Your Network Stack with Baloo.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, 2019

Cross-Layer Interactions in CPS for Performance and Certification.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Towards a methodology for experimental evaluation in low-power wireless networking.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Benchmarking Cyber-Physical Systems and Internet of Things, 2019

2018

Efficient, Long-Term Logging of Rich Data Sensors Using Transient Sensor Nodes.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2018

Frequency Scaling As a Security Threat on Multicore Systems.

[BibT_eX]

[DOI]

Xiaoxi He

Matthias Meyer

Davide Basilio Bartolini

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

A Survey on Sensor Calibration in Air Pollution Monitoring Deployments.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2018

W-Air: Enabling Personal Air Pollution Monitoring on Wearables.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

The 2017 Embedded Systems Week (ESWEEK).

[BibT_eX]

[DOI]

Soonhoi Ha

IEEE Des. Test, 2018

Guest Editors' Introduction: Special Issue on Time-Critical Systems Design Part II.

[BibT_eX]

[DOI]

IEEE Des. Test, 2018

Time-Critical Systems Design: A Survey.

[BibT_eX]

[DOI]

IEEE Des. Test, 2018

Guest Editors' Introduction: Special Issue on Time-Critical Systems Design.

[BibT_eX]

[DOI]

Benoît Dupont de Dinechin

IEEE Des. Test, 2018

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2018

Event-triggered Natural Hazard Monitoring with Convolutional Neural Networks on the Edge.

[BibT_eX]

[DOI]

CoRR, 2018

The security risks of power measurements in multicores.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Torpor: A Power-Aware HW Scheduler for Energy Harvesting IoT SoCs.

[BibT_eX]

[DOI]

Proceedings of the 28th International Symposium on Power and Timing Modeling, 2018

Multi-Task Zipping via Layer-wise Neuron Sharing.

[BibT_eX]

[DOI]

Xiaoxi He

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

A Case for Atmospheric Transmittance: Solar Energy Prediction in Wireless Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

TTW: A Time-Triggered Wireless design for CPS.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Implementation of Partitioned Mixed-Criticality Scheduling on a Multi-Core Platform.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Minimising Access Conflicts on Shared Multi-Bank Memory.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

On The Design and Application of Thermal Isolation Servers.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Adaptive Real-Time Communication for Wireless Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2017

Optimizing resource speed for two-stage real-time tasks.

[BibT_eX]

[DOI]

Real Time Syst., 2017

Isolation scheduling on multicores: model and scheduling approaches.

[BibT_eX]

[DOI]

Real Time Syst., 2017

SCAN: Multi-Hop Calibration for Mobile Sensor Arrays.

[BibT_eX]

[DOI]

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2017

Report of the 2016 Embedded Systems Week (ESWEEK).

[BibT_eX]

[DOI]

Jörg Henkel

IEEE Des. Test, 2017

Internet of Things - The Quest for Trust.

[BibT_eX]

[DOI]

IEEE Des. Test, 2017

Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

TTW: A Time-Triggered-Wireless Design for CPS [ Extended version ].

[BibT_eX]

[DOI]

CoRR, 2017

Efficient Convolutional Neural Network For Audio Event Detection.

[BibT_eX]

[DOI]

Matthias Meyer

Lukas Cavigelli

CoRR, 2017

Mitigating Erroneous Wake-ups.

[BibT_eX]

[DOI]

Felix Sutton

Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Stalwart: a Predictable Reliable Adaptive and Low-latency Real-time Wireless Protocol.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Resilient scheduling of energy-variable weakly-hard real-time systems.

[BibT_eX]

[DOI]

Mahmoud Shirazi

Mehdi Kargahi

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

BLITZ: A Network Architecture for Low Latency and Energy-efficient Event-triggered Wireless Communication.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM Workshop on Hot Topics in Wireless, 2017

BARTON: Low Power Tongue Movement Sensing with In-Ear Barometers.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

Unsupervised Feature Learning for Audio Analysis.

[BibT_eX]

[DOI]

Matthias Meyer

Proceedings of the 5th International Conference on Learning Representations, 2017

The Design of a Responsive and Energy-efficient Event-triggered Wireless Sensing System.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

Testbed Assisted Control Flow Tracing for Wireless Embedded Systems.

[BibT_eX]

[DOI]

Roman Lim

Benoît Dupont de Dinechin

Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

Competition: Robust Flooding using Back-to-Back Synchronous Transmissions with Channel-Hopping.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

Measurement and validation of energy harvesting IoT devices.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Self-Sustainability in Nano Unmanned Aerial Vehicles: A Blimp Case Study.

[BibT_eX]

[DOI]

Proceedings of the Computing Frontiers Conference, 2017

2016

Analysis and Scheduling of a Battery-Less Mixed-Criticality System with Energy Uncertainty.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resources.

[BibT_eX]

[DOI]

Real Time Syst., 2016

Adaptive Isolation for Predictability and Security (Dagstuhl Seminar 16441).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2016

RocketLogger: Mobile Power Logger for Prototyping IoT Devices: Demo Abstract.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

A Benchmark for Low-power Wireless Networking: Poster Abstract.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

End-to-End Real-Time Guarantees in Wireless Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Exploring Energy Saving for Mixed-Criticality Systems on Multi-Cores.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

On platforms for CPS - adaptive, predictable and efficient.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

Poster Abstract: A Heterogeneous System Architecture for Event-Triggered Wireless Sensing.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2016

Pre-Deployment Testing, Augmentation and Calibration of Cross-Sensitive Sensors.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

Time-of-Flight Aware Time Synchronization for Wireless Embedded Systems.

[BibT_eX]

[DOI]

Roman Lim

Proceedings of the International Conference on Embedded Wireless Systems and Networks, 2016

On the capacity of thermal covert channels in multicores.

[BibT_eX]

[DOI]

Davide B. Bartolini

Proceedings of the Eleventh European Conference on Computer Systems, 2016

Mobile Ultrasound Imaging on Heterogeneous Multi-Core Platforms.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2016

On-the-fly fast overrun budgeting for mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Embedded Software, 2016

Speed optimization for tasks with two resources.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Dynamic energy burst scaling for transiently powered systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Towards the design of fault-tolerant mixed-criticality systems on multicores.

[BibT_eX]

[DOI]

Luyuan Zeng

Pengcheng Huang

Proceedings of the 2016 International Conference on Compilers, 2016

The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources.

[BibT_eX]

[DOI]

Mirela Botezatu

Hagen Völzer

Proceedings of the Business Process Management - 14th International Conference, 2016

2015

Indicator-Based Selection.

[BibT_eX]

[DOI]

Proceedings of the Springer Handbook of Computational Intelligence, 2015

Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

Thermal Covert Channels on Multi-core Platforms.

[BibT_eX]

[DOI]

Proceedings of the 24th USENIX Security Symposium, 2015

Demo: Building Reliable Wireless Embedded Platforms using the Bolt Processor Interconnect.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, 2015

Bolt: A Stateful Processor Interconnect.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, 2015

Zippy: On-Demand Network Flooding.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, 2015

An Isolation Scheduling Model for Multicores.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Mixed-criticality runtime mechanisms and evaluation on multicores.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

A testbed for fine-grained tracing of time sensitive behavior in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Local Computer Networks Conference Workshops, 2015

Wake-up flooding: an asynchronous network flooding primitive.

[BibT_eX]

[DOI]

Felix Sutton

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

Predictable wireless embedded platforms.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

Reducing multi-hop calibration errors in large-scale mobile sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

Health-optimal routing in urban areas.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource.

[BibT_eX]

[DOI]

Mirela Botezatu

Hagen Völzer

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Executing dataflow actors as kahn processes.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Embedded Software, 2015

Can real-time systems be chaotic?

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Embedded Software, 2015

Passive, Privacy-Preserving Real-Time Counting of Unmodified Smartphones via ZigBee Interference.

[BibT_eX]

[DOI]

Roman Lim

Marco Zimmerling

Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

Optimal Power Management with Guaranteed Minimum Energy Utilization for Solar Energy Harvesting Systems.

[BibT_eX]

[DOI]

Bernhard Buchli

Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015

A calibration based thermal modeling technique for complex multicore systems.

[BibT_eX]

[DOI]

Devendra Rai

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Run and be safe: mixed-criticality scheduling with temporary processor speedup.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Multi/many-core programming: where are we standing?

[BibT_eX]

[DOI]

Mauricio Alvarez-Mesa

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts.

[BibT_eX]

[DOI]

Andreas Tretter

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Worst-case guarantees on a processor with temperature-based feedback control of speed.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

Optimizing the NoC Slack Through Voltage and Frequency Scaling in Hard Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Vijaykrishnan Narayanan

Yuan Xie

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Route selection for mobile sensor nodes on public transport networks.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2014

EURETILE D7.3 - Dynamic DAL benchmark coding, measurements on MPI version of DPSNN-STDP (distributed plastic spiking neural net) and improvements to other DAL codes.

[BibT_eX]

[DOI]

CoRR, 2014

Dynamic power management for long-term energy neutral operation of solar energy harvesting systems.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

SF3P: a framework to explore and prototype hierarchical compositions of real-time schedulers.

[BibT_eX]

[DOI]

Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Pushing the spatio-temporal resolution limit of urban air pollution maps.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Pervasive Computing and Communications, 2014

EURETILE Design Flow: Dynamic and Fault Tolerant Mapping of Multiple Applications Onto Many-Tile Systems.

[BibT_eX]

[DOI]

Lars Schor

Iuliana Bacivarov

Luis Gabriel Murillo

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

Demonstration abstract: automatic speech recognition for resource-constrained embedded systems.

[BibT_eX]

[DOI]

Proceedings of the IPSN'14, 2014

Towards Enabling Uninterrupted Long-Term Operation of Solar Energy Harvesting Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks - 11th European Conference, 2014

Deterministic memory sharing in Kahn process networks: Ultrasound imaging as a case study.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2014

P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

Energy efficient DVFS scheduling for mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

COOLIP: Simple yet effective job allocation for distributed thermally-throttled processors.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Reliability-aware mapping optimization of multi-core systems with mixed-criticality.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Mapping mixed-criticality applications on multi-core architectures.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Computing a language-based guarantee for timing properties of cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

On the Scheduling of Fault-Tolerant Mixed-Criticality Systems.

[BibT_eX]

[DOI]

Pengcheng Huang

Hoeseok Yang

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

AdaPNet: Adapting process networks in response to resource variations.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Compilers, 2014

Service adaptions for mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Methods and Tools for Mapping Process Networks onto Multi-Processor Systems-On-Chip.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Signal Processing Systems, 2013

Predictability for timing and temperature in multiprocessor system-on-chip platforms.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Introduction to the special section on rigorous embedded systems design.

[BibT_eX]

[DOI]

Joseph Sifakis

ACM Trans. Embed. Comput. Syst., 2013

Component-based system design: analytic real-time interfaces for state-based component implementations.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2013

Behavioural composition constructively built server algorithms.

[BibT_eX]

[DOI]

SIGBED Rev., 2013

Real-time worst-case temperature analysis with temperature-dependent parameters.

[BibT_eX]

[DOI]

Real Time Syst., 2013

Efficient Worst-Case Temperature Evaluation for Thermal-Aware Assignment of Real-Time Applications on MPSoCs.

[BibT_eX]

[DOI]

J. Electron. Test., 2013

EURETILE 2010-2012 summary: first three years of activity of the European Reference Tiled Experiment

[BibT_eX]

[DOI]

CoRR, 2013

Virtual Synchrony Guarantees for Cyber-physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Synchronous transmissions enable simple yet accurate protocol modeling.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013

Revealing the limits of spatio-temporal high-resolution pollution maps.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013

Spatially Resolved Monitoring of Radio-Frequency Electromagnetic Fields.

[BibT_eX]

[DOI]

Proceedings of First International Workshop on Sensing and Big Data Mining, 2013

Messages from the conference chairs.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

On Rendezvous in Mobile Sensing Networks.

[BibT_eX]

[DOI]

Proceedings of the Real-World Wireless Sensor Networks, 2013

On Modeling Low-Power Wireless Protocols Based on Synchronous Packet Transmissions.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013

Reliable and Efficient Execution of Multiple Streaming Applications on Intel's SCC Processor.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

Designing Applications with Predictable Runtime Characteristics for the Baremetal Intel SCC.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

Interference Constraint Graph - A new specification for mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Exploiting the parallelism of heterogeneous systems using dataflow graphs on top of OpenCL.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2013

Scheduling of mixed-criticality applications on resource-sharing multicore systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2013

The Problem Bit.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

Model-Driven Accuracy Bounds for Noisy Sensor Readings.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

A satisfiability approach to speed assignment for distributed real-time systems.

[BibT_eX]

[DOI]

Devesh B. Chokshi

Proceedings of the Design, Automation and Test in Europe, 2013

Designing energy-efficient NoC for real-time embedded systems through slack optimization.

[BibT_eX]

[DOI]

Vijaykrishnan Narayanan

Yuan Xie

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Distributed stable states for process networks: algorithm, analysis, and experiments on intel SCC.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Expandable process networks to efficiently specify and explore task, data, and pipeline parallelism.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Compilers, 2013

2012

Conformance testing for cyber-physical systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

On the use of greedy shapers in real-time embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2012

Dynamic Frequency Scaling Schemes for Heterogeneous Clusters under Quality of Service Requirements.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2012

Worst-case temperature analysis for different resource models.

[BibT_eX]

[DOI]

IET Circuits Devices Syst., 2012

Multi-hop network tomography: path reconstruction and per-hop arrival time estimation from partial information.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, 2012

How was your journey?: uncovering routing dynamics in deployed sensor networks with multi-hop network tomography.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Low-power wireless bus.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

Quantifying the Effect of Rare Timing Events with Settling-Time and Overshoot.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Worst-Case Temperature Guarantees for Real-Time Applications on Multi-core Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Timing Analysis on a Processor with Temperature-Controlled Speed Scaling.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Route selection for mobile sensors with checkpointing constraints.

[BibT_eX]

[DOI]

Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

The bus goes wireless: Routing-free data collection with QoS guarantees in sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

Bounding the Effectiveness of Hypervolume-Based (μ + λ)-Archiving Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Visualizing large sensor network data sets in space and time with vizzly.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Conference on Local Computer Networks, 2012

Fast worst-case peak temperature evaluation for real-time applications on multi-core systems.

[BibT_eX]

[DOI]

Proceedings of the 13th Latin American Test Workshop, 2012

pTunes: runtime parameter adaptation for low-power MAC protocols.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

The low-power wireless bus: simplicity is (again) the soul of efficiency.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2012), 2012

On-the-Fly Calibration of Low-Cost Gas Sensors.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks - 9th European Conference, 2012

Multi-objective mapping optimization via problem decomposition for many-core systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th Symposium on Embedded Systems for Real-time Multimedia, 2012

Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

Mixed critical system design and analysis.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

MAMOT: Memory-Aware Mapping Optimization Tool for MPSoC.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

A hybrid approach to cyber-physical systems verification.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Scenario-based design flow for mapping streaming applications onto on-chip many-core systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Compilers, 2012

Power agnostic technique for efficient temperature estimation of multicore embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Compilers, 2012

Interface-Based Design of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

2011

Approximating Pareto optimal compiler optimization sequences - a trade-off between WCET, ACET and code size.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

Applying real-time interface and calculus for dynamic power management in hard real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2011

Thermal-aware global real-time scheduling and analysis on multicore systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2011

Platform synthesis and partitioning of real-time tasks for energy efficiency.

[BibT_eX]

[DOI]

J. Syst. Archit., 2011

Poster Abstract: If You Have Time, Save Energy with Pull

[BibT_eX]

[DOI]

CoRR, 2011

Power management schemes for heterogeneous clusters under quality of service requirements.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Real-Time Analysis of Servers for General Job Arrivals.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Energy-Efficient Scheduling Algorithms for Periodic Power Management for Real-Time Event Streams.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Timing Analysis for Resource Access Interference on Adaptive Resource Arbiters.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Temperature-aware Real-Time Scheduling - Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Worst-Case Temperature Analysis for Different Resource Availabilities: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation, 2011

Evolutionary Exploration of E/E-Architectures in Automotive Design.

[BibT_eX]

[DOI]

Ralph Moritz

Proceedings of the Operations Research Proceedings 2011, Selected Papers of the International Conference on Operations Research (OR 2011), August 30, 2011

Comparative performance analysis of the PermaDozer protocol in diverse deployments.

[BibT_eX]

[DOI]

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

Reconstruction of the correct temporal order of sensor network data.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Efficient network flooding and time synchronization with Glossy.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Maximizing population diversity in single-objective optimization.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Demand bound server: generalized resource reservation for hard real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

End-to-End Delay Minimization in Thermally Constrained Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Worst-case temperature analysis for real-time systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

Composing heterogeneous components for system-wide performance analysis.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

X-SENSE: Sensing in extreme environments.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

Thermal-aware system analysis and software synthesis for embedded multi-processors.

[BibT_eX]

[DOI]

Proceedings of the 48th Design Automation Conference, 2011

Cool shapers: shaping real-time tasks for improved thermal guarantees.

[BibT_eX]

[DOI]

Proceedings of the 48th Design Automation Conference, 2011

Mapping of applications to MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

System-level power and timing variability characterization to compute thermal guarantees.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Mutation operator characterization: Exhaustiveness, locality, and bias.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Enabling parametric feasibility analysis in real-time calculus driven performance evaluation.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Compilers, 2011

Thermally optimal stop-go scheduling of task graphs with real-time constraints.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010

Dynamic Power-Aware Mapping of Applications onto Heterogeneous MPSoC Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2010

On Set-Based Multiobjective Optimization.

[BibT_eX]

[DOI]

Johannes Bader

IEEE Trans. Evol. Comput., 2010

Adaptive Power Management for Environmentally Powered Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

An energy management framework for energy harvesting embedded systems.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2010

Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2010

Analysis, Comparison, and Optimization of Routing Protocols for Energy Harvesting Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Sensor Networks, 2010

Accurate clock models for simulating Wireless Sensor Networks.

[BibT_eX]

[DOI]

Federico Ferrari

Andreas Meier

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

If you have time, save energy with pull.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010

Secondis: An Adaptive Dissemination Protocol for Synchronizing Wireless Sensor Networks.

[BibT_eX]

[DOI]

Federico Ferrari

Andreas Meier

Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

Energy-efficient scheduling on homogeneous multiprocessor platforms.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Energy-Efficient Static Priority and Speed Assignment for Real-Time Tasks with Non-deterministic Release Times.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

Timing Analysis for TDMA Arbitration in Resource Sharing Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Defining and Optimizing Indicator-Based Diversity Measures in Multiobjective Search.

[BibT_eX]

[DOI]

Johannes Bader

Proceedings of the Parallel Problem Solving from Nature, 2010

Modeling structured event streams in system level performance analysis.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Multi-objective Exploration of Compiler Optimizations for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Exploiting protocol models for generating feasible communication stack configurations.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Rupeas: Ruby powered event analysis DSL.

[BibT_eX]

[DOI]

Christian Plessl

Proceedings of the Seventh International Conference on Networked Sensing Systems, 2010

Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

OpenSense: open community driven sensing of environment.

[BibT_eX]

[DOI]

Guillermo Barrenetxea

Boi Faltings

Proceedings of the 2010 ACM SIGSPATIAL International Workshop on GeoStreaming, 2010

Resource adaptations with servers for hard real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

ZeroCal: Automatic MAC Protocol Calibration.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2010

Energy-efficient real-time task scheduling with temperature-dependent leakage.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Worst case delay analysis for memory interference in multicore systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Cool MPSoC programming.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Worst-case response time analysis of resource access models in multi-core systems.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010

Modeling and analyzing real-time multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

Dynamic and adaptive allocation of applications on MPSoC platforms.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

Dynamic power management in environmentally powered systems.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

Adaptive power management for real-time event streams.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

Methods and Tools for Mapping Process Networks onto Multi-Processor Systems-On-Chip.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Signal Processing Systems, 2010

2009

Design of a Solar-Harvesting Circuit for Batteryless Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. I Regul. Pap., 2009

Multiprocessor SoC software design flows.

[BibT_eX]

[DOI]

IEEE Signal Process. Mag., 2009

Cache-aware timing analysis of streaming applications.

[BibT_eX]

[DOI]

Real Time Syst., 2009

A Preference-Based Evolutionary Algorithm for Multi-Objective Optimization.

[BibT_eX]

[DOI]

Evol. Comput., 2009

Influence of different abstractions on the performance analysis of distributed hard real-time systems.

[BibT_eX]

[DOI]

Michael González Harbour

Des. Autom. Embed. Syst., 2009

Learning from sensor network data.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

The FlockLab testbed architecture.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual IEEE Communications Society Conference on Sensor, 2009

Generation and calibration of compositional performance analysis models for multi-processor systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Embedded Computer Systems: Architectures, 2009

Optimal service level allocation in environmentally powered embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Adaptive Dynamic Power Management for Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Energy-Efficient Speed Scheduling for Real-Time Tasks under Thermal Constraints.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Task Partitioning and Platform Synthesis for Energy Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Power-Aware Mapping of Probabilistic Applications onto Heterogeneous MPSoC Platforms.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Thermal-Aware Global Real-Time Scheduling on Multicore Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints.

[BibT_eX]

[DOI]

Shengquan Wang

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Power management in energy harvesting embedded systems with discrete service levels.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Symposium on Low Power Electronics and Design, 2009

Demo abstract: Operating a sensor network at 3500 m above sea level.

[BibT_eX]

[DOI]

Christian F. Tschudin

Mustafa Yuecel

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes.

[BibT_eX]

[DOI]

Christian F. Tschudin

Mustafa Yuecel

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Energy minimization for periodic real-time tasks on heterogeneous processing units.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Adaptive power control for solar harvesting multimodal wireless smart camera.

[BibT_eX]

[DOI]

Proceedings of the Third ACM/IEEE International Conference on Distributed Smart Cameras, 2009

Exploiting Timed Automata for Conformance Testing of Power Measurements.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Energy Reduction Techniques for Systems with non-DVS Components.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Efficient execution of Kahn process networks on multi-processor systems using protothreads and windowed FIFOs.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2009

Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2009

Modular performance analysis of cyclic dataflow graphs.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

An approximation scheme for energy-efficient scheduling of real-time tasks in heterogeneous multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Reliable mode changes in real-time systems with fixed priority or EDF scheduling.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

09041 Working Group on EMO for Interactive Multiobjective Optimization (1st Round).

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Robust Approaches to Multiobjective Optimization, 18.01., 2009

Periodic power management schemes for real-time event streams.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Wireless Sensor Networks Testing and Validation.

[BibT_eX]

[DOI]

Proceedings of the Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook, 2009

Performance Analysis of Distributed Embedded Systems.

[BibT_eX]

[DOI]

Wolfgang Haid

Proceedings of the Embedded Systems Design and Verification, 2009

2008

EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Sensor Networks, 2008

Scalably distributed SystemC simulation for embedded applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

NoSE: efficient initialization of wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

Reward Maximization for Embedded Systems with Renewable Energies.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

SPAM: Set Preference Algorithm for Multiobjective Optimization.

[BibT_eX]

[DOI]

Johannes Bader

Proceedings of the Parallel Problem Solving from Nature, 2008

Expected system energy consumption minimization in leakage-aware DVS systems.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Symposium on Low Power Electronics and Design, 2008

Energy-Efficient Task Partition for Periodic Real-Time Tasks on Platforms with Dual Processing Elements.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

Approximate Control Design for Solar Driven Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Cyclic dependencies in modular performance analysis.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Robust and Low Complexity Rate Control for Solar Powered Sensors.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

An Efficient Solar Energy Harvester for Wireless Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

Quality Assessment of Pareto Set Approximations.

[BibT_eX]

[DOI]

Joshua D. Knowles

Proceedings of the Multiobjective Optimization, 2008

2007

Special Issue on ASAP 2004 Conference.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 2007

Real-time scheduling for energy harvesting sensor nodes.

[BibT_eX]

[DOI]

Real Time Syst., 2007

Infrastructures for a Smart Earth - The Swiss NCCR-MICS initiative -.

[BibT_eX]

[DOI]

Karl Aberer

Gustavo Alonso

Guillermo Barrenetxea

Jacques Bovay

Henri Dubois-Ferrière

Prax. Inf.verarb. Kommun., 2007

Workload correlations in multi-processor hard real-time systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2007

A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing.

[BibT_eX]

[DOI]

Jens B. Schmitt

Frank A. Zdarsky

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

S-XTC: A Signal-Strength Based Topology Control Algorithm for Sensor Networks.

[BibT_eX]

[DOI]

Matthias Dyer

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Deployment Support Network.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, 2007

Performance analysis of distributed embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Influence of different system abstractions on the performance analysis of distributed real-time systems.

[BibT_eX]

[DOI]

Michael González Harbour

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

The Hypervolume Indicator Revisited: On the Design of Pareto-compliant Indicators Via Weighted Integration.

[BibT_eX]

[DOI]

Dimo Brockhoff

Proceedings of the Evolutionary Multi-Criterion Optimization, 4th International Conference, 2007

Increasing the reliability of wireless sensor networks with a distributed testing framework.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Embedded Networked Sensors, 2007

Cache-Aware Timing Analysis of Streaming Applications.

[BibT_eX]

[DOI]

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Adaptive power management in energy harvesting systems.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Performance analysis of multimedia applications using correlated streams.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Joost-Pieter Katoen

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

07101 Executive Summary -- Quantitative Aspects of Embedded Systems.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Joost-Pieter Katoen

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

Combined approach to system level performance analysis of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Complex task activation schemes in system level performance analysis.

[BibT_eX]

[DOI]

Wolfgang Haid

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

Windowed FIFOs for FPGA-based Multiprocessor Systems.

[BibT_eX]

[DOI]

D. Grunert

Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

Mapping Applications to Tiled Multiprocessor Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

System architecture evaluation using modular performance analysis: a case study.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

An efficient, adaptive parameter variation scheme for metaheuristics based on the epsilon-constraint method.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2006

A systematic comparison and evaluation of biclustering methods for gene expression data.

[BibT_eX]

[DOI]

Bioinform., 2006

Interface-Based Rate Analysis of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Interface-Based Design of Real-Time Systems with Hierarchical Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Generating event traces based on arrival curves.

[BibT_eX]

Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

Lazy Scheduling for Energy Harvesting Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Optimal temporal partitioning based on slowdown and retiming.

[BibT_eX]

[DOI]

Christian Plessl

Marco Platzner

Proceedings of the 2006 IEEE International Conference on Field Programmable Technology, 2006

Power Management for Bluetooth Sensor Networks.

[BibT_eX]

[DOI]

Luca Negri

Proceedings of the Wireless Sensor Networks, Third European Workshop, 2006

Real-time interfaces for composing real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Real-Time Scheduling with Regenerative Energy.

[BibT_eX]

[DOI]

Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

Performance analysis of greedy shapers in real-time systems.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Combining simulation and formal methods for system-level performance analysis.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

SHAPES: : a tiled scalable software hardware architecture platform for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

Optimal TDMA time slot and cycle length allocation for hard real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

Performance Analysis of Distributed Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems Handbook., 2005

Performance analysis of multiprocessor DSPs: a stream-oriented component model.

[BibT_eX]

[DOI]

IEEE Signal Process. Mag., 2005

Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications.

[BibT_eX]

[DOI]

Real Time Syst., 2005

Counting Interface Automata and their Application in Static Analysis of Actor Models.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Characterizing Workload Correlations in Multi Processor Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Brief announcement: gradient clock synchronization in sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Interval-based clock synchronization is resilient to mobility.

[BibT_eX]

[DOI]

Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Scalable topology control for deployment-support networks.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.

[BibT_eX]

[DOI]

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

Modular Performance Analysis of Distributed Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Analitic Performance Analysis of Distributed Embedded Systems.

[BibT_eX]

Proceedings of the Forum on specification and Design Languages, 2005

Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

A New Task Model for Streaming Applications and Its Schedulability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

An Adaptive Scheme to Generate the Pareto Front Based on the Epsilon-Constraint Method.

[BibT_eX]

[DOI]

Proceedings of the Practical Approaches to Multi-Objective Optimization, 2005

DVS for buffer-constrained architectures with predictable QoS-energy tradeoffs.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

Abstracting functionality for modular performance analysis of hard real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Scalable Test Problems for Evolutionary Multiobjective Optimization.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Multiobjective Optimization, 2005

2004

Running time analysis of multiobjective evolutionary algorithms on pseudo-Boolean functions.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2004

A Systematic Approach to the Design of Distributed Wearable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2004

Design for Timing Predictability.

[BibT_eX]

[DOI]

Real Time Syst., 2004

Running time analysis of evolutionary algorithms on a simplified multiobjective knapsack problem.

[BibT_eX]

[DOI]

Nat. Comput., 2004

Evaluating Schedulers for Multimedia Processing on Buffer-Constrained SoC Platforms.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2004

Internal synchronization of drift-constraint clocks in ad-hoc sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2004

Improved interval-based clock synchronization in sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine.

[BibT_eX]

[DOI]

Matthias Dyer

Marco Platzner

Proceedings of the 12th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2004), 2004

Prototyping Wireless Sensor Network Applications with BTnodes.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, First European Workshop, 2004

Trace-based evaluation of clock synchronization algorithms for wireless loudspeakers.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Embedded Systems for Real-Time Multimedia, 2004

Workload Characterization Model for Tasks with Variable Execution Demand.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

Design for Time-Predictability.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Abstracts Collection.

[BibT_eX]

[DOI]

Viviane Grunert da Fonseca

Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Rate analysis for streaming applications with on-chip buffer constraints.

[BibT_eX]

[DOI]

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Performance assessment of multiobjective optimizers: an analysis and review.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2003

The case for reconfigurable hardware in wearable computing.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2003

Performance evaluation of network processor architectures: combining simulation with analytical estimation.

[BibT_eX]

[DOI]

Comput. Networks, 2003

Online Scheduling and Placement of Real-time Tasks to Partially Reconfigurable Devices.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

PISA: A Platform and Programming Language Independent Interface for Search Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Multi-Criterion Optimization, 2003

A General Framework for Analysing System Properties in Platform-Based Embedded System Designs.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

2002

SPI - a system model for heterogeneously specified embedded systems.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2002

Combining Convergence and Diversity in Evolutionary Multiobjective Optimization.

[BibT_eX]

[DOI]

Evol. Comput., 2002

Exact Partitioning of Affine Dependence Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation, 2002

Approximate Schedulability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Supporting a Low Delay Best-Effort Class in the Presence of Real-Time Traffic.

[BibT_eX]

[DOI]

Matthias Gries

Viviane Grunert da Fonseca

Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

Running Time Analysis of Multi-objective Evolutionary Algorithms on a Simple Discrete Optimization Problem.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 2002

Reconfigurable Hardware in Wearable Computing Nodes.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Wearable Computers (ISWC 2002), 2002

Why Quality Assessment Of Multiobjective Optimizers Is Difficult.

[BibT_eX]

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

Archiving With Guaranteed Convergence And Diversity In Multi-objective Optimization.

[BibT_eX]

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

A framework for evaluating design tradeoffs in packet processing architectures.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

Schedulability of event-driven code blocks in real-time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

Scalable multi-objective optimization test problems.

[BibT_eX]

[DOI]

Proceedings of the 2002 Congress on Evolutionary Computation, 2002

2001

FunState-an internal design representation for codesign.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2001

Generating an action notation environment from Montages descriptions.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2001

On the Complexity of Scheduling Conditional Real-Time Code.

[BibT_eX]

[DOI]

Thomas Erlebach

Proceedings of the Algorithms and Data Structures, 7th International Workshop, 2001

Integral Design Representations for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Embedded Software in Network Processors - Models and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, First International Workshop, 2001

On the Effects of Archiving, Elitism, and Density Based Selection in Evolutionary Multi-objective Optimization.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Multi-Criterion Optimization, 2001

Multiobjective genetic programming: reducing bloat using SPEA2.

[BibT_eX]

[DOI]

Proceedings of the 2001 Congress on Evolutionary Computation, 2001

2000

Interval diagrams for efficient symbolic verification of processnetworks.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

Regular state machines.

[BibT_eX]

[DOI]

Parallel Algorithms Appl., 2000

Comparison of Multiobjective Evolutionary Algorithms: Empirical Results.

[BibT_eX]

[DOI]

Kalyanmoy Deb

Evol. Comput., 2000

Conflicting Criteria in Embedded System Design.

[BibT_eX]

[DOI]

Michael Eisenring

IEEE Des. Test Comput., 2000

Real-time calculus for scheduling hard real-time systems.

[BibT_eX]

[DOI]

Martin Naedele

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

A unified model for multi-objective evolutionary algorithms with elitism.

[BibT_eX]

[DOI]

Proceedings of the 2000 Congress on Evolutionary Computation, 2000

1999

Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 1999

Dynamic Min-Max Problems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 1999

SPI -- An Internal Representation for Heterogeneously Specified Embedded Systems.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

FunState - an internal design representation for codesign.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Communication Synthesis for Reconfigurable Embedded Systems.

[BibT_eX]

[DOI]

Michael Eisenring

Marco Platzner

Proceedings of the Field-Programmable Logic and Applications, 9th International Workshop, 1999

Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

Representation of Function Variants for Embedded System Optimization and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on Design Automation, 1999

Scheduling hardware/software systems using symbolic techniques.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

1998

Complexity Analysis of a Parallel Lattice Basis Reduction Algorithm.

[BibT_eX]

[DOI]

SIAM J. Comput., 1998

System-Level Synthesis Using Evolutionary Algorithms.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 1998

Multiobjective Optimization Using Evolutionary Algorithms - A Comparative Case Study.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 1998

Representation of process mode correlation for scheduling.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Symbolic model checking of process networks using interval diagram techniques.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Rapid Prototyping of Dataflow Programs on Hardware/Software Architectures.

[BibT_eX]

[DOI]

Michael Eisenring

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Integrating Domain Specific Language Design in the Software Life Cycle.

[BibT_eX]

[DOI]

Philipp W. Kutter

Daniel Schweizer

Proceedings of the Applied Formal Methods, 1998

Combining multiple models of computation for scheduling and allocation.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998

1997

Partitioning Processor Arrays under Resource Constraints.

[BibT_eX]

[DOI]

Lee Z. Zhang

J. VLSI Signal Process., 1997

Performance analysis and optimization of mixed asynchronous synchronous systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

Periodic and Non-periodic Min-Max Equations.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

An evolutionary approach to system-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

1996

A Comparison of Selection Schemes used in Evolutionary Algorithms.

[BibT_eX]

[DOI]

Evol. Comput., 1996

VLIW-Processors under Periodic Real Time Constraints.

[BibT_eX]

[DOI]

Jean-Paul Theis

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Scheduling of Partitioned Regular Algorithms on Processor Arrays with Constrained Resources.

[BibT_eX]

[DOI]

Li Zhang

Proceedings of the 1996 International Conference on Application-Specific Systems, 1996

1995

Resource constrained scheduling of uniform algorithms.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1995

Algorithm-architecture co-design by example: a coprocessor for on-line arithmetic.

[BibT_eX]

[DOI]

Joachim König

Microprocess. Microprogramming, 1995

Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model.

[BibT_eX]

[DOI]

Edward A. Lee

Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

A Mathematical Analysis of Tournament Selection.

[BibT_eX]

Proceedings of the 6th International Conference on Genetic Algorithms, 1995

POM: a processor model for image processing.

[BibT_eX]

[DOI]

Jean-Paul Theis

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Guest editors' introduction.

[BibT_eX]

[DOI]

Edward Chow

J. VLSI Signal Process., 1994

Computing Linear Data Dependencies in Nested Loop Programs.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1994

Is it Possible to achieve a Teraflop/s on a chip? From High Performance Algorithms to Architectures.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

1993

Partitioning of processor arrays: a piecewise regular approach.

[BibT_eX]

[DOI]

Integr., 1993

A Parallel Lattice Basis Reduction for Mesh-Connected Processor Arrays and Parallel Complexity.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Parallel Complexity of Lattice Basis Reduction and a Floating-Point Parallel Algorithm.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

Resource constrained scheduling of uniform algorithm.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Application-Specific Array Processors, 1993

1992

Analysis of Free Schedule in Periodic Graphs.

[BibT_eX]

[DOI]

Wolfgang Backes

Proceedings of the 4th Annual ACM Symposium on Parallel Algorithms and Architectures, 1992

A transformative approach to the partitioning of processor arrays.

[BibT_eX]

[DOI]

Proceedings of the Application Specific Array Processors, 1992

1991

Control generation in the design of processor arrays.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 1991

On the analysis and optimization of selftimed processor arrays.

[BibT_eX]

[DOI]

Integr., 1991

Rekursive Prozeduraufrufe in VLSI-Occam.

[BibT_eX]

Ulrich Arzt

Daniela Merziger

Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1991

1990

Systolic array implementation of nested loop programs.

[BibT_eX]

[DOI]

Jichun Bu

Ed F. Deprettere

Proceedings of the Application Specific Array Processors, 1990

1989

Linear Systolic Arrays for Matrix Comutations.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1989

1988

A Systolic Array for the Assignment Problem.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

Implementierung eines informationstheoretischen Ansatzes zur Bilderkennung.

[BibT_eX]

[DOI]

Proceedings of the Innovative Informations-Infrastrukturen, 1988

On the optimization of regular wavefront arrays.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 1988

1987

A Systolic Array for Cyclic-by-Rows Jacobi Algorithms.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1987

One- and two-dimensional systolic arrays for least-squares problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 1987

A systolic algorithm for cyclic-by-rows SVD.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 1987

1986

On the Systolic Detection of Shortest Routes.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1986

1985

Analytische Netzwerksynthese: neue Methoden zur Approximation u. Realisierung.

[BibT_eX]

[DOI]