Massachusetts Institute of Technology

Carnegie Mellon University

James C Hoe

Arvind Mithal

Srinivasa Narasimhan

Anthony Rowe

Markus Pueschel

Peter A Milder

Robert Tamburo

Marie Nguyen

Provided are systems, methods, and computer program products for generating modified light emissions. The system includes at least one signal receiver arranged on a vehicle, at least one sensor arranged on the vehicle, at least one lighting system arranged on the vehicle, and at least one processor in communication with the at least one signal receiver, the at least one sensor, and the at least one lighting system, the at least one processor configured to: receive a first signal with the at least one signal receiver; receive sensor data from the at least one sensor; determine lighting data based on the first signal; generate a modified light emission by geometrically transforming the lighting pattern based on the sensor data; and control the at least one lighting system to output the modified light emission.

System, method, and computer program product for generating modified light emissions

Computer-implemented systems and methods that provide an efficient technique for performing a large class of permutations on data vectors of length 2, n&#x3e;1, implemented with streaming width 2(where 1&#x2266;k&#x2266;n&#x2212;1). The technique applies to any permutation Q on 2datawords that can be specified as a linear transform, i.e., as an n&#xd7;n bit matrix (a matrix containing only 1s and 0s) P on the bit level. The relationship between Q and P is as follows: If Q maps (dataword) i to (dataword) j, then the bit representation of j is the bit-matrix-vector product of P with the bit representation of i. Given such a permutation specified by the matrix P and given the streaming width (k), an architectural framework (or datapath) is calculated to implement the permutation.

System and method for designing architecture for specified permutation and datapath circuits for permutation

A method for specifying and synthesizing a synchronous digital circuit by first accepting a specification of an asynchronous system in which stored values are updated according to a set of state transition rules. For instance, the state transition rules are specified as a Term Rewriting System (TRS) in which each rule specifies a number of allowable state transitions, and includes a logical precondition on the stored values and a functional specification of the stored values after a state transition in terms of the stored values prior to the state transition. The specification of the asynchronous circuit is converted into a specification of a synchronous circuit in which a number of state transitions can occur during each clock period. The method includes identifying sets of state transitions, for example by identifying sets of TRS rules, that can occur during a single clocking period and forming the specification of the synchronous circuit to allow any of the state transitions in a single set to occur during any particular clocking period.

Synchronous circuit synthesis using an asynchronous specification

A method for specifying and synthesizing a synchronous digital circuit by first accepting a specification of an asynchronous system in which stored values are updated according to a set of state transition rules. For instance, the state transition rules are specified as a Term Rewriting System (TRS) in which each rule specifies a number of allowable state transitions, and includes a logical precondition on the stored values and a functional specification of the stored values after a state transition in terms of the stored values prior to the state transition. The specification of the asynchronous circuit is converted into a specification of an synchronous circuit in which a number of state transitions can occur during each clock period. The method includes identifying sets of state transitions, for example by identifying sets of TRS rules, that can occur during a single clocking period and forming the specification of the synchronous circuit to allow any of the state transitions in a single set to occur during any particular clocking period.

Growing community of inventors

Pittsburgh, PA, United States of America

James C Hoe