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 |
20120239372 | EFFICIENT DISCRETE EVENT SIMULATION USING PRIORITY QUEUE TAGGING - A method is provided for sequential discrete event simulation for a distributed system having a set of nodes. A priority queue is constructed that includes events to be executed by a processor at a given node in the set. A first subset of nodes is identified. Each node in the first subset is associated with a respective subset of events and includes a highest priority event whose priority must be unconditionally re-evaluated during a next time step. A second subset of nodes is identified. Each node in the second subset is associated with a respective other subset of events and includes a highest priority event whose priority must be re-evaluated when a re-evaluation condition depending upon an external state is satisfied. A next one of the plurality of events in the priority queue is selected to be executed by the processor using the first and second subsets of nodes. | 09-20-2012 |
20130232310 | ENERGY EFFICIENCY IN A DISTRIBUTED STORAGE SYSTEM - A system for providing block layout in a distributed storage system. A request receiver receives requests to perform a read or write operation for a data block. A memory device stores ordered replica lists and a swap policy. Each list is for a respective stored data block and has one or more entries specifying prioritized replica location information associated with storage devices and priorities there for. A load balancer scores and selects an original location for the data block specified in a request responsive to the information and a policy favoring fully operational storage devices having higher priority locations. The swap policy evaluates the original location responsive to the information and estimated workload at storage device locations to decide upon at least one alternate location responsive to the write operation, and to decide to place the data block at the at least one alternate location responsive to the read operation. | 09-05-2013 |
20140310476 | BUCKETIZED MULTI-INDEX LOW-MEMORY DATA STRUCTURES - Systems and methods for generating and storing a data structure for maintaining cache supporting compression and cache-wide deduplication, including generating data structures with fixed size memory regions configured to hold multiple signatures as keys, wherein the number of the fixed size memory regions is bounded. A first mapping is generated from short-length signatures to a storage location and a quantized length measure on a cache storage device; and unused contiguous regions on the cache device are allocated. Metadata and cache page content is retrieved using a single input/output operation; a correctness of a full value of hash functions of uncompressed cache page content is validated; a second mapping is generated from short-length signatures to entries in the first mapping; and verification of whether the cached page content corresponds to a full-length original logical block address using the metadata is performed. | 10-16-2014 |
20150088945 | ADAPTIVE COMPRESSION SUPPORTING OUTPUT SIZE THRESHOLDS - Methods and systems for adaptive compression include compressing input data according to a first compression ratio; pausing compression after a predetermined amount of input data is compressed; estimating which of a set of ranges a compressed output size will fall within using current settings; and performing compression on a remainder of the input data according to a second compression ratio based on the estimated range. | 03-26-2015 |
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 |