Logic optimizationLogic optimization is a process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. This process is a part of a logic synthesis applied in digital electronics and integrated circuit design. Generally, the circuit is constrained to a minimum chip area meeting a predefined response delay. The goal of logic optimization of a given circuit is to obtain the smallest logic circuit that evaluates to the same values as the original one.
Collaborative mappingCollaborative mapping, also known as citizen mapping, is the aggregation of Web mapping and user-generated content, from a group of individuals or entities, and can take several distinct forms. With the growth of technology for storing and sharing maps, collaborative maps have become competitors to commercial services, in the case of OpenStreetMap, or components of them, as in Google Map Maker Waze and Yandex Map Editor.
Gestionnaire de fenêtres par pavagethumb|Écran organisé en pavés Un gestionnaire de fenêtres par pavage ou gestionnaire de fenêtres en mosaïque est un gestionnaire de fenêtres organisant les fenêtres comme si l’écran était constitué de pavés. C’est-à-dire que les fenêtres ne se superposent pas mais se juxtaposent. Ratpoison est un gestionnaire de fenêtres par pavage ayant pour but de remplacer la souris par le clavier, i3 est un gestionnaire de fenêtres libre, xmonad est un gestionnaire de fenêtres écrit en Haskell. awesome — un dérivé de dwm écrit en C.
