NEC Laboratories America Patent applications |
Patent application number | Title | Published |
20100251222 | COMPLETENESS DETERMINATION IN SMT-BASED BMC FOR SOFTWARE PROGRAMS - A computer implemented method for obtaining a completeness threshold (CT) in Bounded Model Checking systems for software programs. | 09-30-2010 |
20100070955 | ALIAS ANALYSIS FOR CONCURRENT SOFTWARE PROGRAMS - A computer-implemented pointer alias-analysis for concurrent software programs utilizing a divide-and-conquer approach, transaction level summarization and parallelization. | 03-18-2010 |
20090274385 | SUPER RESOLUTION USING GAUSSIAN REGRESSION - A computer implemented technique for producing super resolution images from ordinary images or videos containing a number of images wherein a number of non-smooth low resolution patches comprising an image are found using edge detection methodologies. The low resolution patches are then transformed using selected basis of a Radial Basis Function (RBF) and Gaussian process regression is used to generate high resolution patches using a trained model. The high resolution patches are then combined into a high resolution image or video. | 11-05-2009 |
20090257344 | ALL OPTICAL OFDM WITH INTEGRATED COUPLER BASED IFFT/FFT AND PULSE INTERLEAVING - A method and apparatus for all optical orthogonal frequency division multiplexing (OFDM) employing Inverse Fast Fourier Transform/Fast Fourier Transform by integrated coupler interferometrically. | 10-15-2009 |
20090097852 | 10 Gbps OFDMA-PON - A method for generating transparent pipes for heterogeneous service transmission via OFDMA-PON. In an exemplary embodiment, dedicated sub-channels, which are composed of one or more subcarriers—are used as a “transparent pipe” for delivery of arbitrary analog or digital signals for both circuit switched and packet switched systems. | 04-16-2009 |
20090016739 | PATTERN EFFECT REDUCTION OF OPTICAL SIGNALS - A passive optical equalizer and a predistortion technique are employed to reduce pattern effect in optical signals which result from narrow filtering. | 01-15-2009 |
20080320130 | VISIBILITY AND CONTROL OF WIRELESS SENSOR NETWORKS - 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. | 12-25-2008 |
20080281563 | MODELING AND VERIFICATION OF CONCURRENT SYSTEMS USING SMT-BASED BMC - A computer implemented method for modeling and verifying concurrent systems which uses Satisfiability-Modulo Theory (SMT)-based Bounded Model Checking (BMC) to detect violations of safety properties such as data races. A particularly distinguishing aspect of our inventive method is that we do not introduce wait-cycles in our symbolic models for the individual threads, which are typically required for considering an interleaved execution of the threads. These wait-cycles are detrimental to the performance of BMC. Instead, we first create independent models for the different threads, and add inter-model constraints lazily, incrementally, and on-the-fly during BMC unrolling to capture the sequential consistency and synchronization semantics. We show that our constraints provide a sound and complete modeling with respect to the considered semantics. One benefit of our lazy modeling method is the reduction in the size of the BMC problem instances, thereby, improving the verification performance in both runtime and memory. | 11-13-2008 |
20080260383 | CENTRALIZED RESOURCE MANAGEMENT IN WAVELENGTH SELECTIVE SWITCH BASED WAVELENGTH CROSS CONNECT SYSTEMS - A Centralized Resource Management (CRM) system that supports the sharing of all the transponders in a WXC node, i.e., any spare transponder can be reconfigured to accommodate any drop channel, regardless of wavelength or input port. Consequently, network restoration in case of network failures is supported as well as the ability to reconfigure as a result of dynamic traffic requirements in the network. CRM advantageously is applied to conventional WXC node as well as WSS-based WXC nodes in the WDM networks. Three CTM schemes which manage the transponders in the WSS-based WXC node are described along with reconfiguration algorithms for an optical switchless CRM solution. | 10-23-2008 |
20080211538 | FLEXIBLE WRAPPER ARCHITECTURE FOR TILED NETWORKS ON A CHIP - A wrapper organization and architecture for networks on a chip employing an optimized switch arrangement with virtual output queuing and a backpressure mechanism for congestion control. | 09-04-2008 |