| Patent application number | Description | Published |
|---|
| 20090144698 | PRIORITIZING QUALITY IMPROVEMENTS TO SOURCE CODE - An exemplary method includes receiving source code having a plurality of code segments, providing a desired level of quality for the source code, analyzing the source code to assign a complexity measure to each of the plurality of code segments and assigning a level of code coverage to each of the plurality of code segments based at least in part on the desired level of quality and the complexity measures. An exemplary system prioritizes quality improvements to source code based, in part, on a quality assessment. Such a system can improve code quality by assigning higher test coverage levels to modules with higher complexity. | 06-04-2009 |
| 20110088016 | PROGRAM ANALYSIS THROUGH PREDICATE ABSTRACTION AND REFINEMENT - An analysis engine is described for performing static analysis using CEGAR loop functionality, using a combination of forward and backward validation-phase trace analyses. The analysis engine includes a number of features. For example: (1) the analysis engine can operate on blocks of program statements of different adjustable sizes; (2) the analysis engine can identify a subtrace of the trace and perform analysis on that subtrace (rather than the full trace); (3) the analysis engine can form a pyramid of state conditions and extract predicates based on the pyramid and/or from auxiliary source(s); (4) the analysis engine can generate predicates using an increasingly-aggressive series of available discovery techniques; (5) the analysis engine can selectively concretize procedure calls associated with the trace on an as-needed basis and perform other refinements; and (6) the analysis engine can add additional verification targets in the course of its analysis, etc. | 04-14-2011 |
| 20110161937 | PROCESSING PREDICATES INCLUDING POINTER INFORMATION - A system is described for processing predicates in the course of analyzing a program, based on a general-purpose theory of pointers. The system converts location expressions in the predicates into logical formulae that are interpretable by a theorem prover module, producing converted predicates. This conversion associates the location expressions with location objects. More specifically, the conversion represents variables as explicitly-specified location objects, and location terms (such as a field-type access terms and dereference-type terms) as constructor-specified location objects. The theory of pointers is also expressed by a set of axioms which constrain the operation of the theorem prover module. | 06-30-2011 |
| Patent application number | Description | Published |
|---|
| 20080250429 | Application-specific mapping of input device elements - A method for carrying out application-specific mapping of input device elements (for example, human input device buttons). The method includes, from an application matching program, determining, for an application program, whether a control element event (for example, a mouse button click event) needs to carry out an action that is specific to the application program, or to perform its default action. The application matching program is configured to execute independently of the application program. A computing system that is capable of carrying out the above method is also provided. | 10-09-2008 |
| 20100259482 | KEYBOARD GESTURING - Keyboard gesturing on an input device of a computing system is herein provided. One exemplary computing system includes a host computing device and an input device including one or more keys. The host computing device includes a gesture-recognition engine that is configured to recognize a gesture from touch input reported from a touch-detection engine. The touch-detection engine is configured to detect a touch input directed at a key of the input device. The host computing device further includes an input engine that is configured to interpret a key-activation message based on the gesture recognized by the gesture-recognition engine, where the key-activation message is generated by a key-activation engine of the input device in response to activation of the key. | 10-14-2010 |
| 20100265182 | CONTEXT-BASED STATE CHANGE FOR AN ADAPTIVE INPUT DEVICE - Various embodiments of systems and methods to implement a context-based state change for an adaptive input device are provided. For example, a method is disclosed that may include receiving a state input indicating a change in a system state, changing adaptive input device data in response to the state input, the adaptive input device data including one or more of image data or adaptive input device mapping data, and adjusting an adaptive input device display state using the adaptive input device data. Adjusting the adaptive input device display state may include one or more of displaying the image data on an adaptive input device display or adjusting an adaptive input device mapping state according to the adaptive input device mapping data. | 10-21-2010 |
| 20100265183 | STATE CHANGES FOR AN ADAPTIVE DEVICE - Various embodiments of systems and method to implement a state change for an adaptive device are provided. In one example, a method is disclosed that includes receiving a system state input indicating a change in a system state of a computing device, changing adaptive device data in response to the system state input to form changed adaptive device data, the adaptive device data and the changed adaptive device data each including one or more of image data and adaptive device mapping data, and adjusting an adaptive device display state using the changed adaptive device data, wherein adjusting the adaptive device display state includes one or more of displaying the image data on the keyboard display and adjusting an adaptive device mapping state according to the adaptive device mapping data. | 10-21-2010 |
| 20100275218 | CONTROLLING ACCESS OF APPLICATION PROGRAMS TO AN ADAPTIVE INPUT DEVICE - Methods and systems for controlling access of application programs to an adaptive input device are described herein. One exemplary computing system includes an application programming interface executable on a computing device for controlling said access to an adaptive input device having a plurality of display regions. The application programming interface is configured to receive a display request from one of the application programs to display formatted output on the composite display and is further configured to apply at least a display sharing policy based on application-specific policy settings received from the application program for defining an application-specific area including at least one of the display regions. Further, the application programming interface is configured to generate formatted output based on the application-specific policy settings, and to send the formatted output to the application-specific area for display. The application-specific policy settings include a shared display mode and an exclusive display mode. | 10-28-2010 |
