Abstract: A re-fetching cache memory improves efficiency of a processor, for example by reducing power consumption and/or by advantageously sharing the cache memory. When the cache memory is disabled or temporarily used for another purpose, a data portion of the cache memory is flushed, and some or all of a tag portion is saved in an archive. In some embodiments, the tag portion operates “in-place” as the archive, and in further embodiments, is placed in a reduced-power mode. When the cache memory is re-enabled or when the temporary use completes, optionally and/or selectively, the tag portion is repopulated from some or all of the archive, and the data portion is re-fetched according to the repopulated tag portion. The re-fetching is optionally performed in a cache coherent fashion. According to various embodiments, processor access to the cache is enabled during one or more of: the saving; the repopulating; and the re-fetching.

Abstract: One embodiment of the present invention provides a system that manages secret keys for messages. During operation, the system receives a desired expiration time T from an encrypter, and possibly a nonce N, at a server that manages keys. If N is not sent by the encrypter, it is generated by a key managing server. Next, the system chooses a secret ST, with an expiration time close to T, and an identifier IDS from a database for which secret ST can be retrieved using the identifier IDS. If such an ST is not already in the database, the server generates a new ST and IDS. The system then calculates a hash H=h(N,ST), and sends H and IDS from the server to the encrypter. The encrypter then encrypts M with H to form {M}H, and communicates ({M}H, N, IDS) to a message reader. The message reader then sends N and IDS to the server. The server then uses IDS to lookup ST, recalculates H=h(N,ST), and sends H to the message reader, thereby enabling the message reader to decrypt {M}H to obtain M.

Abstract: A cooling device includes a base having cells. A pipe is coupled to the base for each of the cells. The pipes include passages that carry fluid toward the cell and away from the cell. A magnetohydrodynamic pump system coupled to the pipe circulates an electrically conductive cooling fluid within the passages and the cell. An orifice may emits jets of fluid into the cells. A controller coupled to the cooling device may independently control flow rates in two or more cells of the cooling device. The controller may receive information from the temperature sensors on the base of the cooling device for use in controlling the flow rates in the cells.

Abstract: A mechanism is disclosed for providing Scalable Vector Graphics (SVG) images, Tree and Tab as drag and drop objects. A page design tool receives an indication that a user wishes to place a metadata-defined image onto a page design canvas. The page design tool further receives an association of metadata defining the image, and in response, parses through the metadata to identify properties and characteristics of the metadata-defined image to expose to a user through a graphical user-interface of the page design tool. The page design tool enables a user to assign conditions to the exposed properties and characteristics of the image, as well as map available data sources to the properties and characteristics in order to dynamically control image properties during display. Hence, the page design tool presents graphical user interface tools for simply incorporating otherwise complex objects into page designs.

Abstract: A code, which may be a post-link binary or a pre-link object file, can be transformed to optimize code fragments that implement loading a constant from memory. A constant loading code fragment includes address computing operations that compute (or copy) an address representation of a constant for consumption by a memory access operation, and the memory access operation that loads the constant. Information from control flow analysis, data flow analysis, and binary structure/configuration analysis are examined to identify code fragments of a code that implement constant loading. A tool transforms the code to convert the identified code fragments. To optimize, the tool may convert operations, eliminate operations, convert indirect calls to direct calls, inline functions called indirectly, eliminate unused constant data, modify relocations, etc. This optimization can also be applied recursively.

Abstract: A technique in accordance with one embodiment of the invention automatically generates class interfaces for regular expressions based on graphs that correspond to the regular expressions. According to one embodiment of the invention, a graph is automatically generated based on a regular expression. Strongly connected components within the graph are automatically identified. For each strongly connected component within the graph, a separate method is generated within a class interface for the regular expression. In one embodiment of the invention, if a strongly connected component contains a cycle, then the method corresponding to that strongly connected component is generated to return a List of “T,” where “T” is a type that is as specific as the contents of the strongly typed component permit.

Abstract: Static random access memory (SRAM) cells and methods of operation are provided which may be used to provide improved writeability and stability to support low voltage operation of memory devices. For example, in one implementation, by temporarily interrupting the connection between portions of an SRAM cell and a power source such as a reference voltage or current source, the writeability of SRAM cells can be improved. Additional read port implementations are also provided to facilitate low voltage operation. In another implementation, a power switch circuit responsive to a word line and logic signals may be used to provide such interruptions.

Abstract: A method for writing data to a storage pool, involving receiving a first write operation to write a first block to the storage pool, determining a first replication type for the first block using a first replication policy associated with the first block, determining a first number of physical blocks required to write the first block to the storage pool using a size of the first block and the first replication type, and writing the first block, in accordance with the first replication policy, to the storage pool by filling in the first number of physical blocks.

Abstract: Role is a comprehensive grouping mechanism. In a client-server directory system, roles transfer some of the complexity to the directory server. A role is defined by its role definition entry. Any client with appropriate access privileges can discover, identify and examine any role definition. A “managed” role is one that can be configured to provide search results similar to those available with a static grouping mechanism, i.e., to create a group entry that contains a list of members. Managed roles allow a user to create an explicit enumerated list of members. A managed role is a label stored with a directory entry.

Abstract: A system that detects multiple anomalies in a cluster of components is presented. During operation, the system monitors derivatives obtained from one or more inferential variables which are received from sensors in the cluster of components. The system then determines whether one or more components within the cluster have experienced an anomalous event based on the monitored derivatives. If so, the system performs one or more remedial actions.

Abstract: The design of nonblocking linked data structures using single-location synchronization primitives such as compare-and-swap (CAS) is a complex affair that often requires severe restrictions on the way pointers are used. One way to address this problem is to provide stronger synchronization operations, for example, ones that atomically modify one memory location while simultaneously verifying the contents of others. We provide a simple and highly efficient nonblocking implementation of such an operation: an atomic k-word-compare single-swap operation (KCSS). Our implementation is obstruction-free. As a result, it is highly efficient in the uncontended case and relies on contention management mechanisms in the contended cases. It allows linked data structure manipulation without the complexity and restrictions of other solutions.

Abstract: A method of determining a reason for a trace to be aborted includes receiving at least two incoming indications of occurrences of abort triggers stemming from the execution of at least two of the operations that are different from each other, where each of the abort triggers has an associated abort priority level, and where the trace represents multiple instructions. The method further includes prioritizing among the abort triggers for the trace based on the abort priority level of each abort trigger, where the prioritizing does not take into account a correspondence between operations and instructions and where the prioritizing selects as a pending abort reason one or more of the abort triggers that have the same abort priority level, and where that abort priority level is the highest among the abort priority levels of the abort triggers for the trace.

Abstract: A system that facilitates estimating power consumption in a computer system by inferring the power consumption from instrumentation signals. During operation, the system monitors instrumentation signals within the computer system, wherein the instrumentation signals do not include corresponding current and voltage signals that can be used to directly compute power consumption. The system then estimates the power consumption for the computer system by inferring the power consumption from the instrumentation signals and from an inferential power model generated during a training phase.

Abstract: A system that controls the temperature of a power supply in a computer system is presented. A state of the computer system is monitored. Next a signal is generated in response to the state of the computer system. The signal is then used to control the temperature of the power supply. Controlling the temperature of the power supply can involve heating the power supply.

Abstract: An apparatus for constructing, repairing and operating modular electronic systems utilizes peripheral half-capacitors (i.e., conductive plates on the outside of the modules) to communicate non-conductively between abutting modules. Such systems provide lower cost, improved testability/reparability and greater density than conventional modular packaging techniques, such as printed circuit boards and multi-chip modules. The non-conductive interconnection technique of the invention can be applied to all levels in the packaging hierarchy, from bare semiconductor dies to complete functional sub-units. Numerous exemplary systems and applications are described.

Abstract: Novel techniques for implementing applications, such as event processors (“EPs”), designed in CQL are provided. Event processors, created as a network of CQL operators, can be implemented in SQL. Implementing an event processor in SQL allows the leveraging of significant industry knowledge and experience in research and development of SQL engines. A user can interact with an EP-generator application to design an event processor in CQL. The EP-generator application can implement the event processor by translating the CQL into SQL statements. Event-processing systems can execute the SQL implementation of the event processor in a first computing environment, such as an SQL database. In this manner, systems described herein can execute event processors defined as a network of CQL operators with high performance and scalability.

Abstract: An elastic power header device and methods of operation are provided to improve the read margin of static random access memory (SRAM) cells by increasing read stability, reducing read disturbance and improving the Signal to Noise Margin (SNM) figure of merit. For example, various implementations of an elastic power header device are utilized as programmable resistances to permit the power supply lines to reach a maximum voltage. Allowing the power supply lines to reach the reference voltage allows more flexibility in read margin and read stability. Furthermore, this additional flexibility can be controlled by means for adjusting a voltage. This adjustment voltage can fine-tune the programmable resistances so that the read margin can be more conveniently controlled.

Abstract: A method for garbage collection involves allocating multiple objects in a young generation, where the objects are specific to a task, and where the young generation is specific to the task, performing a minor garbage collection, where an object of the multiple objects is promoted to a promotion area in a shared older generation, and where the promotion area is specific to the task, and freeing the promotion area when the task terminates to obtain a free promotion area without performing a major garbage collection.

Abstract: A knowledge generation machine (KGM) that performs cross-channel dependency resolution is provided. The conventional dependency resolution process often treats irresolvable cross-channel references as an error state, thus ignoring sometimes critical software dependency information. By performing post-processing cross-channel resolution on the dependency model, the KGM can create a robust dependency model that includes dependencies for a software component in multiple segments of information. The dependency model is not restricted to modeling a single segmented space.

Abstract: Some embodiments of the present invention provide a system that characterizes a computer system parameter by analyzing a target electromagnetic signal radiating from the computer system. First, the target electromagnetic signal is monitored using a first antenna and a second antenna, wherein an axis of the second antenna is oriented non-parallel to an axis of the first antenna. Then, the target electromagnetic signal received from the first antenna and the target electromagnetic signal received from the second antenna are separately analyzed to characterize the computer system parameter.