Abstract:
A system and method for support vector machine plus (SVM+) computations include selecting a set of indexes for a target function to create a quadratic function depending on a number of variables, and reducing the number of variables to two in the quadratic function using linear constraints. An extreme point is computed for the quadratic function in closed form. A two-dimensional set is defined where the indexes determine whether a data point is in the two-dimensional set or not. A determination is made of whether the extreme point belongs to the two-dimensional set. If the extreme point belongs to the two-dimensional set, the extreme point defines a maximum and defines a new set of parameters for a next iteration. Otherwise, the quadratic function is restricted on at least one boundary of the two-dimensional set to create a one-dimensional quadratic function. The steps are repeated until the maximum is determined.
Abstract:
A method and system for improving spatial reuse in a wireless local area network (WLAN) by per-client dynamic power management. Each access point of the WLAN associates each of its clients with a minimum power level. A central controller of the WLAN generates a schedule for transmission at different power levels, and each access point varies its transmission power level based on the schedule. An access point transmits data packets, at the scheduled transmission power level, to clients associated with a minimum power level that is less than the scheduled power level.
Abstract:
Methods and systems for enabling the rectification of deteriorated channel conditions on a communication link are described. In particular, the methods and systems can employ mechanisms that prioritize beams in accordance with signal quality measures, direction of departures of transmission beams and/or direction of arrivals of reception beams to address variable channel conditions.
Abstract:
An optimal resource allocation strategy for OFDMA multi-hop wireless networks is disclosed. The system allocates one or more resources in a multi-hop network by solving one or more higher-layer sub-problem; solving one or more physical layer and media access control (PHY/MAC) layer sub-problems per tone per time slot with one of cooperative relaying of radio signals or spatial reusing of radio spectrum; updating prices; and allocating radio resources based on the PHY/MAC layer sub-problems.
Abstract:
A method and system for determining whether a given electromagnetic frequency is in use. An incoming signal is sampled and a test statistic is calculated based on the magnitude of the received samples and a predetermined constant. A determination is then made regarding whether the frequency is in use, based on whether the test statistic has exceeded a threshold.
Abstract:
System(s), device(s), and method(s) are provided to route data in a mesh network of devices that can communicate wirelessly through a plurality of technologies. One or more of such devices receive broadcast message(s) from a destination device intended to receive the data, and generate a first radio link quality metric (RLQM) value based on the broadcast message(s). A source device originates and delivers a quantum of data with an embedded first RLQM value. A set of intermediate devices relays the quantum of data if a forwarding criterion is fulfilled; the forwarding criterion is based in part on the first RLQM value and a second RLQM value generated by an intermediate device in the set of intermediate devices based on the broadcast message(s). The intermediate device exploits an optical interface to transmit the quantum of data. The destination device broadcasts an acknowledgement signal in response to receiving intended data.
Abstract:
An improved method for automatically improving the precision of an extrapolation operator used, for example, in software program verification in connection with the static analysis and model checking of the software programs which rely on fix-point computation. In particular, a new extrapolation-with-care-set operator, together with a method for gradually increasing the precision of this operation by tightening the care set.
Abstract:
A computer implemented technique framework, prototype tool and associated methods that provide a high degree of visibility and control over the in-field execution of software in a minimally intrusive manner wherein developer-defined correctness tests and validation logic are embedded into the sensor node itself, making in-field software testing autonomous without necessitating continuous developer participation.
Abstract:
Methods and systems for concurrent program verification. A concurrent program is summarized into a symbolic interference skeleton (IS) using data flow analysis. Sequential consistency constraints are enforced on read and write events in the IS. Error conditions are checked together with the IS using a processor.
Abstract:
An apparatus includes an optical train pulse generator for generating continuous optical pulses each having a narrow width; a clock source having a high frequency for triggering the generator and operable as a sampling clock; a digital-to-analog converter DAC for converting an input signal from a digital signal processor, the DAC responsive to the sampling clock; a data modulator responsive to an amplified output from the DAC to modulate the continuous optical pulses from the train pulse generator; and a filter for removing higher frequency harmonics from the modulated continuous optical pulses out of the data modulator.