close
1.

電子ブック
ＥＢ
1. 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
所蔵情報: loading…
目次情報: 続きを見る
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
2.

電子ブック
ＥＢ
2. Biologically-Inspired Collaborative Computing
Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck
出版情報: Springer eBooks Computer Science , Springer US, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynote Presentations
Swarm Robotics: The Coordination of Robots via Swarm Intelligence Principles / Marco Dorigo1：
Immuno-engineering / Jon Timmis ; Emma Hart ; Andy Hone ; Mark Neal ; Adrian Robins ; Susan Stepney ; Andy Tyrrell2：
Heuristics for Uninformed Search Algorithms in Unstructured P2P Networks Inspired by Self-Organizing Social Insect Models / Prithviraj Dasgupta ; Erik AntonsonInspiration Based on Insect Behaviors：
Congestion Control in Ant Like Moving Agent Systems / Alexander Scheidler ; Daniel Merkle ; Martin Middendorf4：
Resource-Aware Clustering of Wireless Sensor Networks Based on Division of Labor in Social Insects / Tales Heimfarth ; Dalimir Orfanus ; Flávio Rech Wagner5：
Sensors, Actuators and Networks
Self-Stabilizing Automata / Torben Weis ; Arno Wacker6：
Experiments with Biologically-Inspired Methods for Service Assignment in Wireless Sensor Networks / Peter Janacik7：
Robotics and Multi-Agent Systems
Evolving Collision Avoidance on Autonomous Robots / Lukas König ; Hartmut Schmeck8：
Local Strategies for Connecting Stations by Small Robotic Networks / Friedhelm Meyer auf der Heide ; Barbara Schneider9：
Measurement of Robot Similarity to Determine the Best Demonstratorfor Imitation in a Group of Heterogeneous Robots / Raphael Golombek ; Willi Richert ; Bernd Kleinjohann ; Philipp Adelt10：
Distributed Fault-Tolerant Robot Control Architecture Based on Organic Computing Principles / Adam El Sayed Auf ; Marek Litza ; Erik Maehle11：
Immunocomputing and Biological-Inspiration
Intrusion Detection via Artificial Immune System: A Performance-based Approach / Andrea Visconti ; Nicoló Fusi ; Hooman Tahayori12：
Immuno-repairing of FPGA designs / Norma Montealegre ; Franz J. Rammig13：
An Organic Computing Approach to Sustained Real-time Monitoring / Rainer Buchty ; David Kramer ; Wolfgang Karl14：
Applications
A Case Study in Model-driven Synthetic Biology / David Gilbert ; Monika Heiner ; Susan Rosser ; Rachael Fulton ; Xu Gu ; Maciej Trybilo15：
Image Segmentation by a Network of Cortical Macrocolumns with Learned Connection Weights / Markus Lessman ; Rolf P. Würtz16：
Integrating Emotional Competence into Man-Machine Collaboration / Natascha Esau ; Lisa Kleinjohann17：
Hardware Issues
Self-optimized Routing in a Network-on-a-Chip / Wolfgang Trumler ; Sebastian Schlingmann ; Theo Ungerer ; Jun Ho Bahn ; Nader Bagherzadeh18：
On Robust Evolution of Digital Hardware / Tobias Knieper ; Bertrand Defo ; Paul Kaufmann ; Marco Platzner19：
Collaboration
A Model of Self-Organizing Collaboration / Rumen Andreev20：
Guiding Exploration by Combining Individual Learning and Imitation in Societies of Autonomous Robots / Oliver Niehörster ; Florian Klompmaker21：
Author Index
Keynote Presentations
Swarm Robotics: The Coordination of Robots via Swarm Intelligence Principles / Marco Dorigo1：
Immuno-engineering / Jon Timmis ; Emma Hart ; Andy Hone ; Mark Neal ; Adrian Robins ; Susan Stepney ; Andy Tyrrell2：
3.

電子ブック
ＥＢ
3. Distributed, Parallel and Biologically Inspired Systems
Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf, Peter Lindsay
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
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
4.

電子ブック
ＥＢ
4. Biologically-Inspired Collaborative Computing
Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynote Presentations
Swarm Robotics: The Coordination of Robots via Swarm Intelligence Principles / Marco Dorigo1：
Immuno-engineering / Jon Timmis ; Emma Hart ; Andy Hone ; Mark Neal ; Adrian Robins ; Susan Stepney ; Andy Tyrrell2：
Heuristics for Uninformed Search Algorithms in Unstructured P2P Networks Inspired by Self-Organizing Social Insect Models / Prithviraj Dasgupta ; Erik AntonsonInspiration Based on Insect Behaviors：
Congestion Control in Ant Like Moving Agent Systems / Alexander Scheidler ; Daniel Merkle ; Martin Middendorf4：
Resource-Aware Clustering of Wireless Sensor Networks Based on Division of Labor in Social Insects / Tales Heimfarth ; Dalimir Orfanus ; Flávio Rech Wagner5：
Sensors, Actuators and Networks
Self-Stabilizing Automata / Torben Weis ; Arno Wacker6：
Experiments with Biologically-Inspired Methods for Service Assignment in Wireless Sensor Networks / Peter Janacik7：
Robotics and Multi-Agent Systems
Evolving Collision Avoidance on Autonomous Robots / Lukas König ; Hartmut Schmeck8：
Local Strategies for Connecting Stations by Small Robotic Networks / Friedhelm Meyer auf der Heide ; Barbara Schneider9：
Measurement of Robot Similarity to Determine the Best Demonstratorfor Imitation in a Group of Heterogeneous Robots / Raphael Golombek ; Willi Richert ; Bernd Kleinjohann ; Philipp Adelt10：
Distributed Fault-Tolerant Robot Control Architecture Based on Organic Computing Principles / Adam El Sayed Auf ; Marek Litza ; Erik Maehle11：
Immunocomputing and Biological-Inspiration
Intrusion Detection via Artificial Immune System: A Performance-based Approach / Andrea Visconti ; Nicoló Fusi ; Hooman Tahayori12：
Immuno-repairing of FPGA designs / Norma Montealegre ; Franz J. Rammig13：
An Organic Computing Approach to Sustained Real-time Monitoring / Rainer Buchty ; David Kramer ; Wolfgang Karl14：
Applications
A Case Study in Model-driven Synthetic Biology / David Gilbert ; Monika Heiner ; Susan Rosser ; Rachael Fulton ; Xu Gu ; Maciej Trybilo15：
Image Segmentation by a Network of Cortical Macrocolumns with Learned Connection Weights / Markus Lessman ; Rolf P. Würtz16：
Integrating Emotional Competence into Man-Machine Collaboration / Natascha Esau ; Lisa Kleinjohann17：
Hardware Issues
Self-optimized Routing in a Network-on-a-Chip / Wolfgang Trumler ; Sebastian Schlingmann ; Theo Ungerer ; Jun Ho Bahn ; Nader Bagherzadeh18：
On Robust Evolution of Digital Hardware / Tobias Knieper ; Bertrand Defo ; Paul Kaufmann ; Marco Platzner19：
Collaboration
A Model of Self-Organizing Collaboration / Rumen Andreev20：
Guiding Exploration by Combining Individual Learning and Imitation in Societies of Autonomous Robots / Oliver Niehörster ; Florian Klompmaker21：
Author Index
Keynote Presentations
Swarm Robotics: The Coordination of Robots via Swarm Intelligence Principles / Marco Dorigo1：
Immuno-engineering / Jon Timmis ; Emma Hart ; Andy Hone ; Mark Neal ; Adrian Robins ; Susan Stepney ; Andy Tyrrell2：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼