Abstract:
Methods and apparatus are disclosed for applying successive multi-rank beamforming strategies (e.g., successive precoding strategies) for the design of precoders over a set of parallel channels. Successive beamforming is applied to a narrow band channel model and is also applied for finer quantization of a single beamforming vector (e.g., recursive beamforming). A first embodiment provides the optimal approach with high complexity. An alternative embodiment provides successive beamforming for near optimal precoding selection with medium complexity. A low complexity method for precoder selection is also provided wherein a channel representative matrix for the set of parallel channels is determined and successive beamforming on the calculated channel representative is applied.
Abstract:
Methods and systems for reusing macro cell resources in femto cell base stations or relay stations in a non-collaborative manner are disclosed. In addition, orthogonal resource allocation between a macro cell base station and femto cell base stations/relay stations may be dynamically adjusted by considering user-population variance. Moreover, an additional level of spatial reuse by femto cell base stations or relay stations can be provided by employing macro cell user location information.
Abstract:
Systems and method for data-aware scheduling of applications on a heterogeneous platform having at least one central processing unit (CPU) and at least one accelerator. Such systems and methods include a function call handling module configured to intercept, analyze, and schedule library calls on a processing element. The function call handling module further includes a function call interception module configured to intercept function calls to predefined libraries, a function call analysis module configured to analyze argument size and location, and a function call redirection module configured to schedule library calls and data transfers. The systems and methods also use a memory unification module, configured to keep data coherent between memories associated with the at least one CPU and the at least one accelerator based on the output of the function call redirection module.
Abstract:
A system and method for generating test vectors includes generating traces of a system model or program stored in memory using a simulation engine. Simulated inputs are globally optimized using a fitness objective computed using a computer processing device. The simulation inputs are adjusted in accordance with feedback from the traces and fitness objective values by computing a distance between the fitness objective value and a reachability objective. Test input vectors are output based upon optimized fitness objective values associated with the simulated inputs to test the system model or program stored in memory.
Abstract:
Methods and systems for digital pathology with low-latency analytics include determining potential regions of interest within an image in accordance with one or more high-priority analyses, dividing the potential regions of interest into a plurality of sub-sections optimized for parallel computation, analyzing the sub-sections using one or more execution nodes, each including one or more processors, using a copy of the image stored in a shared memory according to the one or more high-priority analyses, and storing an intermediate analysis result based on analysis results from the one or more execution nodes in a shared memory.
Abstract:
Methods and systems for interactive image analysis include receiving a selection of a region of an image and a request for analysis of the selection at an interface layer, transferring the selection and the request to an interpretation layer for analysis, dividing the selected region of the image into a plurality of sub-sections optimized for parallel computation to provide an analysis result that minimizes perceptible delay between receiving the request and receipt of results, analyzing the sub-sections using one or more execution nodes using a copy of the image stored in a shared memory, and providing combined analysis results to the interface layer for display.
Abstract:
Methods and systems for optimizing the utilities of receiver devices in a wireless communication network are disclosed. Precoder design formulations that maximize a minimum worst-case rate or a worst-case sum rate are described for both full base station cooperation and limited base station cooperation scenarios. In addition, optimal equalizers are also selected to optimize the worst-case sum rate.
Abstract:
A computer implemented method for the verification of concurrent software programs wherein the concurrent software program is partitioned into subsets named concurrent trace programs (CTPs) and each of the CTPs is evaluated using a satisfiability-based (SAT) symbolic analysis. By applying the SAT analysis to individual CTPs in isolation the symbolic analysis is advantageously more scalable and efficient.
Abstract:
A method system for training an apparatus to recognize a pattern includes providing the apparatus with a host processor executing steps of a machine learning process; providing the apparatus with an accelerator including at least two processors; inputting training pattern data into the host processor; determining coefficient changes in the machine learning process with the host processor using the training pattern data; transferring the training data to the accelerator; determining kernel dot-products with the at least two processors of the accelerator using the training data; and transferring the dot-products back to the host processor.
Abstract:
A method for customizable flow management in a cellular basestation including configuring a framework on a cellular basestation; and executing customized flow management functions through the framework by an external entity.