Abstract: We describe techniques which relate to bi-directional, in particular backwards, debugging of computer programs. Thus we describe identifying processes with shared memory access, such as threads or multicore processes, by arranging process (thread) memory ownership to deliberate provoke memory page faults to identify and handle concurrent memory access by multiple threads in such a manner as to enable deterministic replay, and hence backwards debugging.

Abstract: The present invention relates to debugging of computer programs, and in particular to bi-directional debugging.

Abstract: A method of performing a cryptographic process on data, the cryptographic process treating a quantity of the data as an element of a Galois field GF(?k), where k=rs, the method comprising: isomorphically mapping the element of the Galois field GF(?k) to an s-tuple of elements of a Galois field GF(??); and representing and processing each of the elements of the s-tuple of elements of the Galois field GF(??) in the form of one or more respective n-of-m codewords, where an n-of-m codeword comprises n 1-bits and m-n 0-bits, where m and n are predetermined positive integers and n is less than m.

Abstract: The present invention relates to debugging of computer programs, and in particular to bi-directional debugging.

Abstract: A virtual address is configured. A destination address and a capability information associated with each destination entity of a set of destination entities associated with a destination party are configured. Each destination entity from the set of destination entities is a push-capable, text-message-capable entity. Each destination entity from the set of destination entities is associated with a virtual address. The virtual address defines a destination remote from the destination party and remote from premises associated with the destination party.

Abstract: A virtual address is configured. A destination address and a capability information associated with each destination entity of a set of destination entities associated with a destination party are configured. Each destination entity from the set of destination entities is a push-capable, text-message-capable entity. Each destination entity from the set of destination entities is associated with a virtual address. The virtual address defines a destination remote from the destination party and remote from premises associated with the destination party.

Abstract: A method and computer program product for providing mobile content to a user of a mobile device. The mobile content is offered by a mobile content provider. Further, a launcher is provided and is installed on the mobile device. The launcher dynamically provides identity information associated with the user, context information about the user, and a dynamically-defined link to a Wireless Application Protocol (WAP) site of the mobile content provider. Subsequently, the WAP site is displayed when the launcher is activated on the mobile device. The WAP site provides the mobile content offered by the mobile content provider. The display of the WAP site is personalized on the basis of the context information. Thereafter, the purchased mobile content is downloaded by the user of the mobile device.