Alexander Krupp, and Ola Lundkvist Model Checking of Concurrent Algorithms: From Java to C, p.90 ,
Rammig Efficient Mutation-Analysis Coverage for Constrained Random Verification, p.114 ,
Simulation and Timing Analysis Generating VHDL Source Code from UML Models of Embedded Systems, p.125 ,
ArChitectural Simulation and Synthesis Framework for Embedded Processors, p.137 ,
and Frank Slomka Distributed Architectures and Design Support Dependency-Driven Distribution of Synchronous Programs, p.169 ,
181 Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, and Ina Podolski Table of Contents XV Robust Partitioned Scheduling for Real-Time Multiprocessor Systems, Frédéric Fauberteau, Serge Midonnet, and Laurent George An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems . 205 Claudius Stern Lisa Kleinjohann, and Bernd Kleinjohann Biologically-Inspired Collaborative Computing, p.217, 2010. ,
Mike Hinchey, and Jon Timmis Ants and Adaptive Systems Model Checking the Ant Colony Optimisation, p.221 ,
Flávio Rech Wagner, and Tales Heimfarth Feature Selection for Classification Using an Ant System Approach . . . . . 233 Nadia Abd-Alsabour Novelty-Aware Attack Recognition ? Intrusion Detection with Organic Computing Techniques, p.242 ,
Sick Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms, p.254 ,
Abbass Learning Classifier Systems and Collaborative Systems A Collaborative Decision Support Model for Marine Safety, p.266 ,
Andreas Herkersdorf, and Wolfgang Rosenstiel Collaborating and Learning Predators on a Pursuit Scenario, p.290 ,