Normal form (abstract rewriting)In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all. Many properties of rewriting systems relate to normal forms. Stated formally, if (A,→) is an abstract rewriting system, x∈A is in normal form if no y∈A exists such that x→y, i.e. x is an irreducible term. An object a is weakly normalizing if there exists at least one particular sequence of rewrites starting from a that eventually yields a normal form.
JXTAJXTA est un projet Open Source lancé par Sun Microsystems en avril 2001. JXTA vient du mot anglais « Juxtapose ». En effet le but de JXTA est de pouvoir interconnecter n'importe quel système sur n'importe quel réseau. Le peer-to-peer permet d'interconnecter un ordinateur avec un PDA, ou un téléphone portable, etc. et JXTA permet de créer une sorte de réseau au-dessus des autres. En , le projet JXTA, c'était plus de développeurs et plus d'une centaine de projets adoptant cette nouvelle technologie.
Function objectIn computer programming, a function object is a construct allowing an object to be invoked or called as if it were an ordinary function, usually with the same syntax (a function parameter that can also be a function). In some languages, particularly C++, function objects are often called functors (not related to the functional programming concept). A typical use of a function object is in writing callback functions. A callback in procedural languages, such as C, may be performed by using function pointers.
Amoeba (système d'exploitation)Amoeba est un système d'exploitation distribué développé par Andrew Tanenbaum avec d'autres personnes à l'université libre d'Amsterdam. Le projet Amoeba avait pour objectif de mettre en place un système de partage de temps (processeur) faisant en sorte que tout un réseau d'ordinateurs apparaisse à l'utilisateur comme une seule machine. Le développement à l'université libre d'Amsterdam est interrompu : le code source de la dernière version (5.3) a été modifié pour la dernière fois le .
