Abstract:
Systems and methods for optical communication that use a transmitter/receiver. The systems and methods include receiving a modulated, encoded input stream. Channel memory is reduced using coarse digital backpropagation and other channel impairments are removed using turbo equalization. Symbols are detected in the input stream that conform to a non-uniform, polar constellation having a Gaussian source distribution to produce a stream of encoded data. The stream of encoded data is decoded with one or more low density parity check (LDPC) decoders.
Abstract:
Systems and methods for massively parallel processing on an accelerator that includes a plurality of processing cores. Each processing core includes multiple processing chains configured to perform parallel computations, each of which includes a plurality of interconnected processing elements. The cores further include multiple of smart memory blocks configured to store and process data, each memory block accepting the output of one of the plurality of processing chains. The cores communicate with at least one off-chip memory bank.
Abstract:
Systems and methods are disclosed for determining personal characteristics from images by generating a baseline gender model and an age estimation model using one or more convolutional neural networks (CNNs); capturing correspondences of faces by face tracking, and applying incremental learning to the CNNs and enforcing correspondence constraint such that CNN outputs are consistent and stable for one person.
Abstract:
Systems and methods to communicate securely includes communicating quantum encryption data on a first wavelength-division multiplexing passive optical network (WDM-PON); and communicating data over separate classical channels of a second WDM-PON, wherein the second WDM-PON synchronizes with the first WDM-PON while providing data communication over the classical channels.
Abstract:
A system for automatically instrumenting and tracing an application program and related software components achieves a correlated tracing of the program execution. It includes tracing of endpoints that are the set of functions in the program execution path that the developers are interested. The tracing endpoints and related events become the total set of functions to be traced in the program (called instrument points). This invention automatically analyzes the program and generates such instrumentation points to enable correlated tracing. The generated set of instrumentation points addresses common questions that developers ask when they use monitoring tools.
Abstract:
Methods and systems for verifying the precision of a program that utilizes floating point operations are disclosed. Interval and affine arithmetic can be employed to build a model of the program including floating point operations and variables that are expressed as reals and integers, thereby permitting accurate determination of precision loss using a model checker. Abstract interpretation can be also employed to simplify the model. In addition, counterexample-guided abstraction refinement can be used to refine the values of parametric error constants introduced in the model.
Abstract:
Methods and systems for transmitting multicast data in a wireless relay network are described. A tradeoff between the benefits of relay cooperation and session multiplexing can be addressed through careful association of relay stations for resource allocation purposes to maximize the total system throughput. In addition, various complex and greedy scheduling procedures that are based on the distributed pet mutation model and the contiguous permutation model are also described.
Abstract:
Systems and methods are for generating a codebook by: generating a multi-resolution codebook by selecting a common precoder index from a low resolution codebook for a group of adjacent resource blocks (RB)s and for each RB within the group, selecting a high-resolution codebook to fine-tune each RB precoder; and generating feedback for the multi-resolution codebook by quantizing channel state variations.
Abstract:
A system and method for discovering a set of possible iteration sequences for a given loop in a software program is described, to transform the loop representation. In a program containing a loop, the loop is partitioned into a plurality of portions based on splitting criteria. Labels are associated with the portions, and an initial loop automaton is constructed that represents the loop iterations as a regular language over the labels corresponding to the portions in the program. Subsequences of the labels are analyzed to determine infeasibility of the subsequences permitted in the automaton. The automaton is refined by removing all infeasible subsequences to discover a set of possible iteration sequences in the loop. The resulting loop automaton is used in a subsequent program verification or analysis technique to find violations of correctness properties in programs.
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.