close
1.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Achim Rettberg, Christophe Bobda
出版情報: Springer eBooks Computer Science , Dordrecht : Springer US, 2005
所蔵情報: loading…
5.

電子ブック

EB
Achim Rettberg, Christophe Bobda
出版情報: SpringerLink Books - AutoHoldings , Dordrecht : Springer US, 2005
所蔵情報: loading…
6.

電子ブック

EB
Achim Rettberg, Rainer Dömer, Andreas Gerstlauer, Franz J. Rammig, Mauro C. Zanella
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2007
所蔵情報: loading…
7.

電子ブック

EB
Achim Rettberg, Franz J. Rammig, Mauro C. Zanella
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2005
所蔵情報: loading…
8.

電子ブック

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

図書

図書
edited by Achim Rettberg...[et al.]
出版情報: New York : Springer, c2007  xvi, 444 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 231
所蔵情報: loading…
10.

図書

図書
edited by Achim Rettberg, Christophe Bobda
出版情報: New York : Springer, 2005  x, 147 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 192
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼