Dinakar
Dinakar Dhurjati, Sunnyvale, CA US
Patent application number | Description | Published |
---|---|---|
20090070746 | METHOD FOR TEST SUITE REDUCTION THROUGH SYSTEM CALL COVERAGE CRITERION - A method and apparatus is disclosed herein for determining whether a test case is to be included in a test suite. In one embodiment, the method comprises executing an application with test inputs of a test case during performance of software application testing and using a Finite State Machine (FSM) model of observable events generated from execution of other test cases in the test suite to determine whether to include the test case in the test suite for use in future testing of the application. | 03-12-2009 |
20090125976 | AUTOMATED TEST INPUT GENERATION FOR WEB APPLICATIONS - A method and apparatus is disclosed herein for automated test input generation for web applications. In one embodiment, the method comprises performing a source-to-source transformation of the program; performing interpretation on the program based on a set of test input values; symbolically executing the program; recording a symbolic constraint for each of one or more conditional expressions encountered during execution of the program, including analyzing a string operation in the program to identify one or more possible execution paths, and generating symbolic inputs representing values of variables in each of the conditional expressions as a numeric expression and a string constraint including generating constraints on string values by modeling string operations using finite state transducers (FSTs) and supplying values from the program's execution in place of intractable sub-expressions; and generating new inputs to drive the program during a subsequent iteration based on results of solving the recorded string constraints. | 05-14-2009 |
20100088678 | METHOD AND APPARATUS FOR THE FORMAL SPECIFICATION AND ANALYSIS OF TIMING PROPERTIES IN SOFTWARE SYSTEMS - A method and apparatus is disclosed herein for formal specification and analysis of timing properties. In one embodiment, the method comprises receiving a software design that includes timing behaviors expressed in a specification language; analyzing the timing behaviors; and using abstract interpretation based static analysis to detect misuses of one or more timing constructs. | 04-08-2010 |
20100223604 | MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS - A method and apparatus is disclosed herein for using a module system for polymorphic π-calculus. In one embodiment, the method comprises receiving a formal specification of a software program; and performing automatic analysis on the formal specification using a module system fitted with processes of the polymorphic π-calculus processes. | 09-02-2010 |
20110072417 | DIRECTED TESTING FOR PROPERTY VIOLATIONS - A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored. | 03-24-2011 |
Dinakar Dhurjati, San Diego, CA US
Patent application number | Description | Published |
---|---|---|
20150046679 | Energy-Efficient Run-Time Offloading of Dynamically Generated Code in Heterogenuous Multiprocessor Systems - Mobile computing devices may be configured to intelligently select, compile, and execute portions of a general purpose software application in an auxiliary processor (e.g., a DSP) of a multiprocessor system. A processor of the mobile device may be configured to determine whether portions of a software application are suitable for execution in an auxiliary processor, monitor operating conditions of the system, determine a historical context based on the monitoring, and determine whether the portions that were determined to suitable for execution in an auxiliary processor should be compiled for execution in the auxiliary processor based on the historical context. The processor may also be configured to continue monitoring the system, update the historical context information, and determine whether code previously compiled for execution on the auxiliary processor should be invoked or executed in the auxiliary processor based on the updated historical context information. | 02-12-2015 |
Dinakar Dhurjati, Santa Clara, CA US
Patent application number | Description | Published |
---|---|---|
20150052331 | Efficient Directed Acyclic Graph Pattern Matching To Enable Code Partitioning and Execution On Heterogeneous Processor Cores - Methods, devices, and systems for automatically determining how an application program may be partitioned and offloaded for execution by a general purpose applications processor and an auxiliary processor (e.g., a DSP, GPU, etc.) within a mobile device. The mobile device may determine the portions of the application code that are best suited for execution on the auxiliary processor based on pattern-matching of directed acyclic graphs (DAGS). In particular, the mobile device may identify one or more patterns in the code, particularly in a data flow graph of the code, comparing each identified code pattern to predefined graph patterns known to have a certain benefit when executed on the auxiliary processor (e.g., a DSP). The mobile device may determine the costs and/or benefits of executing the potions of code on the auxiliary processor, and may offload portions that have low costs and/or high benefits related to the auxiliary processor. | 02-19-2015 |
Dinakar Gnanamgari, Wilmington, MA US
Patent application number | Description | Published |
---|---|---|
20130336857 | SUSTAINABLE PROCESS FOR RECLAIMING PRECIOUS METALS AND BASE METALS FROM E-WASTE - Processes for recycling electronic components removed from printed wire boards, whereby precious metals and base metals are extracted from the electronic components using environmentally friendly compositions. At least gold, silver and copper ions can be extracted from the electronic components and reduced to their respective metals using the processes and compositions described herein. | 12-19-2013 |
Dinakar Hituvalli, San Jose, CA US
Patent application number | Description | Published |
---|---|---|
20140359627 | RECOVERING STEP AND BATCH-BASED PROCESSES - A method of recovering batch-based processes may include providing an interface for receiving processes recoverability information. The recoverability information may include (i) information describing a mutual exclusivity of data affected by a process, (ii) information describing sub-processes associated with the process, and/or (iii) information describing scope cleanup procedures associated with the process. The method may also include receiving the recoverability information through the interface, and receiving an indication that the process experienced an error while being executed on a client system. The method may additionally include providing the process recoverability information to make a recoverability determination for the process. | 12-04-2014 |
Dinakar Sagapuram, West Lafayette, IN US
Patent application number | Description | Published |
---|---|---|
20140017113 | LARGE STRAIN EXTRUSION MACHINING PROCESSES AND BULK FORMS PRODUCED THEREFROM - Processes by which bulk forms can be produced in a single continuous operation, as opposed to multi-stage deformation processes that involve a series of separate and discrete deformation operations or stages. Such processes generally entail deforming a solid body using a large-strain extrusion machining technique and deformation conditions that obtain a predetermined crystallographic texture in the continuous bulk form that differs from the crystallographic texture of the solid body. | 01-16-2014 |