EN FR
EN FR


2016 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:
  • 1.2.5. - Internet of things
  • 1.3. - Distributed Systems
  • 1.5.2. - Communicating systems
  • 2.1. - Programming Languages
  • 2.1.1. - Semantics of programming languages
  • 2.1.10. - Domain-specific languages
  • 2.2.1. - Static analysis
  • 2.3.3. - Real-time systems
  • 2.5. - Software engineering
  • 2.5.1. - Software Architecture & Design
  • 2.5.2. - Component-based Design
  • 5.1.1. - Engineering of interactive systems
  • 5.1.7. - Multimodal interfaces
  • 5.2. - Data visualization
  • 5.4.4. - 3D and spatio-temporal reconstruction
  • 5.5.1. - Geometrical modeling
  • 5.5.4. - Animation
  • 5.7.2. - Music
  • 5.7.4. - Analysis
  • 5.7.5. - Synthesis
  • 6.1.3. - Discrete Modeling (multi-agent, people centered)
  • 7.4. - Logic in Computer Science
  • 7.5. - Geometry, Topology
  • 7.6. - Computer Algebra
  • 7.14. - Game Theory
Other Research Topics and Application Domains:
  • 6.1.1. - Software engineering
  • 6.4. - Internet of things
  • 6.6. - Embedded systems
  • 9.1.1. - E-learning, MOOC
  • 9.2.1. - Music, sound
  • 9.4.1. - Computer science
  • 9.4.2. - Mathematics
  • 9.5.10. - Digital humanities
  • 9.6. - Reproducibility
  • 9.7. - Knowledge dissemination
  • 9.7.1. - Open access