Fault Tolerance and Recovery -- An Adaptive Self-tolerant Algorithm for Hardware Immune System -- Consensus-Based Evaluation for Fault Isolation and On-line Evolutionary Regeneration -- Hardware Fault-Tolerance Within the POEtic System -- Evolvable Hardware System at Extreme Low Temperatures -- Platforms for Evolving Digital Systems -- Intrinsic Evolution of Sorting Networks: A Novel Complete H…
Learning to Rank -- Ranking and Scoring Using Empirical Risk Minimization -- Learnability of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds for Online Category Ranking -- Boosting -- Margin-Based Ranking Meets Boosting in the Middle -- Martingale Boosting -- The Value of Agreement, a New Boosting Algorithm -- Unlabeled Data, Multiclass…
Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism Control for Multigrain Parallel Processing -- Compiler Analysis and Supports for Leakage Power Reduction on Microprocessors -- Automatic Detection of Saturation and Clipping Idioms -- Compiler Optimiz…
Experiences in Using Cetus for Source-to-Source Transformations -- The LLVM Compiler Framework and Infrastructure Tutorial -- An Overview of the Open Research Compiler -- Trimaran: An Infrastructure for Research in Instruction-Level Parallelism -- Phase-Based Miss Rate Prediction Across Program Inputs -- Speculative Subword Register Allocation in Embedded Processors -- Empirical Performance-Mod…
Accessible Protein Interaction Data for Network Modeling. Structure of the Information and Available Repositories -- Early Systems Biology and Prebiotic Networks -- Virtualization in Systems Biology: Metamodels and Modeling Languages for Semantic Data Integration -- Genome Size and Numbers of Biological Functions -- Operational Patterns in Beta-Binders -- Discrete Event Multi-level Models for S…
Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High-Performance Microprocessors -- Low Power Robust Computing -- Networks and Games -- Plenary Session - Best Papers -- An Incentive Driven Lookup Protocol for Chord-Based Peer-to-Peer (P2P) Networks -- A No…
Regular Papers -- A Treatise on Rough Sets -- On Optimization of Decision Trees -- Dealing with Missing Data: Algorithms Based on Fuzzy Set and Rough Set Theories -- Characteristic Relations for Incomplete Data: A Generalization of the Indiscernibility Relation -- Supervised Learning in the Gene Ontology Part I: A Rough Set Framework -- Supervised Learning in the Gene Ontology Part II: A Bottom…
Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter -- Relational Growth Grammars – A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structur…
From Swarm Intelligence to Swarm Robotics -- Swarm Robotics: From Sources of Inspiration to Domains of Application -- Communication, Diversity and Learning: Cornerstones of Swarm Behavior -- The SWARM-BOTS Project -- Pheromone Robotics and the Logic of Virtual Pheromones -- Distributed Localization and Mapping with a Robotic Swarm -- The I-SWARM Project: Intelligent Small World Autonomous Robot…
Invited Contributions -- Semantic Subtyping: Challenges, Perspectives, and Open Problems -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions -- Technical Contributions -- Efficient Algorithms for Detecting Regular Point Configurations -- Pickup and Delivery for Moving Objects on Broken Lines -- A Static Analysis of PKI-Based Systems --…