Abstract: In conventional memory arrays in which a bit line is shared by memory cells, a cell current flows over into neighbor cell(s) in a program verify process, and therefore, the threshold of a memory cell to be programmed is erroneously determined to be lower. Therefore, in a program verify process, a control circuit 3 writes a fail value to a neighbor cell buffer 5 when all neighbor cell(s) having an offset of n or less from a memory cell to be programmed are in the erased state, and when otherwise, writes a pass value to the neighbor cell buffer 5. The control circuit 3 verifies input write data and also verifies data stored in the neighbor cell buffer(s). In the latter verify process, a verify voltage higher than an ordinary one is used to compensate for the leakage of cell current.

Abstract: An invention is provided for a remote execution system. The remote execution system includes a first application, such as a server application, having a first plurality of virtual service modules, each capable of providing a particular functionality. In addition, a second application, such as a client application, is included that has a second plurality of virtual service modules substantially equivalent to the first plurality of virtual service modules. Each of these virtual service modules is in communication with a substantially equivalent virtual service module of the first plurality of service modules to form a virtual service module set. In this manner, each virtual service module set is capable of interacting with an application as a single software object that is local to the application.

Abstract: An invention is provided for a remote execution system. The remote execution system includes a first application, such as a server application, having a first plurality of virtual service modules, each capable of providing a particular functionality. In addition, a second application, such as a client application, is included that has a second plurality of virtual service modules substantially equivalent to the first plurality of virtual service modules. Each of these virtual service modules is in communication with a substantially equivalent virtual service module of the first plurality of service modules to form a virtual service module set. In this manner, each virtual service module set is capable of interacting with an application as a single software object that is local to the application.