High performance computing platforms such as Clusters, Grid and Desktop Grids are becoming larger and subject to more frequent failures. MPI is one of the most used message passing libraries in HPC applications. These two trends raise the need for fault-tolerant MPI. The MPICH-V project focuses on designing, implementing and comparing several automatic fault-tolerant protocols for MPI applicati...

Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various components of the knowledge base, which need to be carefully coordinated to prevent users from leaving the knowledge-based system in an unusable state. This paper describes an approach to building knowledge acquisition too...

In this paper, we study the problem of designing optimal coordinated maneuvers for multiple aircraft conflict resolution. We propose an energy function to select among all the conflict-free maneuvers the optimal one. The introduced cost function incorporates a priority mechanism that favors those maneuvers where aircraft with lower priority assume more responsibility in resolving the predicted ...

Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modiications may require several individual changes to various components of the knowledge base, which need to be carefully coordinated to prevent users from leaving the knowledge-based system in an unusable state. This paper describes an approach to building knowledge acquisition too...

This report addresses the theoretical basis for building a prototyping environment for electro mechanical systems using concurrent engineering approach In Designing a robot manipulator as an example of electro mechanical systems the interaction be tween several modules S W VLSI CAD CAM Robotics and Control illustrates an interdisciplinary prototyping environment that includes di erent types of ...

This paper presents a feedback control design for a coordinated ramp metering problem. We design an optimal traffic allocation scheme for ramps based on Godunov’s numerical method and using distributed-diffusive model. Most of the previous work for designing feedback control for ramp metering is based on either the discretized linear methods such as ALINEA or nonlinear methods based on the traf...

Allocation and exchange of many discrete resources – such as kidneys or school seats – is conducted via direct mechanisms without monetary transfers. A primary concern in designing such mechanisms is the coordinated strategic behavior of market participants and its impact on resulting allocations. To assess the impact of this implementation constraint, we construct the full class of group domin...

In this study, we physically built hardware modules that allow us to flexibly construct robots with various morphologies. As opposed to the existing studies of modular robotics, where the connection topology among the modules has to be hand-designed, our modules are able to adaptively modify their connection topology. The gradual self-adaptation of the inter-module connection generates a topolo...