Patents Examined by Evral E Bodden
  • Patent number: 10409706
    Abstract: One embodiment is a methodology for model verification. An embodiment obtaining, by a processor, a model for a system; identifying, by the processor, at least one block within the model that has a branching structure; identifying, by the processor, at least one model variable affecting a switching condition of the identified at least one block; generating, by the processor, an extended finite state machine modeling a switching behavior of the identified at least one block by using the at least one model variable; combining, by the processor, at least one output variable of the extended finite state machine with at least one of a first output port and a second output port of the system included in the model; and performing, by the processor, model verification and coverage of the model that utilizes outputs from the first output port and the second output port to verify the model.
    Type: Grant
    Filed: September 29, 2017
    Date of Patent: September 10, 2019
    Assignee: ARIZONA BOARD OF REGENTS ON BEHALF OF ARIZONA STATE UNIVERSITY
    Inventor: Georgios Fainekos
  • Patent number: 10402215
    Abstract: Systems and methods are provided for analyzing a script file to generate a list of commands associated with access of one or more tables in at least one database and analyzing the generated list of commands to determine the one or more tables to be accessed. The system and methods further provide for generating a grouping of the commands for each of the one or more tables to be accessed such that each table of the one or more tables has one or more associated commands, distributing each grouping of commands to be processed in parallel, executing the grouped commands in parallel to determine column names to be accessed for each of the one or more tables, and generating a result list comprising a list of table names and a list of column names for each table in the list of table names to be accessed by the script file.
    Type: Grant
    Filed: January 23, 2018
    Date of Patent: September 3, 2019
    Assignee: SAP SE
    Inventor: Kavin Khatri
  • Patent number: 10394544
    Abstract: Aspects of the present invention provide an approach for performing a computer program update on a target computer. In an embodiment, a target computer having a location, a user, a computer program, and a computer program update is determined. An expected install duration for installing the computer program update is determined. A social media service associated with the user is monitored. A user location is detected from the social media service and an update time window is estimated based on the user location and the distance that the user is away from the target computer location. A decision is made whether to install the computer program update based on the update time window and the expected install duration.
    Type: Grant
    Filed: March 2, 2017
    Date of Patent: August 27, 2019
    Assignee: International Business Machines Corporation
    Inventors: Alexander J. Kelly, Alexander D. S. Mirski-Fitton, Edwin P. J. Moffatt, Ross B. Pavitt
  • Patent number: 10387168
    Abstract: As a portion of processing for activation an apparatus or when an application is installed, a Lib management module determines whether there is a plurality of libraries in a setting of a class path, and, in a case of determining that a plurality of libraries are set, expands the set libraries, and after integrating them as a new library, sets the newly generated library as the class path. In addition, the Lib management module deletes libraries that are included in the library after the integration except for those that are directly accessed.
    Type: Grant
    Filed: February 28, 2017
    Date of Patent: August 20, 2019
    Assignee: Canon Kabushiki Kaisha
    Inventor: Katsuya Sakai
  • Patent number: 10372112
    Abstract: A method includes translating at least one application source code file associated with a legacy controller in a distributed control system to instructions executable by a controller simulation computing device, wherein the legacy controller is associated with a legacy operating system and the controller simulation computing device is associated with a second operating system different from the legacy operating system. The method also includes simulating operation of the legacy controller using the instructions and an emulation of the legacy operating system in the controller simulation computing device. The method further includes determining configuration data for the legacy controller during the simulated operation of the legacy controller. In addition, the method includes saving the configuration data to a configuration data file.
    Type: Grant
    Filed: June 14, 2016
    Date of Patent: August 6, 2019
    Assignee: Honeywell International Inc.
    Inventors: Ananthapadmanabha Krishnamurthy, Shylaja Munihanumaiah, Elliott Rachlin, Paul F. McLaughlin
  • Patent number: 10367916
    Abstract: The number, popularity, sophistication, etc. of mobile applications have grown dramatically with the rise of smartphones, tablets, and other such devices. Alternatives to native application development, including approaches such as hybrid application development which may employ among other things a container paradigm, inter alia address various of the drawbacks associated with native application development. A flexible, extensible, and dynamically configurable Feature Vector (FV) facility addresses one challenge with approaches such as hybrid application developmentā€”controlling an application's access to features (e.g., functions, methods, resources, etc.) and the efficient administration, management, etc. same.
    Type: Grant
    Filed: December 31, 2014
    Date of Patent: July 30, 2019
    Assignee: SAP SE
    Inventors: Raman Sethi, Sanjeet Mall, Juergen Schneider
  • Patent number: 10346282
    Abstract: Multi-data analysis based proactive defect detection and resolution may include analyzing operational data for an application to determine whether a functionality related to the application is below a predetermined threshold associated with the functionality related to the application, and based on the analysis, generating an indication to perform defect analysis related to the functionality related to the application. A sentiment analysis may be performed on consumer data related to the application to determine a sentiment of the consumer data related to the application, and a natural language processing (NLP) analysis may be performed on the consumer data related to the application to determine a function associated with a negative sentiment. Application code and process data related to the application may be analyzed to determine a defect associated with the application. Further, a code of the application may be modified to correct the defect associated with the application.
    Type: Grant
    Filed: September 6, 2017
    Date of Patent: July 9, 2019
    Assignee: ACCENTURE GLOBAL SERVICES LIMITED
    Inventors: Vikrant Shyamkant Kaulgud, Amitabh Saxena, Kapil Singi, Vibhu Saujanya Sharma
  • Patent number: 10318258
    Abstract: Provided is a non-transitory computer readable storage medium storing a program causing a computer to execute a process, the process including: obtaining an analysis result of a program hierarchically structured by a plurality of hierarchies; identifying an exclusion request of a check content of a same kind as a specific check content by referring to a storage unit storing information about a past exclusion request of a check content when the specific check content in the analysis result is displayed in association with a part corresponding to the specific check content of the program; outputting reference information for an exclusion request of the specific check content based on a request result of the exclusion request of the check content of the same kind, and a difference between positions in the plurality of hierarchies of the specific check content and the check content of the same kind in the program.
    Type: Grant
    Filed: July 17, 2017
    Date of Patent: June 11, 2019
    Assignee: FUJITSU LIMITED
    Inventors: Sayaka Shimada, Daisuke Hiyama, Hideya Ikeda
  • Patent number: 10318255
    Abstract: A method includes receiving stateful code that is called from a first location and executed at a second location. The method includes acquiring contextual information associated with the stateful code. The method includes determining a location for storage of state information based on the contextual information. The method includes, based on the determined location, transforming the stateful code into stateless code. The transforming includes storing state information for the stateful code into storage at the determined location. In response to the determined location being the first location, the stateless code includes: retrieving the state information from the storage; from the first location, sending a call to the second location; at the first location, receiving a response from the second location; and storing the new state information into the storage at the first location. One argument of the call includes the retrieved state information. One return value includes new state information.
    Type: Grant
    Filed: June 2, 2017
    Date of Patent: June 11, 2019
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Henricus Johannes Maria Meijer, John Wesley Dyer
  • Patent number: 10310960
    Abstract: This disclosure provides a computer-implemented method for debugging a program including a SQL statement. The method comprises indicating one or more first positions of source code of the program. Each of the one or more first positions corresponds to a fragment of the SQL statement at which a breakpoint can be set. The method further comprises receiving an input of setting breakpoint at one of the one or more first positions. The method further comprises presenting an execution context generated in response to execution of the program reaching a breakpoint set based on the input.
    Type: Grant
    Filed: June 2, 2016
    Date of Patent: June 4, 2019
    Assignee: International Business Machines Corporation
    Inventors: Shuo Li, Xin Peng Liu, Xiaobo Wang, Xiong Wei Zhao
  • Patent number: 10310870
    Abstract: It is often desired to add or change the functionality of an existing executable, also known as binary. Simply splicing in new machine code into the binary will not work due to host system-specific and platform-specific limitations. The present invention will enable adding any new code to an existing program while overcoming the aforementioned consistency limitations and maintaining the original functionality.
    Type: Grant
    Filed: August 8, 2016
    Date of Patent: June 4, 2019
    Assignee: APPDOME LTD.
    Inventors: Avner Yehuda, Omer Schory, Meir Tsvi, Daniel Zatuchne
  • Patent number: 10282171
    Abstract: A system includes a policy manger that includes a policy to describe policy attributes of an application that define whether the application can be deployed as a container server or as a non-container server. An application analyzer analyzes a given application with respect to the policy attributes to classify the given application as a container model or a non-container model. A deployment controller generates a corresponding container server for the given application if the given application is classified as a container model or generates a corresponding non-container server for the given application if the given application is classified as a non-container model.
    Type: Grant
    Filed: March 30, 2015
    Date of Patent: May 7, 2019
    Assignee: Hewlett Packard Enterprise Development LP
    Inventors: Chandra Kamalakantha, Parag Doshi, Reinier Aerdts
  • Patent number: 10275230
    Abstract: Methods of compiling source code are provided. A method includes identifying a first array of structures (AOS), having a plurality of array elements, each array element being a structure with a plurality of fields, and performing structure peeling on the first AOS to convert a data layout of the first AOS to an array of structure of arrays (AOSOA) including a plurality of memory blocks of uniform block size. At least one of the plurality of memory blocks is allocated for each field of the plurality of fields. The method further includes allocating a number of complete memory blocks to accommodate all of the plurality of array elements of the AOS.
    Type: Grant
    Filed: July 14, 2017
    Date of Patent: April 30, 2019
    Assignee: Advanced Micro Devices, Inc.
    Inventors: Suresh Mani, Dibyendu Das, Shivarama Rao, Ashutosh Nema
  • Patent number: 10277229
    Abstract: A generator system includes at least one generator, at least one generator controller, and a power bus. The power bus transmits power to a load circuit. Data communications are also transmitted by the power bus. In one example, multiple generator controllers exchange messages over the power bus. In another example, one or more generator controllers exchange messages with a central controller over the power bus. The messages may include a status for the generators, output values for the generators, or commands for the generators.
    Type: Grant
    Filed: April 25, 2014
    Date of Patent: April 30, 2019
    Assignee: Kohler Co.
    Inventor: Isaac S. Frampton
  • Patent number: 10275342
    Abstract: Embodiments of the invention are directed to techniques for redirecting data streams from a production environment to validate non-production software code. In some embodiments, a front-end computer executing a first version of software can receive a request message from a requesting computer, generate a request payload using the request message, transmit the request payload to a processor computer, receive a response payload from the processor computer, generate a reply message using the response payload, and provide, to a validation computer that is executing a second version of the software, the request message, the request payload, and the response payload. The validation computer can generate a modified request payload using the request message and a modified reply message using the response payload. To detect potential errors in the second version, the modified request payload is compared with the request payload and the modified reply message is compare with the reply message.
    Type: Grant
    Filed: March 21, 2018
    Date of Patent: April 30, 2019
    Assignee: Visa International Service Association
    Inventors: Surjeet Kumar, Aloysius John, Biju Abraham, Soorej Nair, Priya Nanduri
  • Patent number: 10253613
    Abstract: A drill guidance device, a method to control a trajectory of a drill, and a non-transitory computer readable medium that determine the corrected drill angle and send an output signal to a drill controller configured to control an angle of a drill. The corrected drill angle is determined by at least one of a slant angle data and a formation property data received from a sensor device. The drill guidance device, the method to control a trajectory of a drill, and the non-transitory computer readable medium can be implemented in a measuring while drilling model to provide live guidance during a drilling operation or a predictive model to plan prior to the start of a drilling operation. The corrected drill angle is acted upon by a drill controller to maximize the productivity of an oil reservoir.
    Type: Grant
    Filed: March 9, 2018
    Date of Patent: April 9, 2019
    Assignee: King Fahd University of Petroleum and Minerals
    Inventors: Mohamed Hassan Awadh, Sami Abdulaziz Alnuaim
  • Patent number: 10254774
    Abstract: A temperature control method is provided for controlling a plasma processing apparatus that is capable of changing a temperature setting for each step of a plasma process including multiple steps. The method includes a transfer step of performing an entry process for transferring a workpiece into a processing chamber of the plasma processing apparatus and/or an exit process for transferring the workpiece out of the processing chamber, a process execution step of executing the plasma process including multiple steps, and a temperature control step of performing a first temperature control and/or a second temperature control. The first temperature control includes controlling a temperature to a temperature setting of a next process according to a time execution of the plasma process is completed, and the second temperature control includes controlling the temperature to the temperature setting of the next process in parallel with the entry process and/or the exit process.
    Type: Grant
    Filed: October 30, 2012
    Date of Patent: April 9, 2019
    Assignee: Tokyo Electron Limited
    Inventors: Tatsuya Miura, Wataru Ozawa, Kimihiro Fukasawa, Kazunori Kazama
  • Patent number: 10239258
    Abstract: In one embodiment of the present invention, a print orientation tool efficiently determines an orientation of a three-dimensional (3D) model such that, when 3D printed, the structural integrity of the resulting 3D object is optimized. In operation, the print orientation tool configures a stress analysis engine to slice the 3D model into two-dimensional (2D) cross-sections. The stress analysis engine then compute structural stresses associated with the 2D cross-sections. The print orientation tool translates the structural stresses to weakness metrics. Subsequently, the print orientation tool evaluates the orientations of the cross-sections in conjunction with the corresponding weakness metrics to select a printing orientation that minimizes weaknesses in the 3D model. Advantageously, by aligning the 3D model to the print bed based on the optimized printing orientation, the user mitigates weaknesses in the corresponding 3D object attributable to the 3D printing manufacturing process.
    Type: Grant
    Filed: December 2, 2014
    Date of Patent: March 26, 2019
    Assignee: AUTODESK, INC.
    Inventors: Ryan Michael Schmidt, Nobuyuki Umetani
  • Patent number: 10223244
    Abstract: A device may receive test plan information, associated with a test plan for performing a test of an application, including information associated with a use case for which the application is to be tested. The device may obtain a test plan inspection model, associated with analyzing the test plan, including test plan rules. A test plan rule, of the test plan rules, may be associated with a condition for identifying a crowd-sourcing issue associated with implementing the test plan using crowd-sourced testing. The device may determine, based on the test plan information and the test plan rule, whether the condition is satisfied. The device may identify, based on whether the condition is satisfied, the crowd-sourcing issue as being associated with the test plan. The device may generate a recommendation associated with the crowd-sourcing issue. The device may provide information associated with the crowd-sourcing issue or information associated with the recommendation.
    Type: Grant
    Filed: September 12, 2016
    Date of Patent: March 5, 2019
    Assignee: Accenture Global Solutions Limited
    Inventors: Omar Tahboub, Alex Kass, Manish Mehta
  • Patent number: 10216513
    Abstract: Implementations generally relate to managing module dependencies. In some implementations, a method includes determining, at a server, dependencies associated with each software module of a process. The method further includes aggregating the dependencies associated with the software modules. The method further includes storing the aggregated dependencies in one or more configuration files, where the configuration file includes one or more dependency paths associated with each of the dependencies. The method further includes updating one or more of the dependency paths in the configuration files based on one or more changes to one or more of the dependency paths.
    Type: Grant
    Filed: February 21, 2017
    Date of Patent: February 26, 2019
    Assignee: Oracle International Corporation
    Inventors: Tomas Alabes, Nicolas Laplume