close
1.

電子ブック
ＥＢ
1. Embedded System Design: Topics, Techniques and Trends
Achim Rettberg, Rainer D?mer, Andreas Gerstlauer, Franz J. Rammig, Mauro C. Zanella
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
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. Analysis, Architectures and Modelling of Embedded Systems
Achim Rettberg, Michael Amann, Michael Keckeisen, Franz J. Rammig, Mauro C. Zanella
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Modelling
State Machine Based Method for Consolidating Vehicle Data / Florian Dittmann ; Konstantina Geramani ; Victor Fäßler ; Sergio Damiani
Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation / Héctor Posadas ; Eugenio Villar
Modelling of Device Driver Software by Reflection of the Device Hardware Structure / Thomas Lehmann
An Infrastructure for UML-Based Code Generation Tools / Marco A. Wehrmeister ; Edison P. Freitas ; Carlos E. Pereira
A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance / Ines Viskic ; Rainer Dömer
ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs / Weiwei Chen
Transaction Level Modelling
Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support / Yonghyun Hwang ; Gunar Schirner ; Samar Abdi
Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices / Amal Banerjee ; Andreas Gerstlauer
Modeling Cache Effects at the Transaction Level / Ardavan Pedram ; David Craven
Scheduling and Real-Time Systems
Event Stream Calculus for Schedulability Analysis / Karsten Albers ; Frank Slomka
Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms / Mohammad Reza Miryani ; Mahmoud Naghibzadeh
Task-Dependent Processor Shutdown for Hard Real-Time Systems / Henrik Lipskoch
Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects / Juan A. Colmenares ; K.H. (Kane) Kim ; Doo-Hyun Kim
Simulation, Verification and Test
Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling / Rauf Salimi Khaligh ; Martin Radetzki
Formal Verification for Embedded Systems Design Based on MDE / Francisco Assis Moreira do Nascimento ; Marcio Ferreira da Silva Oliveira ; Flávio Rech Wagner
Systematic Model-in-the-Loop Test of Embedded Control Systems / Alexander Krupp ; Wolfgang Müller
Platforms and Processors
Proteus, a Hybrid Virtualization Platform for Embedded Systems / Daniel Baldin ; Timo Kerstan
Constructing a Multi-OS Platform with Minimal Engineering Cost / Yuki Kinebuchi ; Takushi Morita ; Kazuo Makijima ; Midori Sugaya ; Tatsuo Nakajima
A Synchronization Method for Register Traces of Pipelined Processors / Ralf Dreesen ; Thorsten Jungeblut ; Michael Thies ; Mario Porrmann ; Uwe Kastens ; Ulrich Rückert
Automotive Systems
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study / Kay Klobedanz ; Christoph Kuznik ; Ahmed Elfeky
Automatic Transformation of System Models in Automotive Electronics / Ralph Görgen ; Jan-Hendrik Oetjens ; Jan Freuer ; Wolfgang Nebel
Towards a Load Balancing Middleware for Automotive Infotainment Systems / Yara Khaluf ; Achim Rettberg
Case Studies
Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks / Ina Podolski
A Hybrid Hardware and Software Component Architecture for Embedded System Design / Hugo Marcondes ; Antônio Augusto Fröhlich
Low-Level Space Optimization of an AES Implementation for a Bit-Serial Fully Pipelined Architecture / Raphael Weber
Wireless Sensor Networks
The Case for Interpreted Languages in Sensor Networks / Leonardo Steinfeld ; Luigi Carro
Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard / Jeferson L.R. Souza ; José Rufino
FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks / Rodrigo Schmidt Allgayer ; Marcelo Götz ; Carlos Eduardo Pereira
Tutorials
Efficient Modeling of Embedded Systems Using Computer-Aided Recoding
New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies / Carlos Arthur Lang Lisboa
Author Index
Modelling
State Machine Based Method for Consolidating Vehicle Data / Florian Dittmann ; Konstantina Geramani ; Victor Fäßler ; Sergio Damiani
Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation / Héctor Posadas ; Eugenio Villar
4.

電子ブック
ＥＢ
4. From Specification to Embedded Systems Application
Achim Rettberg, Franz J. Rammig, Mauro C. Zanella
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Biologically Inspired Cooperative Computing
Yi Pan, Franz J. Rammig, Hartmut Schmeck, Mauricio Solar
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
目次情報: 続きを見る
Biological Inspiration: Just a dream? (Invited papers)
An Immune System Paradigm for the Assurance of Dependability of Collaborative Self-Organizing Systems / Algirdas Avižienis1：
99% (Biological) Inspiration / Michael G. Hinchey ; Roy Sterritt2：
Biologically-Inspired Design: Getting It Wrong and Getting It Right / Steve R. White3：
Web Organization
On Building Maps of Web Pages with a Cellular Automaton / Hanene Azzag ; David Ratsimba ; David Da Costa ; Christiane Guinot ; Gilles Venturini4：
Biological Inspiration 1
Completing and Adapting Models of Biological Processes / Tiziana Margaria ; Harald Raffelt ; James L. Rash ; Christopher A. Rouff ; Bernhard Steffen5：
The Utility of Pollination for Autonomic Computing / Holger Kasinger ; Bernhard Bauer6：
Towards Distributed Reasoning for Behavioral Optimization / Michael Cebulla7：
Biological Inspiration 2
Ant Based Heuristic for OS Service Distribution on Ad-hoc Networks / Tales Heimfarth ; Peter Janacik8：
An Artificial Hormone System for Self-organization of Networked Nodes / Wolfgang Trumler ; Tobias Thiemann ; Theo Ungerer9：
A Biologically Motivated Computational Architecture Inspired in the Human Immunological System to Quantify Abnormal Behaviors to Detect Presence of Intruders / Omar U. Florez-Choque ; Ernesto Cuadros-Vargas10：
Chip-Design
Error Detection Techniques Applicable in an Architecture Framework and Design Methodology for Autonomic SoCs / Abdelmajid Bouajila ; Andreas Bernauer ; Andreas Herkersdorf ; Wolfgang Rosenstiel ; Oliver Bringmann ; Walter Stechele11：
Communication
A Reconfigurable Ethernet Switch for Self-Optimizing Communication Systems / Bjorn Griese ; Mario Porrmann12：
Learning Useful Communication Structures for Groups of Agents / Andreas Goebels13：
Maintaining Communication Between an Explorer and a Base Station / Miroslaw Dynia ; Jaroslaw Kutylowski ; Pawel Lorek ; Friedhelm Meyer auf der Heide14：
Mechatronics and Computer Clusters
Active Patterns for Self-Optimization - Schemes for the Design of Intelligent Mechatronic Systems / Andreas Schmidt15：
Acute Stress Response for Self-Optimizing Mechatronic Systems / Holger Giese ; Norma Montealegre ; Thomas Müller ; Simon Oberthur ; Bernd Schulz16：
The Self Distributing Virtual Machine (SDVM): Making Computer Clusters Adaptive / Jan Haase ; Andreas Hofmann ; Klaus Waldschmidt17：
Robotics and Sensor Networks:
Teleworkbench: An Analysis Tool for Multi-Robotic Experiments / Andry Tanoto ; Jia Lei Du ; Ulf Witkowski ; Ulrich Rückert18：
Trading off Impact and Mutation of Knowledge by Cooperatively Learning Robots / Willi Richert ; Bernd Kleinjohann ; Lisa Kleinjohann19：
Emergent Distribution of Operating System Services in Wireless Ad Hoc Networks / 20：
Author index
Biological Inspiration: Just a dream? (Invited papers)
An Immune System Paradigm for the Assurance of Dependability of Collaborative Self-Organizing Systems / Algirdas Avižienis1：
99% (Biological) Inspiration / Michael G. Hinchey ; Roy Sterritt2：
6.

電子ブック
ＥＢ
6. Embedded and Ubiquitous Computing ? EUC 2005
EUC 2005, Takeo Kanade, Laurence Tianruo Yang, International Federation for Information Processing., Minyi Guo, Zhen Liu, Franz J. Rammig, Laurence T. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Software Technologies for Embedded and Ubiquitous Systems
Roman Obermaisser, Yunmook Nah, Peter Puschner, Franz J. Rammig, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. From Specification to Embedded Systems Application
Achim Rettberg, Franz J. Rammig, Mauro C. Zanella
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2005
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Analysis, Architectures and Modelling of Embedded Systems
Achim Rettberg, Michael Amann, Michael Keckeisen, Franz J. Rammig, Mauro C. Zanella
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Modelling
State Machine Based Method for Consolidating Vehicle Data / Florian Dittmann ; Konstantina Geramani ; Victor Fäßler ; Sergio Damiani
Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation / Héctor Posadas ; Eugenio Villar
Modelling of Device Driver Software by Reflection of the Device Hardware Structure / Thomas Lehmann
An Infrastructure for UML-Based Code Generation Tools / Marco A. Wehrmeister ; Edison P. Freitas ; Carlos E. Pereira
A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance / Ines Viskic ; Rainer Dömer
ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs / Weiwei Chen
Transaction Level Modelling
Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support / Yonghyun Hwang ; Gunar Schirner ; Samar Abdi
Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices / Amal Banerjee ; Andreas Gerstlauer
Modeling Cache Effects at the Transaction Level / Ardavan Pedram ; David Craven
Scheduling and Real-Time Systems
Event Stream Calculus for Schedulability Analysis / Karsten Albers ; Frank Slomka
Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms / Mohammad Reza Miryani ; Mahmoud Naghibzadeh
Task-Dependent Processor Shutdown for Hard Real-Time Systems / Henrik Lipskoch
Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects / Juan A. Colmenares ; K.H. (Kane) Kim ; Doo-Hyun Kim
Simulation, Verification and Test
Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling / Rauf Salimi Khaligh ; Martin Radetzki
Formal Verification for Embedded Systems Design Based on MDE / Francisco Assis Moreira do Nascimento ; Marcio Ferreira da Silva Oliveira ; Flávio Rech Wagner
Systematic Model-in-the-Loop Test of Embedded Control Systems / Alexander Krupp ; Wolfgang Müller
Platforms and Processors
Proteus, a Hybrid Virtualization Platform for Embedded Systems / Daniel Baldin ; Timo Kerstan
Constructing a Multi-OS Platform with Minimal Engineering Cost / Yuki Kinebuchi ; Takushi Morita ; Kazuo Makijima ; Midori Sugaya ; Tatsuo Nakajima
A Synchronization Method for Register Traces of Pipelined Processors / Ralf Dreesen ; Thorsten Jungeblut ; Michael Thies ; Mario Porrmann ; Uwe Kastens ; Ulrich Rückert
Automotive Systems
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study / Kay Klobedanz ; Christoph Kuznik ; Ahmed Elfeky
Automatic Transformation of System Models in Automotive Electronics / Ralph Görgen ; Jan-Hendrik Oetjens ; Jan Freuer ; Wolfgang Nebel
Towards a Load Balancing Middleware for Automotive Infotainment Systems / Yara Khaluf ; Achim Rettberg
Case Studies
Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks / Ina Podolski
A Hybrid Hardware and Software Component Architecture for Embedded System Design / Hugo Marcondes ; Antônio Augusto Fröhlich
Low-Level Space Optimization of an AES Implementation for a Bit-Serial Fully Pipelined Architecture / Raphael Weber
Wireless Sensor Networks
The Case for Interpreted Languages in Sensor Networks / Leonardo Steinfeld ; Luigi Carro
Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard / Jeferson L.R. Souza ; José Rufino
FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks / Rodrigo Schmidt Allgayer ; Marcelo Götz ; Carlos Eduardo Pereira
Tutorials
Efficient Modeling of Embedded Systems Using Computer-Aided Recoding
New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies / Carlos Arthur Lang Lisboa
Author Index
Modelling
State Machine Based Method for Consolidating Vehicle Data / Florian Dittmann ; Konstantina Geramani ; Victor Fäßler ; Sergio Damiani
Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation / Héctor Posadas ; Eugenio Villar
10.

電子ブック
ＥＢ
10. Biologically Inspired Cooperative Computing
Yi Pan, Franz J. Rammig, Hartmut Schmeck, Mauricio Solar
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2006
所蔵情報: loading…
目次情報: 続きを見る
Biological Inspiration: Just a dream? (Invited papers)
An Immune System Paradigm for the Assurance of Dependability of Collaborative Self-Organizing Systems / Algirdas Avižienis1：
99% (Biological) Inspiration / Michael G. Hinchey ; Roy Sterritt2：
Biologically-Inspired Design: Getting It Wrong and Getting It Right / Steve R. White3：
Web Organization
On Building Maps of Web Pages with a Cellular Automaton / Hanene Azzag ; David Ratsimba ; David Da Costa ; Christiane Guinot ; Gilles Venturini4：
Biological Inspiration 1
Completing and Adapting Models of Biological Processes / Tiziana Margaria ; Harald Raffelt ; James L. Rash ; Christopher A. Rouff ; Bernhard Steffen5：
The Utility of Pollination for Autonomic Computing / Holger Kasinger ; Bernhard Bauer6：
Towards Distributed Reasoning for Behavioral Optimization / Michael Cebulla7：
Biological Inspiration 2
Ant Based Heuristic for OS Service Distribution on Ad-hoc Networks / Tales Heimfarth ; Peter Janacik8：
An Artificial Hormone System for Self-organization of Networked Nodes / Wolfgang Trumler ; Tobias Thiemann ; Theo Ungerer9：
A Biologically Motivated Computational Architecture Inspired in the Human Immunological System to Quantify Abnormal Behaviors to Detect Presence of Intruders / Omar U. Florez-Choque ; Ernesto Cuadros-Vargas10：
Chip-Design
Error Detection Techniques Applicable in an Architecture Framework and Design Methodology for Autonomic SoCs / Abdelmajid Bouajila ; Andreas Bernauer ; Andreas Herkersdorf ; Wolfgang Rosenstiel ; Oliver Bringmann ; Walter Stechele11：
Communication
A Reconfigurable Ethernet Switch for Self-Optimizing Communication Systems / Bjorn Griese ; Mario Porrmann12：
Learning Useful Communication Structures for Groups of Agents / Andreas Goebels13：
Maintaining Communication Between an Explorer and a Base Station / Miroslaw Dynia ; Jaroslaw Kutylowski ; Pawel Lorek ; Friedhelm Meyer auf der Heide14：
Mechatronics and Computer Clusters
Active Patterns for Self-Optimization - Schemes for the Design of Intelligent Mechatronic Systems / Andreas Schmidt15：
Acute Stress Response for Self-Optimizing Mechatronic Systems / Holger Giese ; Norma Montealegre ; Thomas Müller ; Simon Oberthur ; Bernd Schulz16：
The Self Distributing Virtual Machine (SDVM): Making Computer Clusters Adaptive / Jan Haase ; Andreas Hofmann ; Klaus Waldschmidt17：
Robotics and Sensor Networks:
Teleworkbench: An Analysis Tool for Multi-Robotic Experiments / Andry Tanoto ; Jia Lei Du ; Ulf Witkowski ; Ulrich Rückert18：
Trading off Impact and Mutation of Knowledge by Cooperatively Learning Robots / Willi Richert ; Bernd Kleinjohann ; Lisa Kleinjohann19：
Emergent Distribution of Operating System Services in Wireless Ad Hoc Networks / 20：
Author index
Biological Inspiration: Just a dream? (Invited papers)
An Immune System Paradigm for the Assurance of Dependability of Collaborative Self-Organizing Systems / Algirdas Avižienis1：
99% (Biological) Inspiration / Michael G. Hinchey ; Roy Sterritt2：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼