Abstract: The invention relates to an automated method for inserting dummy surfaces (95) into the various layers of the physical design (121) of multilayer integrated circuits organized in interconnected units (2) containing interconnected blocks (30) composed of interconnected cells (3), implemented by an integrated circuit design system (100). The multilayer integrated circuit design (121), stored in the design system (100) is implemented layer by layer, through selective insertion of patterns of dummy surfaces (95), the selective insertion is based on an insertion hierarchy that respects the hierarchy of the physical design (121) of the integrated circuits, by means of individual implementation of the interconnected blocks (30) and first interconnection routing (31) for said interconnected blocks (30) and individual implementation of the interconnected units (2) and second interconnection routing (22) for said interconnected units (2).

Abstract: A method for on demand functional verification of a software model of an application specific integrated circuit (ASIC), in a low-level programming language, which separately handles the creation of the model and the debugging of the functional verification tests to be applied to the model in order to create a verification platform. In a transmission mode, an autonomous circuit emulator is created by replacing the model in a low level programming language physically describing the circuit to be validated with a high level description generating response data in accordance with the functional specification of the design as a function of stimuli received. A verification mode includes integration of the software model in low level language of the circuit resulting from the design into a verification platform, and creation of a connection of a previously validated autonomous circuit emulator to the interfaces of the software model.

Abstract: In order to have operations of a central system executed by a satellite system, a linking structure is located between the central system and the satellite system. The linking structure includes: a communications link between the central system and satellite system; a control card, in the central system, that places said operations in one or more data blocks; and a coupler, in the satellite system, that sends through the link to the control card at least one read command to which the control card responds by sending said data block or blocks through the link to the coupler.

Abstract: A method for creating a global simulation model of an architecture for models of integrated circuits under development, including reading an architecture description file of the global model and storing information related to all of the possible configurations instantiating the components and storing the corresponding information, topologically connecting the interface signals, physically connecting the interface signals, at the level of each instance of the components using a component and connection rule table, and storing the corresponding information, and automatically generating the HDL-type and HLL-type source files of the global simulation model.

Abstract: A method and device for deploying a distributed monitoring of a computer system having a plurality of resources forming at least one monitored domain. The method includes specifying for each indicator to be deployed, the domain or domains of the computer system in which each indicator should be deployed and deploying the specified configuration using a configuration deployment agent that creates, for each resource to be monitored, a configuration agent to handle the creation of the indicators.

Abstract: This invention relates to a process for recognition and referencing of dynamic objects (22) in Internet pages (2) viewed by browsers (30) executed by users' computers (3), characterised in that it consists of a script (20) included in the Internet pages (2) containing dynamic elements (21) to be interpreted by all types of browsers (30) and to implement a step to test the type of browser (30) used to view the Internet page (2), so as to determine whether or not the following steps defined in the script (20) need to be implemented: automated routing (4) of Internet pages (2) and identification of dynamic elements (21); creation (5) of access references (25) to dynamic objects (22) corresponding to identified elements (21); instantiation (6) of dynamic objects (22) referenced within Internet pages (2) viewed by browsers (30).

Abstract: The invention concerns the parameterization of a piece of software comprising parameters to be entered in order for the software to be used. The principle consists of subdividing the set of parameters into subsets, and of simultaneously displaying the subsets (SS1, SS2, SS3), the content of at least one selected subset, and the position within the set of each subset selected.

Abstract: A test monitor for a multiprocessor machine including a plurality of processors each configured to execute a test by interpreting a script language for writing tests, in which one of the processors executes a kernel part comprising instructions for conducting and monitoring the executed tests according to the scripts, and an application program interface provided using a library of functions for interfacing with firmware of the multiprocessor machine. The test monitor includes a method for executing instruction sequences simultaneously in several processors of a multiprocessor machine.

Abstract: The present invention concerns a cryptographic system (1) with a modular architecture. Memory modules (3, 3?, 3?) make it possible to store information concerning authentication keys, data and commands, including a secure memory module (3?) for containing the keys with integrity checking and an emergency erase function. Various types of algorithm modules (5, 5?, 5?) perform cryptographic functions of the cryptographic system by executing the commands stored in at least one memory module (3, 3?, 3?). External interface modules (4, 4?, 4?) are utilized that make it possible to produce the link between the cryptographic system (1) and external devices, through a standard or proprietary input/output bus. A control unit (6) is responsible for the supervision of the various algorithm modules and the management of the keys, and a central interconnect module (2) assures handling of secure exchanges between blocks.

Abstract: A method for internationalizing a markup document includes detecting a localization tag in the document, retrieving localization information from the document which is associated with the localization tag, searching a translation file for a localized value associated with the localization information, and replacing the localization tag in the document with the localized value found in the translation file. The localization information includes any one or more of a localization attribute, a default localization value, and a value corresponding to an automatic transcription function. A system for internationalizing the markup document includes a first storage unit which stores the markup document, a second storage unit which stores the translation file, and a localization tool which localizes the markup document stored in the first storage unit based on information in the translation file stored in the second storage unit.

Abstract: A module for secure management of digital data by encryption/decryption and/or signature/verification of signature which can be used for dedicated servers. The module is controlled by a microprocessor (?P1). A working memory (RAM) is associated with the microprocessor and is provided with a common interfacing module. Parallel-connected to this common interfacing module and forming the internal circuits of said module are a plurality of circuits for secure management of data received from or respectively transmitted to the common interfacing module. Each secure management circuit forming an automatic secure management device is equipped with a secure management input/output sub-module connected to the common interfacing module and a specific sub-module for encryption/decryption or respectively for calculation/verification of signature.

Abstract: An object class and/or an object having a given name (class1) is derived by making a copy, preferably through serialization, of the entire tree (27a) of the class or the object, by storing the copy of the tree on a disk D and by assigning a name (classD2) to the stored copy.

Abstract: The present invention concerns a method for exchanging information between processes, tasks or computer applications executed by different operating systems coexisting on the same computer or the same hardware platform. This method allows communication between at least two client processes executed at the same time in a hardware platform (10) comprising one or more processors and storage means, at least part of which constitutes an addressable memory area that can be used as a working memory. These client processes are executed in two different operating systems (respectively) that are not directly compatible with one another. The method is characterized in that these the client processes write or read or modify information called exchange data in at least one common part, of the addressable memory of the hardware platform. The common part comprises an exchange memory.

Abstract: A method for providing secure communication between first and second systems connected to the internet includes assigning respective permanent internet addresses to first and second entities associated with the systems, making at least one application located in a server of said second system accessible to the first entity, and encrypting data exchanged between the first and second entities in conformity with a desired security protocol. The first and second systems each include a communication protocol stack having at least one layer which allows for the encrypting step to be performed. Through this method, a user in the first system can directly address an application hosted by the second system without using or even knowing the name of the host system. The entity in the first system may be a wireless unit operating, for example, in GSM and the entity in the second system may be a server in an intranet.

Abstract: A process for creating and managing pairs of asymmetrical cryptographic keys and/or certificates associated with the pairs of keys, each pair of keys and associated certificates being intended for an object managed by a computer system. The process includes creating an individual request for creating and/or certifying at least one pair of keys for an object of the system that lacks a pair of keys or a certificate for its pair of keys.

Abstract: An object class (Class1) in a computer system is dynamically created by creating a global generic class (GenericClass) having two possible members, wherein at least one member is an instance of a generic class (GenericAttribute, GenericMethod), and by instantiating the global generic class.

Abstract: The method is used to control a function executable by various software products by means of commands specific to the respective software products and each capable of having at least one option, the software products being installed in at least one machine of a computer system. The method includes defining in an abstract class an abstract method for the function, of defining a common command that includes arbitrary symbols corresponding to the parameters of the abstract method, of creating at least one driver for implementing the abstract method in a machine, and having the driver execute one of the specific commands with options equivalent to the options of the common command.

Abstract: The invention relates to a search engine (2) implemented by a decision application server (1) acting on a relational database (6) that contains a set of target records. The engine (2) is activated by queries for selecting records based on given criteria and comprises means (8) for preconditioning the database (6) supplying a preconditioned encoded table (10), periodically updated at the same time as the relational database (6) itself, to a machine with vectorial capabilities (9) in order for it to be processed. It also comprises means (7) for extracting target records, activated by the queries based on the result of the processing of the table (10) installed in the machine with vectorial capabilities (9), from the relational database (6). It particularly applies to data warehousing systems.

Abstract: In order to test whether a given signal of a complex circuit has the correct behavior, a method is provided which makes it possible to obtain in a computer memory a profile of states of other signals. In order to minimize the processing time and the memory space required to obtain this profile, the method uses two binary decision diagrams starting with a binary variable of said one signal, each with two binary decision subdiagrams. The method combines the binary decision subdiagrams so that the given signal is in a first state when the binary variable is at a first value and is not in this first logical state when the binary variable is at a second value.

Abstract: The present invention relates to a process and a device for handling the execution of a job in an open data processing system as a function of the resources. The process comprises the steps of: determining system resources available in virtual memory, real memory, temporary file space, and central processing unit utilization time during a given interval; computing the amount of resources preallocated to other requests and not yet used; comparing the amount of resources required for the execution of a job for which the request has been presented to the current amount of resources available minus the total amount of resources preallocated to other requests, in order to determine as a function of the result of this comparison the start, the deference or the denial of the start of the job requested The present invention relates to a process and a device for handling the execution of a job in an open data processing system as a function of the resources.