Complexité en espaceEn algorithmique, la complexité en espace est une mesure de l'espace utilisé par un algorithme, en fonction de propriétés de ses entrées. L'espace compte le nombre maximum de cases mémoire utilisées simultanément pendant un calcul. Par exemple le nombre de symboles qu'il faut conserver pour pouvoir continuer le calcul. Usuellement l'espace que l'on prend en compte lorsque l'on parle de l'espace nécessaire pour des entrées ayant des propriétés données est l'espace nécessaire le plus grand parmi ces entrées ; on parle de complexité en espace dans le pire cas.
Exécution (informatique)En informatique, l'exécution est le processus par lequel un ordinateur ou une machine virtuelle met en œuvre les instructions d'un programme. Les instructions du programme entraînent des séquences d'actions élémentaires sur la machine d'exécution. Les effets qu'entraînent ces actions sont conformes à la sémantique des instructions du programme. Un programme en cours d'exécution est appelé un processus. L’exécution symbolique permet d'explorer les chemins d'exécution possibles d'un programme informatique à partir des symboles contenus dans son code source.
LPARUn système de partitionnement logique, ou Logical PARtition (LPAR), est un sous-ensemble des ressources matérielles de l'ordinateur (dans le domaine de la virtualisation), apparaissant comme un serveur distinct. En effet, une machine physique peut être partitionnée en plusieurs LPAR, chacune possédant son propre système d'exploitation. Cette technologie fut développée à l'origine par Amdahl, Hitachi Data Systems et IBM pour l'architecture mainframe dans le milieu des années 1980.
SynopsysSynopsys est une entreprise américaine spécialisée dans le développement de logiciels destinés principalement aux fabricants de semi-conducteurs, d'ordinateurs et d'équipements électroniques. On peut les regrouper en différentes catégories : La simulation avec VCS L’émulation avec Zebu-Server La synthèse logique et l'insertion de test avec Design Compiler L'analyse de timing avec PrimeTime La génération de séquences de test scan avec TetraMAX La synthèse physique et le placement routage avec la suite Astro L'analyse statique de code source avec Coverity Prevent.
Horloge logiqueA logical clock is a mechanism for capturing chronological and causal relationships in a distributed system. Often, distributed systems may have no physically synchronous global clock. In many applications (such as distributed GNU make), if two processes never interact, the lack of synchronization is unobservable and in these applications it is enough for the processes to agree on the event ordering (i.e., logical clock) rather than the wall-clock time.
AmigaL’Amiga est une famille d’ordinateurs personnels commercialisée par Commodore International entre et . Dans les années 1990, il est très populaire sur la scène démo, parmi les amateurs de jeux vidéo et dans l'industrie de la vidéo. Dans les années 1980, l'Amiga offrait en standard un affichage plus coloré et plus animé, un meilleur son et un système d'exploitation (multitâche préemptif avec interface graphique) plus avancé que la plupart de ses concurrents.
Empirisme logiqueL'empirisme logique (parfois nommé positivisme logique, néo-positivisme, ou empirisme rationnel) est une école philosophique principalement illustrée par le Cercle de Vienne, fondée par un groupe réunissant des scientifiques et philosophes viennois dans les années 1920. Le Cercle de Vienne était avant tout un lieu de discussion entre scientifiques (Niels Bohr et Einstein y sont occasionnellement intervenus) et philosophes qui ne partageaient pas les mêmes convictions.
Android software developmentAndroid software development is the process by which applications are created for devices running the Android operating system. Google states that "Android apps can be written using Kotlin, Java, and C++ languages" using the Android software development kit (SDK), while using other languages is also possible. All non-Java virtual machine (JVM) languages, such as Go, JavaScript, C, C++ or assembly, need the help of JVM language code, that may be supplied by tools, likely with restricted API support.
Atomisme logiqueL'atomisme logique, hérité par bien des aspects des travaux de Gottlob Frege au cours du , est une doctrine philosophique soutenue par Bertrand Russell et Ludwig Wittgenstein au cours de la première partie du . Fondé sur le rejet du monisme idéaliste de type hégélien et la reconnaissance d'un pluralisme irréductible dans le monde, l'atomisme logique reçoit avec Russell et son élève Wittgenstein deux versions différentes. Le mot d'« atomisme logique » est dû à Russell lui-même, et apparaît pour la première fois dans La philosophie de l'atomisme logique.
