Abstract is missing.
- A Timed-Automata Based Middleware for Time-Critical Multicore ApplicationsDario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga. 1-8 [doi]
- Models of Communication for Multicore ProcessorsMartin Schoeberl, Rasmus Bo Sorensen, Jens Sparsø. 9-16 [doi]
- Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of FaultsRaimund Kirner, Saverio Iacovelli, Michael Zolda. 17-25 [doi]
- Integer Range Analysis for Whiley on Embedded SystemsDavid J. Pearce. 26-33 [doi]
- Global and Thread-Local Activation of Contextual Program Execution EnvironmentsMarkus Raab. 34-41 [doi]
- Addressing Non-functional Requirements for Embedded Applications with Platform Based Aspect DesignStefan Resmerita, Anton Poelzleitner, Stefan Lukesch. 42-49 [doi]
- Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded SystemsPranav Srinivas Kumar, Gabor Karsai. 50-57 [doi]
- A Time-Triggered Constraint-Based Calculus for Avionic SystemsSardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji. 58-65 [doi]
- Stack Caching Using Split Data CachesCarsten Nielsen, Martin Schoeberl. 66-73 [doi]
- A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache LockingBekim Cilku, Daniel Prokesch, Peter P. Puschner. 74-79 [doi]
- Design and Evaluation of a Bio-Inspired, Distributed Middleware for a Multiple Mixed-Core System on ChipAndreas Lund, Benjamin Betting, Uwe Brinkschulte. 80-88 [doi]
- A Mobile Agent Migration Mechanism for Information Dissemination Scheme in VANETs Considering Entrance and Exit of Mobile NodesTakeshi Hashimoto, Takuya Tsuji, Junichi Aoki, Tomoyuki Ohta, Yoshiaki Kakuda. 89-94 [doi]
- An Inter-Cluster Communication Scheme for Self-Organized Transmission Power Control in MANET ClusteringKeita Kobayashi, Yoshiaki Kakuda. 95-102 [doi]
- Design Methodology and Run-Time Management for Predictable Many-Core SystemsStefan Wildermann, Andreas Weichslgartner, Jürgen Teich. 103-110 [doi]
- Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems DevelopmentStefan Walter, Achim Rettberg, Marcio Kreutz. 111-115 [doi]