Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd SIES 2007: Lisbon, Portugal
- IEEE Second International Symposium on Industrial Embedded Systems, SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6, 2007. IEEE 2007, ISBN 1-4244-0840-7
Invited Speakers
- Ian Phillips:
When less means more; and more, the-same? - Richard Zurawski:
Embedded Systems in Industrial Applications - Challenges and Trends.
Real-time scheduling
- Daisuke Miyakawa, Yutaka Ishikawa:
Process Oriented Power Management. 1-8 - Hyeonjoong Cho, Binoy Ravindran
, E. Douglas Jensen:
Synchronization for an optimal real-time scheduling algorithm on multiprocessors. 9-16 - Dieter Zöbel, Christian Weyand:
Augmenting sensitivity analysis for embedded applications by program level derivation of process parameters. 17-24 - Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada:
Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. 25-32
Real-time and low-power protocols
- Ahlem Mifdaoui, Fabrice Frances, Christian Fraboul:
Real-time characteristics of Switched Ethernet for "1553B"-Embedded Applications: Simulation and Analysis. 33-40 - Björn Nilsson, Lars Bengtsson, Per-Arne Wiberg, Bertil Svensson:
Protocols for Active RFID - The Energy Consumption Aspect. 41-48 - Omar J. López Orozco, Jose L. Martinez Lastra:
A Real-Time Interface for Agent-Based Control. 49-54 - Jörg Sommer, Rainer Blind:
Optimized Resource Dimensioning in an embedded CAN-CAN Gateway. 55-62
Dependable Embedded Systems
- S. Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi:
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. 63-70 - Gert Jervan, Helena Kruus, Elmet Orasson, Raimund Ubar:
Optimization of Memory-Constrained Hybrid BIST for Testing Core-Based Systems. 71-77 - Falk Salewski, Stefan Kowalewski:
The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. 78-85
Embedded System Design
- Md. Mafijul Islam, Per Stenström:
Energy and Performance Trade-offs between Instruction Reuse and Trivial Computations for Embedded Applications. 86-93 - Heiko Hübert, Benno Stabernack, Kai-Immo Wels:
Performance and Memory Profiling for Embedded System Design. 94-101 - Christo Angelov, Jesper Berthing:
A Timed Multitasking Architecture for Distributed Embedded Systems. 102-109 - Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström:
Shared Data Analysis for Multi-Tasking Real-Time System Testing. 110-117 - Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser:
An Open Framework for Detailed Hardware Modeling. 118-125
Hardware/software co-design
- Martin Holzer, Bastian Knerr, Markus Rupp:
Design Space Exploration with Evolutionary Multi-Objective Optimisation. 126-133 - Bastian Knerr, Martin Holzer, Markus Rupp:
Novel Genome Coding of Genetic Algorithms for the System Partitioning Problem. 134-141
Robotics
- Zi-Yuan Chen, Yu-Cheng Chen, Yin-Tien Wang:
Image-based Control of an Autonomous Robot with Omnidirectional Vision. 142-147 - Vanderlei Bonato, Rafael Peron, Denis F. Wolf, José A. M. de Holanda, Eduardo Marques, João M. P. Cardoso:
An FPGA Implementation for a Kalman Filter with Application to Mobile Robotics. 148-155
Industrial networks
- Mario Collotta, Lucia Lo Bello, Orazio Mirabella:
Deadline-Aware Scheduling Policies for Bluetooth Networks in Industrial Communications. 156-163 - Fredrik Linnarsson, Peng Cheng, Bengt Oelmann:
Analysis of the IEEE 802.15.4 Standard for a Wireless Closed Loop Control System for Heavy Duty Cranes. 164-169 - Sven Dominka, Frank Schiller, Sebastian Kain, Eduard Bröcker:
Modification of Field Bus Telegrams for Hybrid Commissioning; Merge-Tool for PROFIBUS. 170-177
Computing Configuration
- Stephan Kubisch, Claas Cornelius, Ronald Hecht, Dirk Timmermann:
Mapping a Pipelined Data Path onto a Network-on-Chip. 178-185 - Nadia Nedjah, Luiza de Macedo Mourelle:
A System-on-Chip Implementation for Modular Exponentiation Using the Sliding-Window Method with Variable-Length Partitioning. 186-193 - Zhuo Ruan, Yuzhang Han, Hongbo Cai, Shengzhen Jin, Jianguo Han:
A Dynamically Partial-reconfigurable FPGA-based Architecture for Data Processing on Space Solar Telescope. 194-199
Special Session on Automotive Embedded Systems
- Thomas M. Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl M. Göschka, Martin Horauer:
Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm. 200-208 - Bastian Schlich, Falk Salewski, Stefan Kowalewski:
Applying Model Checking to an Automotive Microcontroller Application. 209-216 - Joachim Hillebrand, Mehrnoush Rahmani, Richard Bogenberger, Eckehard G. Steinbach:
Coexistence of Time-Triggered and Event-Triggered Traffic in Switched Full-Duplex Ethernet Networks. 217-224 - Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet:
Adequacy between AUTOSAR OS specification and real-time scheduling theory. 225-233 - Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati:
A multiform time approach to real-time system modeling; Application to an automotive system. 234-241
Special Session on Behavioural Models for Embedded systems
- Simon Tjell:
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. 242-249 - Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat:
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. 250-257 - Ashley T. McNeile, Ella E. Roubtsova:
Protocol Modelling Semantics for Embedded Systems. 258-265 - Óscar R. Ribeiro, João M. Fernandes:
Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. 266-273 - Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
Process State Machines for Behavioral Modeling of Embedded Systems. 274-281
Industry practice
- Martin Svéda, Vladimír Oplustil:
Experience with integration and certification of COTS based embedded system into advanced avionics system. 282-287 - Jing Wang, Shengbing Zhang, Zhang Meng:
Testing of a 32-bit High Performance Embedded Microprocessor. 288-292 - Hui Xue Zhao, Laurent George, Serge Midonnet, Stephan Tassart, Ivan Bourmeyster:
Minimizing Latency and Data Memory Requirement for Real-time Chain-Structured Synchronous Dataflow. 293-301 - Gerard Bosch i Creus, Antti-Pekka Tuovinen:
Feature Interaction Control on Smartphones. 302-309 - Azzouz Benzekri, Kamal Meghriche, Larbi Refoufi:
PC-Based Automation of a Multi-Mode Control for an Irrigation System. 310-315
Work-in-Progress
- Anikó Costa, Luís Gomes:
Module Composition within Petri Nets Model-based Development. 316-319 - Mario Collotta, Orazio Mirabella, Lucia Lo Bello:
Comparison between RT scheduling techniques for Bluetooth Networks in DPCSs. 320-323 - Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy:
Faster floating-point square root for integer processors. 324-327 - Alexandre Lewicki, Javier del Prado Pavon, Jacky Talayssat, Eric Dekneuvel, Gilles Jacquemod:
High Level Modeling of a Bluetooth over Ultra Wide Band Device. 328-332 - Vasco Santos, Paulo Bartolomeu, José Alberto Fonseca, Alexandre Manuel Mota:
B-Live - A Home Automation System for Disabled and Elderly People. 333-336 - Julian Viejo, Alejandro Millán, Manuel J. Bellido, Jorge Juan, Paulino Ruiz-de-Clavijo, David Guerrero Martos, Enrique Ostúa, Alejandro Muñoz:
Design of a FFT/IFFT module as an IP core suitable for embedded systems. 337-340 - Hugo Ortiz, António Casimiro, Paulo Veríssimo:
Architecture and Implementation of an Embedded Wormhole. 341-344 - José A. M. de Holanda, Jecel Assumpcao, Denis F. Wolf, Eduardo Marques, João M. P. Cardoso:
On Adapting Power Estimation Models for Embedded Soft-Core Processors. 345-348 - Martin Horauer, Oliver Praprotnik, Martin Zauner, Roland Höller, Paul Milbredt:
A Test Tool for FlexRay-based Embedded Systems. 349-352 - Julian Broy, Klaus D. Müller-Glaser:
The impact of time-triggered communication in automotive embedded systems. 353-356 - Abhisek Ukil, Adrian Barlocher:
Implementation of Discrete Wavelet Transform for Embedded Applications using TMS320VC5510. 357-360 - Soledad Escolar, Jesús Carretero, Florin Isaila, Félix García Carballeira:
A driver model based on Linux for TinyOS. 361-364 - Jecel Assumpcao, Denis F. Wolf, Eduardo Marques:
Towards a Hardware Accelerated Obstacle Avoidance System for Mobile Robots using Monocular Vision. 365-368 - V. Bostan, C. Ilas, R. Magureanu:
Single Chip Control of a Three Level Converter for High Voltage Unity Power Factor Applications. 369-372 - Marian Adamski:
Logic synthesis of reconfigurable controllers. 373-376
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 18:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
