close
1.

電子ブック
ＥＢ
1. Autonomic and Trusted Computing
Laurence T. Yang, Hai Jin, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence Tianruo Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Software Technologies for Embedded and Ubiquitous Systems
Sang Lyul Min, Takeo Kanade, Robert Pettit, Peter Puschner, Theo Ungerer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
Hardware
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller / Michael Bauer ; Mathias Pacher ; Uwe Brinkschulte
Crash Recovery in FAST FTL / Sungup Moon ; Sang-Phil Lim ; Dong-Joo Park ; Sang-Won Lee
Real-Time-Systems
Time-Predictable Computing / Raimund Kirner ; Peter Puschner
OTAWA: An Open Toolbox for Adaptive WCET Analysis / Clément Ballabriga ; Hugues Cassé ; Christine Rochange ; Pascal Sainrat
Ubiquitous Verification of Ubiquitous Systems / Reinhard Wilhelm ; Matteo Maffei
Model-Based Design and Model-Checking
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems / Andreas Baumgart ; Philipp Reinkemeier ; Achim Rettberg ; Ingo Stierand ; Eike Thaden ; Raphael Weber
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability / Charbel El Kaed ; Yves Denneulin ; François-Gaë Ottogalli ; Luis Felipe Melo Mora
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems / Shin Nakajima ; Masaki Ishiguro ; Kazuyuki Tanaka
Sensor Nets
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks / Kai Beckmann ; Marcus Thoss
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling / Sang Hoon Lee ; Yunmook Nah ; Lynn Choi
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems / Luís Almeida ; Ricardo Marau ; Karthik Lakshmanan ; Raj Rajkumar
Error Detection and System Failures
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / Susanne Kandl
Simultaneous Logging and Replay for Recording Evidences of System Failures / Shuichi Oikawa ; Jin Kawasaki
Hard Real-Time
Code Generation for Embedded Java with Ptolemy / Martin Schoeberl ; Christopher Brooks ; Edward A. Lee
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata / Christo Angelov ; Feng Zhou ; Krzysztof Sierszecki
Building a Time- and Space- Partitioned Architecture for the Next Generation of Space Vehicle Avionics / José Rufino ; João Craveiro ; Paulo Verissimo
Middleware and Smart Spaces
EMWF: A Middleware for Flexible Automation and Assistive Devices / Ting-Shuo Chou ; Yu Chi Huang ; Yung Chun Wang ; Wai-Chi Chen ; Chi-Sheng Shih ; Jane W.S. Liu
An Investigation on Flexible Communications in Publish/Subscribe Services / Christian Esposito ; Domenico Cotroneo ; Stefano Russo
Mobile Agents for Digital Signage / Ichiro Satoh
Function Composition and Task Mapping
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products / Tatsuo Nakajima ; Yuki Kinebuchi ; Alexandre Courbot ; Hiromasa Shimada ; Tsung-Han Lin ; Hitoshi Mitake
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring / Robert Diemer ; Samarjit Chakraborty
Author Index
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
3.

電子ブック
ＥＢ
3. High Performance Embedded Architectures and Compilers
HiPEAC 2005, Tom Conte, Takeo Kanade, Wen-mei W. Hwu, Nacho Navarro, Theo Ungerer, Mateo Valero
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. High Performance Embedded Architectures and Compilers
Per Stenstr?m, Michel Dubois, Rajiv Gupta, Takeo Kanade, Manolis Katevenis, Theo Ungerer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Ubiquitous Intelligence and Computing
Jadwiga Indulska, Jiannong Cao, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence T. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Autonomic and Trusted Computing
Laurence T. Yang, Hai Jin, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence Tianruo Yang
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Ubiquitous Intelligence and Computing
Jadwiga Indulska, Jiannong Cao, Takeo Kanade, Jianhua Ma, Theo Ungerer, Laurence T. Yang
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Software Technologies for Embedded and Ubiquitous Systems
Sang Lyul Min, Takeo Kanade, Robert Pettit, Peter Puschner, Theo Ungerer
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
Hardware
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller / Michael Bauer ; Mathias Pacher ; Uwe Brinkschulte
Crash Recovery in FAST FTL / Sungup Moon ; Sang-Phil Lim ; Dong-Joo Park ; Sang-Won Lee
Real-Time-Systems
Time-Predictable Computing / Raimund Kirner ; Peter Puschner
OTAWA: An Open Toolbox for Adaptive WCET Analysis / Clément Ballabriga ; Hugues Cassé ; Christine Rochange ; Pascal Sainrat
Ubiquitous Verification of Ubiquitous Systems / Reinhard Wilhelm ; Matteo Maffei
Model-Based Design and Model-Checking
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems / Andreas Baumgart ; Philipp Reinkemeier ; Achim Rettberg ; Ingo Stierand ; Eike Thaden ; Raphael Weber
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability / Charbel El Kaed ; Yves Denneulin ; François-Gaë Ottogalli ; Luis Felipe Melo Mora
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems / Shin Nakajima ; Masaki Ishiguro ; Kazuyuki Tanaka
Sensor Nets
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks / Kai Beckmann ; Marcus Thoss
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling / Sang Hoon Lee ; Yunmook Nah ; Lynn Choi
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems / Luís Almeida ; Ricardo Marau ; Karthik Lakshmanan ; Raj Rajkumar
Error Detection and System Failures
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain / Susanne Kandl
Simultaneous Logging and Replay for Recording Evidences of System Failures / Shuichi Oikawa ; Jin Kawasaki
Hard Real-Time
Code Generation for Embedded Java with Ptolemy / Martin Schoeberl ; Christopher Brooks ; Edward A. Lee
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata / Christo Angelov ; Feng Zhou ; Krzysztof Sierszecki
Building a Time- and Space- Partitioned Architecture for the Next Generation of Space Vehicle Avionics / José Rufino ; João Craveiro ; Paulo Verissimo
Middleware and Smart Spaces
EMWF: A Middleware for Flexible Automation and Assistive Devices / Ting-Shuo Chou ; Yu Chi Huang ; Yung Chun Wang ; Wai-Chi Chen ; Chi-Sheng Shih ; Jane W.S. Liu
An Investigation on Flexible Communications in Publish/Subscribe Services / Christian Esposito ; Domenico Cotroneo ; Stefano Russo
Mobile Agents for Digital Signage / Ichiro Satoh
Function Composition and Task Mapping
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products / Tatsuo Nakajima ; Yuki Kinebuchi ; Alexandre Courbot ; Hiromasa Shimada ; Tsung-Han Lin ; Hitoshi Mitake
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring / Robert Diemer ; Samarjit Chakraborty
Author Index
Invited Program
Component-Based Design of Embedded Systems (Abstract) / Hermann Kopetz
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation (Abstract) / Bert Böddeker ; Rafael Zalman
9.

電子ブック
ＥＢ
9. High Performance Embedded Architectures and Compilers
HiPEAC 2005, Tom Conte, Takeo Kanade, Wen-mei W. Hwu, Nacho Navarro, Theo Ungerer, Mateo Valero
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. High Performance Embedded Architectures and Compilers
Per Stenström, Michel Dubois, Rajiv Gupta, Takeo Kanade, Manolis Katevenis, Theo Ungerer
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼