Inria
/
Raweb 2010
Presentation of the Project sardes
Logo Inria
sardes
System architecture for reflective distributed computing environments
2010 Research Team Activity Report
Grenoble - Rhône-Alpes
Field :
Networks, Systems and Services, Distributed Computing
Theme : Distributed Systems and Services
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Overall objectives
Highlights
Scientific Foundations
Components and semantics
Open programming
Software infrastructure
System management and control
Software
JADE
MELY
AAC_tactics
ATBR
MoKa
ConSer
New Results
Languages and Foundations: Process algebra
Languages and Foundations: Proof tactics
System support: Support for efficient multicore programming
System support: Protocols for resilient systems
System support: End-to-end caching
Control for adaptive systems: Discrete control for adaptive and reconfigurable systems
Control for adaptive systems: Self-tuning for Internet services
Virtual Machine
Contracts and Grants with Industry
Contracts with Industry
Regional Initiatives
National Initiatives
European Initiatives
Dissemination
Animation of the scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes