|
Distributed and Parallel Embedded Systems (DIPES 2010) |
|
|
1 | (4) |
|
|
3 | (2) |
|
|
|
|
|
|
Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design |
|
|
5 | (2) |
|
|
Specification and Modeling |
|
|
|
Rialto 2.0: A Language for Heterogeneous Computations |
|
|
7 | (12) |
|
|
|
|
Scenario-Based Modeling in Industrial Information Systems |
|
|
19 | (12) |
|
|
|
|
|
An Entirely Model-Based Framework for Hardware Design and Simulation |
|
|
31 | (12) |
|
|
|
|
Extending the Standard Execution Model of UML for Real-Time Systems |
|
|
43 | (12) |
|
|
|
|
|
|
|
|
|
Task Migration for Fault-Tolerant FlexRay Networks |
|
|
55 | (11) |
|
|
|
|
|
|
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems |
|
|
66 | (12) |
|
|
|
|
Verification and Validation |
|
|
|
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems |
|
|
78 | (12) |
|
|
|
|
|
Model Checking of Concurrent Algorithms: From Java to C |
|
|
90 | (12) |
|
|
|
Watcharin Leungwattanakit |
|
|
|
|
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services |
|
|
102 | (12) |
|
|
|
|
Efficient Mutation-Analysis Coverage for Constrained Random Verification |
|
|
114 | (11) |
|
|
|
|
Code-Generation, Simulation and Timing Analysis |
|
|
|
Generating VHDL Source Code from UML Models of Embedded Systems |
|
|
125 | (12) |
|
|
|
|
|
|
RACE: A Rapid, Architectural Simulation and Synthesis Framework for Embedded Processors |
|
|
137 | (8) |
|
|
|
|
|
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement |
|
|
145 | (12) |
|
|
|
|
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems |
|
|
157 | (12) |
|
|
|
|
Distributed Architectures and Design Support |
|
|
|
Dependency-Driven Distribution of Synchronous Programs |
|
|
169 | (12) |
|
|
|
|
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC |
|
|
181 | (12) |
|
|
|
|
|
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems |
|
|
193 | (12) |
|
|
|
|
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems |
|
|
205 | (12) |
|
|
|
|
|
|
Biologically-Inspired Collaborative Computing (BICC 2010) |
|
|
217 | (2) |
|
|
|
|
|
|
|
Ants and Adaptive Systems |
|
|
219 | (47) |
|
Model Checking the Ant Colony Optimisation |
|
|
221 | (12) |
|
|
|
|
|
Feature Selection for Classification Using an Ant System Approach |
|
|
233 | (9) |
|
|
Novelty-Aware Attack Recognition - Intrusion Detection with Organic Computing Techniques |
|
|
242 | (12) |
|
|
|
|
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms |
|
|
254 | (12) |
|
|
|
|
|
|
Learning Classifier Systems and Collaborative Systems |
|
|
|
A Collaborative Decision Support Model for Marine Safety and Security Operations |
|
|
266 | (12) |
|
|
|
|
|
|
Combining Software and Hardware LCS for Lightweight On-Chip Learning |
|
|
278 | (12) |
|
|
|
|
|
|
Collaborating and Learning Predators on a Pursuit Scenario |
|
|
290 | (12) |
|
|
|
|
SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking |
|
|
302 | (13) |
|
|
|
|
Author Index |
|
315 | |