EN FR
EN FR


2015 Team Activity Report
POSET
Modèles pour la Programmation Structurée de l'Espace et du Temps
Inria teams are typically groups of researchers working on the definition of a common project, and objectives, with the goal to arrive at the creation of a project-team. Such project-teams may include other partners (universities or research institutions).
Research centre: Bordeaux - Sud-Ouest


Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real-time Systems
Keywords:
Computer Science and Digital Science:
  • 2.1.10. - Domain-specific languages
  • 2.1.3. - Functional programming
  • 2.3.3. - Real-time systems
  • 2.5. - Software engineering
  • 5.1.1. - Engineering of interactive systems
  • 5.1.5. - Body-based interfaces
  • 5.1.6. - Tangible interfaces
  • 5.1.7. - Multimodal interfaces
  • 5.7.1. - Sound
  • 5.7.2. - Music
  • 5.7.4. - Analysis
  • 5.7.5. - Synthesis
  • 6.1.4. - Multiscale modeling
  • 7.4. - Logic in Computer Science
  • 7.6. - Computer Algebra
  • 8.2. - Machine learning
Other Research Topics and Application Domains:
  • 5.8. - Learning and training
  • 6.6. - Embedded systems
  • 9.1.2. - Serious games
  • 9.2.1. - Music, sound
  • 9.2.4. - Theater
  • 9.4.1. - Computer science
  • 9.4.2. - Mathematics
  • 9.5.10. - Digital humanities
  • 9.7.1. - Open access