Project-grand-large:APMC-CA

Team grand-large

Members

Overall Objectives

Grand-Large General Objectives

Scientific Foundations

Large Scale Distributed Systems (LSDS)
Volatility and Reliability Processing
Parallel Programming on Peer-to-Peer Platforms (P5)
Methodology for Large Scale Distributed Systems
High Performance Scientific Computing

Application Domains

Building a Large Scale Distributed System for Computing
Security and Reliability of Network Control Protocols
End-User Tools for Computational Science and Engineering

Software

APMC-CA
XtremWeb
XtremLab
MPICH-V
YML
The Scientific Programming InterNet (SPIN)
V-DS
PVC: Private Virtual Cluster
OpenWP
FAult Injection Language (FAIL)
Parallel solvers for solving linear systems of equations

New Results

Non-self-stabilizing and self-stabilizing gathering in networks of mobile agents–the notion of speed
Making Population Protocols Self-stabilizing
Self-stabilizing distributed control
Extensions of Self-stabilization
Byzantine Resilience in autonomous networks
Self-Stabilizing Control Infrastructure for HPC
Large Scale Peer to Peer Performance Evaluations
High Performance Linear Algebra on the Grid
Emulation of Volatile Systems
Exascale Systems
High performance scientific computing

Other Grants and Activities

Regional, National and International Actions

Dissemination

Services to the Scientific Community

Bibliography

Major publications
Publications of the year
References in notes

Inria / Raweb 2009
Presentation of the Project grand-large

Section: Software

APMC-CA

Participant : Sylvain Peyronnet [ correspondant ] .

APMC-CA (Cell Assisted Approximate Probabilistic Model Checker) is a new version of the APMC model checker specially dedicated for the Cell processor architecture. Using the specific features of a Cell architecture, it achieves better performances than APMC 3.0 (the previous version of the software) running on powerful standard workstations.

Logo Inria