摘要:
A methodology and algorithm for managing resources from classes within a pool of resources to determine whether and what resources may be allocated upon a request for resources.
摘要:
A system for automated and optimized file transfers among devices in a network comprises a client configured to request a file transfer, a server configured to transfer the requested file to the client, and a scheduling module configured to schedule delivery of the file to the client. The scheduling module preferably schedules the delivery of the file to be completed by a deadline. In an alternate embodiment, the file is transferred to a device in the network that did not send the request. The file transfer may be requested by a user at the client or may be requested by a pre-fetch module of the client.
摘要:
An automated processor design tool uses a description of customized processor instruction set extensions in a standardized language to develop a configurable definition of a target instruction set, a Hardware Description Language description of circuitry necessary to implement the instruction set, and development tools such as a compiler, assembler, debugger and simulator which can be used to develop applications for the processor and to verify it. Implementation of the processor circuitry can be optimized for various criteria such as area, power consumption, speed and the like. Once a processor configuration is developed, it can be tested and inputs to the system modified to iteratively optimize the processor implementation. By providing a constrained domain of extensions and optimizations, the process can be automated to a high degree, thereby facilitating fast and reliable development.
摘要:
A system for generating processor hardware supports a language for significant extensions to the processor instruction set, where the designer specifies only the semantics of the new instructions and the system generates other logic. The extension language provides for the addition of processor state, including register files, and instructions that operate on that state. The language also provides for new data types to be added to the compiler to represent the state added. It allows separate specification of reference semantics and instruction implementation, and uses this to automate design verification. In addition, the system generates formatted instruction set documentation from the language specification.