Gestion de tempsLa gestion de temps ou planification de projet est une des composantes de la gestion de projet (Project Planning en anglais) qui concerne l'utilisation des tables horaires telles que les diagrammes de Gantt pour planifier et mesurer les progrès au sein de l'environnement du projet. . Au départ, la portée du projet est définie et les méthodes appropriées pour sa réalisation sont déterminées. Après cette étape, les durées pour les diverses tâches nécessaires pour achever les travaux sont répertoriées et regroupées dans une structure de répartition du travail.
Système temps réelEn informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Les systèmes informatiques temps réel se différencient des autres systèmes informatiques par la prise en compte de contraintes temporelles dont le respect est aussi important que l'exactitude du résultat, autrement dit le système ne doit pas simplement délivrer des résultats exacts, il doit les délivrer dans des délais imposés.
Reactive planningIn artificial intelligence, reactive planning denotes a group of techniques for action selection by autonomous agents. These techniques differ from classical planning in two aspects. First, they operate in a timely fashion and hence can cope with highly dynamic and unpredictable environments. Second, they compute just one next action in every instant, based on the current context. Reactive planners often (but not always) exploit reactive plans, which are stored structures describing the agent's priorities and behaviour.
Product-form solutionIn probability theory, a product-form solution is a particularly efficient form of solution for determining some metric of a system with distinct sub-components, where the metric for the collection of components can be written as a product of the metric across the different components. Using capital Pi notation a product-form solution has algebraic form where B is some constant. Solutions of this form are of interest as they are computationally inexpensive to evaluate for large values of n.
