Patent application number | Description | Published |
20080218227 | SEMICONDUCTOR MEMORY APPARATUS - In order to provide a semiconductor memory apparatus which can adjust the locked loop circuit such as a DLL in detail after producing the semiconductor memory apparatus, and moreover, which can adjust the locked loop circuit by using a measuring apparatus which has a low testing frequency, an exclusive-OR circuit generates an adjusting clock signal TCLK obtained by multiplying a frequency of a pair of test clock signals which respectively have a phase difference. A DLL circuit inputs the adjusting clock signal TCLK in place to an external clock signal CLK. The counter circuit counts the control clock signal CCLK outputted from the DLL circuit for a predetermined time. A comparator compares a counted value to an expected value and outputs a comparison result. A phase adjusting circuit outputs an adjusting signal to a delay circuit inside the DLL circuit based on the comparison result outputted from the comparator, and adjusts a phase of the control clock signal CCLK outputted from the DLL circuit. | 09-11-2008 |
20100199264 | PATTERN INSPECTION SYSTEM, PATTERN INSPECTION DEVICE, METHOD AND PATTERN INSPECTION PROGRAM - With a program described in an object-oriented language as a target, it is inspected by program analysis whether a pattern of a method call issued to a specific object generated at the time of execution conforms to a given rule of pattern definition or not. | 08-05-2010 |
20100328202 | INFORMATION DISPLAY DEVICE, INFORMATION DISPLAY METHOD, AND PROGRAM - An information display device, an information display method, and a program displays, when displaying definition information of an instance method selected by a user, definition information that corresponds to contents of processing of the instance method during runtime. The information display device displays definition information of an instance method selected by a user; wherein the instance method is included in a type that can be referenced during runtime by a variable that references a receiver object of the instance method. | 12-30-2010 |
20120084761 | Interprocedural Exception Method - An interprocedural exception analysis and transformation framework for computer programming languages such as C++ that (1) captures the control-flow induced by exceptions precisely, and (2) transforms the given computer program into an exception-free program that is amenable for precise static analysis, verification, and optimizations. | 04-05-2012 |
20120151449 | Scope Bounding with Automated Specification Inference for Scalable Software Model Checking - A scalable, computer implemented method for finding subtle flaws in software programs. The method advantageously employs 1) scope bounding which limits the size of a generated model by excluding deeply-nested function calls, where the scope bounding vector is chosen non-monotonically, and 2) automatic specification inference which generates constraints for functions through the effect of a light-weight and scalable global analysis. Advantageously, scalable software model checking is achieved while at the same time finding more bugs. | 06-14-2012 |
20120233584 | Analysis of Interactions of C and C++ Strings - A computer implemented method for analyzing a computer software program comprising both C++ and C string components, wherein the method includes building a memory model abstraction of any memory used by the program strings. Various memory models are presented that find invalid memory accesses in terms of validity of memory regions and buffer overflows. The model supports analyzing the interaction of C and C++ components—in particular, it focuses on the interaction of C and C++ strings. The conversion of C++ strings to C strings is accomplished through a non-transferable ownership attribute that is to be respected by the C strings. The models can then be analyzed using static analysis techniques such as abstract interpretation and model checking, or through dynamic analysis. In so doing we allow discovery of potential memory safety violations in programs involving conversions between C and C++ strings. | 09-13-2012 |
20120246626 | DONUT DOMAINS - EFFICIENT NON-CONVEX DOMAINS FOR ABSTRACT INTERPRETATION - A computer implemented program analysis method employing a set of new abstract domains applicable to non-convex invarients. The method analyzes programs statically using abstract interpretation while advantageously considering non-convex structures and in particular those situations in which an internal region of an unreachable state exists within a larger region of reachable states. The method employs a new set of non-convex domains (donut domains) based upon the notion of an outer convex region of reachable states (Domain D1) and an inner region of unreachable states (Domain D2) which advantageously permits capture of non-convex properties by using convex regions and operations. | 09-27-2012 |
20130077972 | Sleep Control for Energy Efficiency in Ethernet Passive Optical Networks - A method sets certain downstream traffic scheduling rules at an optical line terminal OLT and certain sleep control rules at optical network units ONUs. Both downstream traffic scheduling rules and sleep control rules are common information owned by both the OLT and ONUs. The method sets the traffic scheduling rules that each ONU is allocated with some time slots every cycle if the ONU has downstream traffic. Rather than using a control message to notify ONUs with their queue status, the method lets ONUs infer whether its downstream queue is empty or not based on downstream traffic scheduling and lets the OLT infer the status of an ONU based on sleep control rules. | 03-28-2013 |