Project
Team
Sardes
Overall Objectives
Scientific Foundations
New Results
- Languages and Foundations: Process algebra
- Languages and Foundations: Proof tactics
- Control for adaptive systems: Discrete control for adaptive and reconfigurable systems
- System configuration and deployment
- System support: System support for multicore machines
- System support: Protocols for resilient systems
- System support: End-to-end caching
- System support: Performance and dependability benchmaking
- System support: Self-adaptive Internet services
- Self-Configuration of distributed system in the Cloud
- Virtual Machine
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project
Team
Sardes
Overall Objectives
Scientific Foundations
New Results
- Languages and Foundations: Process algebra
- Languages and Foundations: Proof tactics
- Control for adaptive systems: Discrete control for adaptive and reconfigurable systems
- System configuration and deployment
- System support: System support for multicore machines
- System support: Protocols for resilient systems
- System support: End-to-end caching
- System support: Performance and dependability benchmaking
- System support: Self-adaptive Internet services
- Self-Configuration of distributed system in the Cloud
- Virtual Machine
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Previous | 
Home