Atnaujinkite slapukų nuostatas

El. knyga: 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

Edited by , Edited by , Edited by , Edited by , Edited by , Edited by , Edited by

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 2023 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired Collaborative Computing. The conference is concerned with emerging techniques from research areas such as organic computing, autonomic computing and self-adaptive systems, where inspiraton for techniques - rives from exhibited behaviour in nature and biology. Such techniques require the use of research developed by the DIPES community in supporting collaboration over multiple systems. We hope that the combination of the two proceedings will add value for the reader and advance our related work.
Distributed and Parallel Embedded Systems (DIPES 2010)
1(4)
Preface
3(2)
Marilyn Wolf
Bernd Kleinjohann
Lisa Kleinjohann
Opening and Keynote
Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design
5(2)
Rolf Ernst
Specification and Modeling
Rialto 2.0: A Language for Heterogeneous Computations
7(12)
Johan Lilius
Andreas Dahlin
Lionel Morel
Scenario-Based Modeling in Industrial Information Systems
19(12)
Ricardo J. Machado
Joao M. Fernandes
Joao P. Barros
Luis Gomes
An Entirely Model-Based Framework for Hardware Design and Simulation
31(12)
Safouan Taha
Ansgar Radermacher
Sebastien Gerard
Extending the Standard Execution Model of UML for Real-Time Systems
43(12)
Abderraouf Benyahia
Arnaud Cuccuru
Safouan Taha
Francois Terrier
Frederic Boulanger
Sebastien Gerard
Fault Tolerance
Task Migration for Fault-Tolerant FlexRay Networks
55(11)
Kay Klobedanz
Gilles B. Defo
Henning Zabel
Wolfgang Mueller
Yuan Zhi
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems
66(12)
Luis Nogueira
Luis Miguel Pinho
Jorge Coelho
Verification and Validation
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
78(12)
Wolfgang Mueller
Alexander Bol
Alexander Krupp
Ola Lundkvist
Model Checking of Concurrent Algorithms: From Java to C
90(12)
Cyrille Artho
Masami Hagiya
Watcharin Leungwattanakit
Yoshinori Tanabe
Mitsuharu Yamamoto
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services
102(12)
Sufyan Samara
Yuhong Zhao
Franz J. Rammig
Efficient Mutation-Analysis Coverage for Constrained Random Verification
114(11)
Too Xie
Wolfgang Mueller
Florian Letombe
Code-Generation, Simulation and Timing Analysis
Generating VHDL Source Code from UML Models of Embedded Systems
125(12)
Tomas G. Moreira
Marco A. Wehrmeister
Carlos E. Pereira
Jean-Francois Petin
Eric Levrat
RACE: A Rapid, Architectural Simulation and Synthesis Framework for Embedded Processors
137(8)
Roshan Ragel
Angelo Ambrose
Jorgen Peddersen
Sri Parameswaran
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
145(12)
Markus Becker
Henning Zabel
Wolfgang Mueller
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems
157(12)
Steffen Kollmann
Victor Pollex
Frank Slomka
Distributed Architectures and Design Support
Dependency-Driven Distribution of Synchronous Programs
169(12)
Daniel Baudisch
Jens Brandt
Klaus Schneider
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC
181(12)
Philipp A. Hartmann
Kim Gruttner
Achim Rettberg
Ina Podolski
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems
193(12)
Frederic Fauberteau
Serge Midonnet
Laurent George
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems
205(12)
Claudius Stern
Philipp Adelt
Matthias Schmitz
Lisa Kleinjohann
Bernd Kleinjohann
Biologically-Inspired Collaborative Computing (BICC 2010)
217(2)
Preface
Peter Lindsay
Franz J. Rammig
Mike Hinchey
Jon Timmis
Ants and Adaptive Systems
219(47)
Model Checking the Ant Colony Optimisation
221(12)
Lucio Mauro Duarte
Luciana Foss
Flavio Rech Wagner
Tales Heimfarth
Feature Selection for Classification Using an Ant System Approach
233(9)
Nadia Abd-Alsabour
Novelty-Aware Attack Recognition - Intrusion Detection with Organic Computing Techniques
242(12)
Dominik Fisch
Ferdinand Kastl
Bernhard Sick
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms
254(12)
Wenjing Zhao
Jiangjun Tang
Sameer Alam
Axel Bender
Hussein A. Abbass
Learning Classifier Systems and Collaborative Systems
A Collaborative Decision Support Model for Marine Safety and Security Operations
266(12)
Uwe Glasser
Piper Jackson
Ali Khalili Araghi
Hans Wehn
Hamed Yaghoubi Shahir
Combining Software and Hardware LCS for Lightweight On-Chip Learning
278(12)
Andreas Bernauer
Johannes Zeppenfeld
Oliver Bringmann
Andreas Herkersdorf
Wolfgang Rosenstiel
Collaborating and Learning Predators on a Pursuit Scenario
290(12)
Nugroho Fredivianus
Urban Richter
Hartmut Schmeck
SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking
302(13)
Bojan Jakimovski
Michael Kotke
Martin Horenz
Erik Maehle
Author Index 315