Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Kruus
Eric J. Kruus, Hillsborough, NJ US
| Patent application number | Description | Published |
|---|---|---|
| 20100235817 | FAST AND ACCURATE DATA RACE DETECTION FOR CONCURRENT PROGRAMS WITH ASYNCHRONOUS CALLS - A system and method for analyzing a concurrent program employ asynchronous function calls for communication and recursion. A control flow graph is constructed based on a context-sensitive pointer analysis, whereupon encountering a function pointer, a points-to set of the function pointer is computed in a context-sensitive fashion to determine a set of potential function calls. The context-sensitive pointer analysis is terminated when no new potential function calls are encountered and where the potential function calls may contribute new data races other than those that exist in the contexts traversed thus far. To decide this, a characterization of pointer aliasing based upon complete update sequences is employed. A set of contexts that may contribute to different data races are enumerated by tracking update sequences for function and lock pointers and pointers that are shared or point to shared memory locations. Data race detection is carried out on the control flow graph. | 09-16-2010 |
Erik Kruus, Hillsborough, NJ US
| Patent application number | Description | Published |
|---|---|---|
| 20100082636 | Methods and Apparatus for Content-Defined Node Splitting - A region of a node is searched to find a content-defined split point. A split point of a node is determined based at least in part on hashes of entries in the node and the node is split based on the determined split point. The search region is searched for the first encountered split point and the node is split based on that split point. That split point is based on a predetermined bitmask of the hashes of the entries in the node satisfying a predetermined condition. | 04-01-2010 |
Kristiina Kruus, Espoo FI
| Patent application number | Description | Published |
|---|---|---|
| 20080248016 | Novel Iaccase Enzymes and Their Uses - The present invention relates to novel laccase enzymes obtainable from the strains of the genus | 10-09-2008 |
| 20090053364 | LOW-INGREDIENT MEAT PRODUCTS AND METHOD FOR THEIR PREPARATION - Low-ingredient meat products, which contain a reduced amount of salt, phosphate and/or meat, generally have poor texture and water-binding properties. The texture and water binding of such a product may be significantly improved with tyrosinase, which is a protein cross-linking enzyme. The invention is directed to a method of preparing a low-ingredient meat product by adding tyrosinase, and to a low-ingredient meat product modified by tyrosinase. | 02-26-2009 |
| 20090203882 | NOVEL MICROBIAL ENZYMES AND THEIR USE - Extracellular tyrosinases obtainable from | 08-13-2009 |
Peter S. Kruus, Clarksville, MD US
| Patent application number | Description | Published |
|---|---|---|
| 20110213953 | System and Method for Measuring Staleness of Attestation Measurements - A method is provided for determining with a first device, staleness of attestation measurements at a second device. The method includes booting up the second device at a first time, the second device having a communication portion, a security portion, a basic input/output system and a trusted protection module. Further, the method includes generating an initial counter based on the booting up of the second device at the first time. A current counter is then generated based on a second time after the first time. The method additionally includes providing a request to the second device from the first device, the request requesting booting information and current information, the booting information being based on the initial counter, the current information being based on the current counter. Still further, the method includes providing a response to the first device from the second device, the response including the booting information and the current information. Finally, the method includes determining, via the first device, the generated initial counter and the current counter based on the response. | 09-01-2011 |
Peter Steven Kruus, Clarksville, MD US
| Patent application number | Description | Published |
|---|---|---|
| 20090287881 | Environmentally protected data storage container - The Environmentally Protected Data Storage Container is a system comprising an environmentally protected box approximating the size of a shoebox of sufficient structural rigidity to withstand an underground environment. Within the box, a data storage interface with a connection to outside the box exists. The data storage interface provides an attachment point to a data storage device. The data storage device is protected from data loss due to destructive environmental forces. Furthermore, the system may contain specific thermal management, power management, and sensor devices. | 11-19-2009 |