close
1.

電子ブック

EB
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.

電子ブック

EB
Achim Rettberg, Rainer D?mer, Andreas Gerstlauer, Franz J. Rammig, Mauro C. Zanella
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
3.

電子ブック

EB
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:
4.

電子ブック

EB
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
5.

電子ブック

EB
Achim Rettberg, Franz J. Rammig, Mauro C. Zanella
出版情報: Springer eBooks Computer Science , Springer US, 2005
所蔵情報: loading…
6.

電子ブック

EB
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:
7.

電子ブック

EB
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…
8.

電子ブック

EB
Roman Obermaisser, Yunmook Nah, Peter Puschner, Franz J. Rammig, International Federation for Information Processing.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
9.

電子ブック

EB
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
10.

電子ブック

EB
Achim Rettberg, Franz J. Rammig, Mauro C. Zanella
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼