Distributed, Parallel and Biologically Inspired Systems

>> Google Books

Distributed, Parallel and Biologically Inspired Systems / Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642152337 [3642152333]
9783642152344 [3642152341]

書誌ID:

OB00351088

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

Distributed and Parallel Embedded Systems (DIPES 2010)

Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann

Opening and Keynote

Safety, Efficiency and Autonomy-Mastering Conflicting Trends in Embedded Systems Design / Rolf Ernst

Specification and Modeling

Rialto 2.0: A Language for Heterogeneous Computations / Johan Lilius ; Andreas Dahlin ; Lionel Morel

Scenario-Based Modeling in Industrial Information Systems / Ricardo J. Machado ; JoÃ£o M. Fernandes ; JoÃ£o P. Barros ; LuÃs Gomes

An Entirely Model-Based Framework for Hardware Design and Simulation / Safouan Taha ; Ansgar Radermacher ; SÃ©bastien GÃ©rard

Extending the Standard Execution Model of UML for Real-Time Systems / Abderraouf Benyahia ; Arnaud Cuccuru ; FranÃ§ois Terrier ; FrÃ©dÃ©ric Boulanger

Fault Tolerance

Task Migration for Fault-Tolerant FlexRay Networks / Kay Klobedanz ; Gilles B. Defo ; Henning Zabel ; Wolfgang Mueller ; Yuan Zhi

Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems / LuÃs Nogueira ; LuÃs Miguel Pinho ; Jorge Coelho

Verification and Validation

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems / Alexander Bol ; Alexander Krupp ; Ola Lundkvist

Model Checking of Concurrent Algorithms: From Java to C / Cyrille Artho ; Masami Hagiya ; Watcharin Leungwattanakit ; Yoshinori Tanabe ; Mitsuharu Yamamoto

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services / Sufyan Samara ; Yuhong Zhao ; Franz J. Rammig

Efficient Mutation-Analysis Coverage for Constrained Random Verification / Tao Xie ; Florian Letombe

Code-Generation, Simulation and Timing Analysis

Generating VHDL Source Code from UML Models of Embedded Systems / TomÃ¡s G. Moreira ; Marco A. Wehrmeister ; Carlos E. Pereira ; Jean-FranÃ§ois PÃ©tin ; Eric Levrat

RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors / Roshan Ragel ; Angelo Ambrose ; Jorgen Peddersen ; Sri Parameswaran

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement / Markus Becker

Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems / Steffen Kollmann ; Victor Pollex ; Frank Slomka

Distributed Architectures and Design Support

Dependency-Driven Distribution of Synchronous Programs / Daniel Baudisch ; Jens Brandt ; Klaus Schneider

Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC / Philipp A. Hartmann ; Kim GrÃ¼ttner ; Achim Rettberg ; Ina Podolski

Robust Partitioned Scheduling for Real-Time Multiprocessor Systems / FrÃ©dÃ©ric Fauberteau ; Serge Midonnet ; Laurent George

An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems / Claudius Stern ; Philipp Adelt ; Matthias Schmitz

Biologically-Inspired Collaborative Computing (BICC 2010)

Ants and Adaptive Systems / Peter Lindsay ; Mike Hinchey ; Jon Timmis

Model Checking the Ant Colony Optimisation / Lucio Mauro Duarte ; Luciano Foss ; FlÃ¡vio Rech Wagner ; Tales Heimfarth

Feature Selection for Classification Using an Ant System Approach / Nadia Abd-Alsabour

Novelty-Aware Attack Recognition-Intrusion Detection with Organic Computing Techniques / Dominik Fisch ; Ferdinand Kastl ; Bernhard Sick

Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms / 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 / Uwe GlÃ¤sser ; Piper Jackson ; Ali Khalili Araghi ; Hans Wehn ; Hamed Yaghoubi Shahir

Combining Software and Hardware LCS for Lightweight On-Chip Learning / Andreas Bernauer ; Johannes Zeppenfeld ; Oliver Bringmann ; Andreas Herkersdorf ; Wolfgang Rosenstiel

Collaborating and Learning Predators on a Pursuit Scenario / Nugroho Fredivianus ; Urban Richter ; Hartmut Schmeck

SelSta-A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking / Bojan Jakimovski ; Michael Kotke ; Martin HÃ¶renz ; Erik Maehle

Author Index

Distributed and Parallel Embedded Systems (DIPES 2010)

Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann

Opening and Keynote

Safety, Efficiency and Autonomy-Mastering Conflicting Trends in Embedded Systems Design / Rolf Ernst

Specification and Modeling

Rialto 2.0: A Language for Heterogeneous Computations / Johan Lilius ; Andreas Dahlin ; Lionel Morel

続きを見る

ブックレビュー

類似資料:

1 電子ブック Distributed, Parallel and Biologically Inspired Systems Hinchey, Mike, Kleinjohann, Bernd, Kleinjohann, Lisa, Lindsay, Peter A., Rammig, Franz J., Timmis, Jon, Wolf, Marilyn, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック From Model-Driven Design to Resource Management for Distributed Embedded Systems Kleinjohann, Bernd, Kleinjohann, Lisa, Machado, Ricardo J., Pereira, Carlos E., Thiagarajan, P. S., Pereira, Carlos SpringerLink Books - AutoHoldings, Springer US
2 電子ブック Distributed Embedded Systems: Design, Middleware and Resources Kleinjohann, Bernd, Kleinjohann, Lisa, Wolf, Wayne, Wolf, Marilyn SpringerLink Books - AutoHoldings, Springer US	8 電子ブック Biologically Inspired Cooperative Computing Pan, Yi, Rammig, Franz J., Schmeck, Hartmut, Solar, Mauricio Springer eBooks Computer Science, Springer US
3 電子ブック Biologically-Inspired Collaborative Computing Hinchey, Mike, Pagnoni, Anastasia, Rammig, Franz J., Schmeck, Hartmut Springer eBooks Computer Science, Springer US	9 電子ブック Biologically Inspired Cooperative Computing Pan, Yi, Rammig, Franz J., Schmeck, Hartmut, Solar, Mauricio SpringerLink Books - AutoHoldings, Springer US
4 電子ブック Biologically-Inspired Collaborative Computing Hinchey, Mike, Pagnoni, Anastasia, Rammig, Franz J., Schmeck, Hartmut SpringerLink Books - AutoHoldings, Springer US	10 図書 Design and analysis of distributed embedded systems : IFIP 17th World Computer Congress - TC10 stream on distributed and parallel embedded systems (DIPES 2002), … IFIP World Computer Congress, Kleinjohann, Bernd Kluwer Academic
5 電子ブック Distributed Embedded Systems: Design, Middleware and Resources Kleinjohann, Bernd, Kleinjohann, Lisa, Wolf, Wayne Springer eBooks Computer Science, Springer US	11 図書 Artificial immune systems : Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004 : proceedings ICARIS, Nicosia, Giuseppe, Cutello, Vincenzo, Bentley, Peter J., Timmis, Jon Springer
6 電子ブック From Model-Driven Design to Resource Management for Distributed Embedded Systems Kleinjohann, Bernd, Kleinjohann, Lisa, Machado, Ricardo J., Pereira, Carlos E., Thiagarajan, P. S. Springer eBooks Computer Science, Springer US	12 図書 Design methods and applications for distributed embedded systems : IFIP 18th World Computer Congress : TC10 Working Conference on Distributed and Parallel … IFIP World Computer Congress, Kleinjohann, Bernd, TC10 Working Conference on Distributed and Parallel Embedded Systems Kluwer Academic

1

2

3

4

5

6

7

8

9

10

11

12