Quotables
"The production of too many useful things results in too many useless people."
Karl Marx
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 8082450 | Method for creating a secure counter on an on-board computer system comprising a chip card According to the inventive method, the chip card, a counting function (FC), a counter (Cpt) and a private key (Cf) stored in the write-only part of the memory region are stored in a persistent memory, the counter and the private key (Cf) being accessible only by the... | 12/20/2011 |
| 7882396 | Method for controlling program execution integrity by verifying execution trace prints The inventive method for controlling a program execution integrity by verifying execution trace prints consists in updating the representative print of an execution path and/or data applied for a program execution, comparing the actual print value (dynamically calcu... | 02/01/2011 |
| 7865724 | Telecommunication terminal comprising two execution spaces The invention relates to a user interface-equipped computing device comprising means for implementing a series of applications, said means including two execution spaces. According to the invention, the applications of the second execution space (100, P1, ... | 01/04/2011 |
| 7827534 | Method for determining operational characteristics of a program The inventive method for determining operational characteristics of a program includes a verification procedure involving the following stages: the first stage for expressing the operational characteristics of the program in the form of functions related to events p... | 11/02/2010 |
| 7565646 | Method for compression of object code interpreted by tree-structured expression factorization A method for compressing an interpreted object code in a system using an interpreter, by identifying, in the interpreted object-coded program, similar non-contiguous groups of instructions, of arbitrarily complex structure, by replacing all or part of said groups in... | 07/21/2009 |
| 7467376 | Semantic analysis based compression of interpreted code by replacing object instruction groups with special instruction specifying a register representing the object The invention concerns a method for compressing program code for execution in a system with few physical resources. This method comprises a semantic analysis of the code as to identify the objects accessed at each program point and to replace in this program groups ... | 12/16/2008 |
