default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDIPES 2010: Brisbane, Queensland, Australia
- Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf:
Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings. IFIP Advances in Information and Communication Technology 329, Springer 2010, ISBN 978-3-642-15233-7
Distributed and Parallel Embedded Systems (DIPES 2010)
- Marilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann:
Preface. 3
Opening and Keynote
- Rolf Ernst:
Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design. 5-6
Specification and Modeling
- Johan Lilius, Andreas Dahlin, Lionel Morel:
Rialto 2.0: A Language for Heterogeneous Computations. 7-18 - Ricardo Jorge Machado
, João M. Fernandes, João Paulo Barros, Luís Gomes:
Scenario-Based Modeling in Industrial Information Systems. 19-30 - Safouan Taha, Ansgar Radermacher, Sébastien Gérard:
An Entirely Model-Based Framework for Hardware Design and Simulation. 31-42 - Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard:
Extending the Standard Execution Model of UML for Real-Time Systems. 43-54
Fault Tolerance
- Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi:
Task Migration for Fault-Tolerant FlexRay Networks. 55-65 - Luís Nogueira, Luís Miguel Pinho, Jorge Coelho:
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems. 66-77
Verification and Validation
- Wolfgang Müller, Alexander Bol, Alexander Krupp, Ola Lundkvist:
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. 78-89 - Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto:
Model Checking of Concurrent Algorithms: From Java to C. 90-101 - Sufyan Samara, Yuhong Zhao, Franz J. Rammig:
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. 102-113 - Tao Xie, Wolfgang Müller, Florian Letombe:
Efficient Mutation-Analysis Coverage for Constrained Random Verification. 114-124
Code-Generation, Simulation and Timing Analysis
- Tomás G. Moreira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Jean-François Pétin, Eric Levrat:
Generating VHDL Source Code from UML Models of Embedded Systems. 125-136 - Roshan G. Ragel, Jude Angelo Ambrose, Jorgen Peddersen, Sri Parameswaran:
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors. 137-144 - Markus Becker, Henning Zabel, Wolfgang Müller:
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. 145-156 - Steffen Kollmann, Victor Pollex, Frank Slomka:
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems. 157-168
Distributed Architectures and Design Support
- Daniel Baudisch, Jens Brandt, Klaus Schneider:
Dependency-Driven Distribution of Synchronous Programs. 169-180 - Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski:
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC. 181-192 - Frédéric Fauberteau, Serge Midonnet, Laurent George:
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems. 193-204 - Claudius Stern, Philipp Adelt, Matthias Schmitz, Lisa Kleinjohann, Bernd Kleinjohann:
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems. 205-216
Biologically-Inspired Collaborative Computing (BICC 2010)
- Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis:
Preface. 219
Ants and Adaptive Systems
- Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth:
Model Checking the Ant Colony Optimisation. 221-232 - Nadia Abd-Alsabour:
Feature Selection for Classification Using an Ant System Approach. 233-241 - Dominik Fisch, Ferdinand Kastl, Bernhard Sick:
Novelty-Aware Attack Recognition - Intrusion Detection with Organic Computing Techniques. 242-253 - Wenjing Zhao, Jiangjun Tang, Sameer Alam, Axel Bender, Hussein A. Abbass:
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms. 254-265
Learning Classifier Systems and Collaborative Systems
- Uwe Glässer, Piper J. Jackson, Ali Khalili Araghi, Hans Wehn, Hamed Yaghoubi Shahir:
A Collaborative Decision Support Model for Marine Safety and Security Operations. 266-277 - Andreas Bernauer, Johannes Zeppenfeld, Oliver Bringmann, Andreas Herkersdorf, Wolfgang Rosenstiel:
Combining Software and Hardware LCS for Lightweight On-Chip Learning. 278-289 - Nugroho Fredivianus, Urban Richter, Hartmut Schmeck:
Collaborating and Learning Predators on a Pursuit Scenario. 290-301 - Bojan Jakimovski, Michael Kotke, Martin Hörenz, Erik Maehle:
SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking. 302-313
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 2025-02-04 21:09 CET 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:
