Patents Examined by Tina Huynh
  • Patent number: 10037212
    Abstract: An information processing device includes a control unit, a hash unit, and a comparison unit. The control unit runs a program and to store flow control information of the program in a call stack. The hash unit generates a first hash value by applying a hash function to selected data in response to a first context change of the program. The control unit starts or resumes a second process or thread of the program only when the hash unit has generated the first hash value. The hash unit generates a second hash value by re-applying the hash function to the selected data in response to a second context change. The first and second context changes include a termination or interruption of the first process or thread and the second process or thread. The comparison unit determines whether the first hash value and the second hash value are identical.
    Type: Grant
    Filed: April 20, 2012
    Date of Patent: July 31, 2018
    Assignee: NXP USA, Inc.
    Inventor: Alexandru Porosanu
  • Patent number: 10019177
    Abstract: A method and system for updating a collection of software resources in a virtual desktop infrastructure system. Virtual machines associated with sets of virtual disk elements in a hierarchy of disk layers, such as basic, department, or user virtual disks are offered updates for one or more available software resources. Updates available for deployment in the virtual desktop infrastructure system are recorded in a database by a controller server. The controller server takes an inventory of all the virtual machines associated with each disk layer in the hierarchy of disk layers on which to apply the available updates. The controller server applies the one or more updates to the identified virtual machines, and stores the update application results in a database. The controller server may apply the one or more updates to virtual machines associated with descendant disk layers in the hierarchy of disk layers in view of previous applications of the updates.
    Type: Grant
    Filed: February 19, 2015
    Date of Patent: July 10, 2018
    Assignee: Citrix Systems, Inc.
    Inventors: Michael Larkin, Shashikiran Uli, William Deforeest
  • Patent number: 10019344
    Abstract: A system, method and computer program product for a test framework for orchestration workflows. For example, a method in accordance with some embodiments includes accessing a workflow test function library comprised of a plurality of workflow test functions. A workflow test function is a function that tests an orchestration workflow component. A plurality of workflow test suites may be accessed, each of which is comprised of one or more workflow tests. A workflow test hook is inserted into a target orchestration workflow component. The inserted workflow test hook is associated with at least one of the plurality of workflow test suites. The inserted workflow test hook is invoked thereby causing each of workflow tests to be performed on the target workflow test component. Target orchestration workflow component test result information is received from the target orchestration workflow component and the target workflow component test result information is outputted.
    Type: Grant
    Filed: August 31, 2015
    Date of Patent: July 10, 2018
    Assignee: VCE IP HOLDING COMPANY LLC
    Inventors: Nilay B Chheda, Vandana Rao
  • Patent number: 9996333
    Abstract: Provided are an apparatus for automating the installation and configuration of infrastructure. The apparatus comprises, an installation information management module which receives installation information of an open-source solution and manages the installation information in a tree structure based on a parent-child relationship, an environment setting management module which receives environment setting information of equipment and manages the environment setting information in a tree structure based on a parent-child relationship, and an installation package management module which generates an installation package and an installation automation script using the installation information and the environment setting information.
    Type: Grant
    Filed: March 4, 2016
    Date of Patent: June 12, 2018
    Assignee: SAMSUNG SDS CO., LTD.
    Inventors: Jae-Hong Kim, Jun-Youn Joo, Han-Hwee Cho, Young-Gi Kim, Ju-Seok Yun, Se-Joong Kim
  • Patent number: 9940464
    Abstract: Methods for creating a hybrid string representation include determining string components from input string information that may be represented concretely by comparing the one or more components to a set of known concretizations using a processor. The set of known concretizations includes string configurations that cannot be interfered with by an attacker. All string components that could not be represented concretely are abstracted. A hybrid string representation is created that includes at least one concrete string component and at least one abstracted string component.
    Type: Grant
    Filed: July 26, 2016
    Date of Patent: April 10, 2018
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp
  • Patent number: 9940465
    Abstract: A hybrid string constructor includes a database configured to store a set of known concretizations. A processor is configured to compare the one or more string components to the set of known concretizations to determine string components from input string information that may be represented concretely, to abstract all string components that could not be represented concretely, and to create a hybrid string representation that includes at least one concrete string component and at least one abstracted string component. The set of known concretizations includes string configurations that cannot be interfered with by an attacker.
    Type: Grant
    Filed: September 12, 2016
    Date of Patent: April 10, 2018
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp
  • Patent number: 9934025
    Abstract: In embodiments of the present invention improved capabilities are described for a updating software in a plurality of devices coupled to one another in a communicating relationship through a local network, the method comprising receiving a descriptor file for a software update at the first device from a remote source outside the local network, the descriptor file including a hash code for each of a plurality of update sub-files and an order for assembling the update sub-files into the software update, downloading the plurality of update sub-files to the first device from a remote source outside the local network until the sub-files identified in the descriptor file are present on the first device, where a presence of the sub-files is evaluated using the hash codes in the descriptor file, and broadcasting every one of the plurality of update sub-files from the first device to the number of other devices.
    Type: Grant
    Filed: October 6, 2016
    Date of Patent: April 3, 2018
    Assignee: Sophos Limited
    Inventor: John Melton Reynolds
  • Patent number: 9928160
    Abstract: A tool for automatic pre-detection of potential software product impact according to a statement placed in a software development system, and for automatically recommending for resolutions which accesses a repository of information containing a history of changes and effects of the changes for a software project; using a received a statement in natural language to perform a natural language search of the repository; according to the findings of the search of the repository, using a machine learning model to compose an impact prediction regarding the received statement relative to the findings; and automatically placing an advisory notice regarding to the impact prediction into the software development system, wherein the advisory notice is associated with the received statement.
    Type: Grant
    Filed: December 1, 2016
    Date of Patent: March 27, 2018
    Assignee: International Business Machines Corporation
    Inventors: George Howard Champlin-Scharff, Timothy Bruce Snow, Sabrina Yee
  • Patent number: 9892016
    Abstract: A method for securing a first program, the first program including a finite number of program points and evolution rules associated to program points and defining the passage of a program point to another, the method including defining a plurality of exit cases and, when a second program is used in the definition of the first program, for each exit case, definition of a branching toward a specific program point of the first program or a declaration of branching impossibility, defining a set of properties to be proven, each associated with one of the constitutive elements of the first program, said set of properties comprising the branching impossibility as a particular property and establishment of the formal proof of the set of properties.
    Type: Grant
    Filed: November 3, 2016
    Date of Patent: February 13, 2018
    Inventor: Dominique Bolignano
  • Patent number: 9886260
    Abstract: An independent product upgrade function is associated with each of multiple software products installed in a set of multiple computing devices. Responsive to a triggering event, each upgrade function determines whether the corresponding product can be updated based on rules for the corresponding product. Upgrade may be dependent on other products, but the upgrade function need not know the conditions for upgrading other products. If a product can be updated, update is performed and all other products are notified. Each of the other product upgrade functions then determines whether its corresponding product can be upgraded as a result of the recent upgrade to the first product, and if so, another set of notifications is sent. This cycle continues until all dependent products have been updated. Upgrade functions preferably operate in a peer-to-peer relationship, and upgrade can be initiated in any node.
    Type: Grant
    Filed: September 24, 2015
    Date of Patent: February 6, 2018
    Assignee: International Business Machines Corporation
    Inventors: Robert Miller, Kiswanto Thayib
  • Patent number: 9886242
    Abstract: According to one embodiment, a code optimizer is configured to receive first code having a program loop implemented with scalar instructions to store values of a first array to a second array based on values of a third array and to generate second code representing the program loop using at least one vector instruction. The second code include a shuffle instruction to shuffle elements of the first array based on the third array using a shuffle table in a vector manner and a store instruction to store the shuffled elements of the first array in the second array.
    Type: Grant
    Filed: February 6, 2015
    Date of Patent: February 6, 2018
    Assignee: Intel Corporation
    Inventors: Tal Uliel, Elmoustapha Ould-Ahmedvall, Bret T. Toll
  • Patent number: 9880827
    Abstract: An independent product upgrade function is associated with each of multiple software products installed in a set of multiple computing devices. Responsive to a triggering event, each upgrade function determines whether the corresponding product can be updated based on rules for the corresponding product. Upgrade may be dependent on other products, but the upgrade function need not know the conditions for upgrading other products. If a product can be updated, update is performed and all other products are notified. Each of the other product upgrade functions then determines whether its corresponding product can be upgraded as a result of the recent upgrade to the first product, and if so, another set of notifications is sent. This cycle continues until all dependent products have been updated. Upgrade functions preferably operate in a peer-to-peer relationship, and upgrade can be initiated in any node.
    Type: Grant
    Filed: August 30, 2015
    Date of Patent: January 30, 2018
    Assignee: International Business Machines Corporation
    Inventors: Robert Miller, Kiswanto Thayib
  • Patent number: 9880943
    Abstract: Disclosed here are methods, systems, paradigms and structures for deleting shared resources from a cache in a multi-threaded system. The shared resources can be used by a plurality of requests belonging to multiple threads executing in the system. When requests, such as requests for executing script code, and work items, such as work items for deleting a shared resource, are created, a global sequence number is assigned to each of them. The sequence number indicates the order in which the requests and work items are created. A particular work item can be executed to delete the shared resource if there are no requests having a sequence number lesser than that of the particular work item executing in the system. However, if there is at least one request with a sequence number lesser than that of the particular work item executing, the work item is ignored until the request completes executing.
    Type: Grant
    Filed: June 10, 2016
    Date of Patent: January 30, 2018
    Assignee: Facebook, Inc.
    Inventors: Keith Adams, Jason Owen Evans
  • Patent number: 9851994
    Abstract: A virtual machine data handling system includes a data handling system, a hypervisor, and a dynamically deployed virtual machine. The data handling system includes a plurality of physical computing resources (e.g., a processor and a memory). The hypervisor is implemented by the processor and the memory and deploys virtual machines from a master image. The dynamically deployed virtual machine is initially deployed by the hypervisor as a Linked Clone of the master image. The dynamically deployed virtual machine is subsequently dynamically deployed by the hypervisor copying a plurality of virtual memory segments from the master image until the dynamically deployed virtual machine is an independent Full Clone of the master image. The hypervisor may copy the plurality of virtual memory segments from the master image if at least one of the physical resources is operating below a utilization threshold.
    Type: Grant
    Filed: October 2, 2014
    Date of Patent: December 26, 2017
    Assignee: International Business Machines Corporation
    Inventors: Thuy Phuong Christenson, Brian R. Muras, Christopher J. Schaefer
  • Patent number: 9841989
    Abstract: A parallel data processing system includes a parallel data processing execution unit for reading a data from a data set including a first data set that includes a plurality of first data and a second data set that includes a plurality of second data and executing processing. The parallel data processing execution unit (A) reads the first data from the first data set, and acquires a first value from the first data based on first format information acquired from an application, (B) generates one or more threads for respectively reading one or more second data corresponding to the first value from the second data set based on first reference information acquired from the application, (C) executes (A) and (B) on one or more first data in the first data set, and (D) executes a plurality of the threads in parallel.
    Type: Grant
    Filed: May 31, 2012
    Date of Patent: December 12, 2017
    Assignees: Hitachi, Ltd., The University of Tokyo
    Inventors: Kazuo Goda, Hiroyuki Yamada, Masaru Kitsuregawa, Nobuo Kawamura, Shinji Fujiwara, Kazuhiko Mogi
  • Patent number: 9841952
    Abstract: System and method for dynamically composing an integrated open source stack are disclosed. In one embodiment, the method comprises generating a stack specification. The method further comprises extracting a list of products from an open source product repository based on the stack specification and determining a product strength value for each product present in the list of product. The method further comprises generating one or more stack options comprising at least one of the products based on the product strength value and determining a stack strength value for each of the one or more stack options based on the product strength value and the user requirements. The method further comprises selecting a stack from the one or more stack options as the integrated open source stack and composing the integrated open source stack based on at least one of product metadata, adaptor metadata, or product scripts.
    Type: Grant
    Filed: February 18, 2016
    Date of Patent: December 12, 2017
    Assignee: WIPRO Limited
    Inventor: Ramesh Ranganathan
  • Patent number: 9830252
    Abstract: A software test method used in a software test system that includes a memory that stores a plurality of computer executable instructions and a processing unit coupled to the memory is provided. The software test method includes the steps outlined below. The processing unit detects input and output parameters of under-test software. The processing unit detects inner operation parameters of the under-test software. The processing unit establishes parameter variance probability of each parameter variances between any two functions included in the under-test software to generate test case including test parameters accordingly. The processing unit transmits test parameters of the test case to the under-test software to perform test.
    Type: Grant
    Filed: February 18, 2016
    Date of Patent: November 28, 2017
    Assignee: INSTITUTE FOR INFORMATION INDUSTRY
    Inventors: Chien-Ting Kuo, Shih-Jen Chen
  • Patent number: 9799005
    Abstract: A method of operation of a computing system includes: determining a context for performing a user-initiated action; determining an operational order based on the context for performing the user-initiated action; and generating an application order based on the operational order for implementing an execution file and a further executable file according to the application order to perform the user-initiated action through displaying on a device.
    Type: Grant
    Filed: March 7, 2013
    Date of Patent: October 24, 2017
    Assignee: Samsung Electronics Co., Ltd.
    Inventors: Craig A. Murray, Michael Baisuck
  • Patent number: 9798738
    Abstract: The present invention extends to methods, systems, and computer program products for creating and manipulating custom compound data types in declarative programs. The present invention allows a developer to create and use custom compound data types without requiring the custom type to be specifically defined (e.g. via registering a custom assembly) in the underlying framework. This is accomplished by providing a data container that is configurable to represent virtually any combination of primitive or compound types defined within the framework. The present invention also provides a declarative model for interacting with data containers representing custom compound data types. This declarative model employs a path-based syntax (or other type of syntax) for accessing the elements of a custom compound data type. Multiple paths can be defined within a single unit of developer input so that multiple elements of a custom data type can be manipulated by the single unit of input.
    Type: Grant
    Filed: February 3, 2015
    Date of Patent: October 24, 2017
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Leon E. Welicki, John Anthony Taylor, Clark Roberts, Kenneth David Wolf
  • Patent number: 9767006
    Abstract: A tracing management system may use cost analyzes and performance budgets to dispatch tracing objectives to instrumented systems that may collect trace data while running an application. The tracing management system may analyze individual tracing workloads for processing, storage, and network performance costs, and select workloads to deploy based on a resource budget that may be set for a particular device. In some cases, complementary tracing objectives may be selected that maximize consumption of resources within an allocated budget. The budgets may allocate certain resources for tracing, which may be a mechanism to limit any adverse effects from tracing when running an application.
    Type: Grant
    Filed: August 7, 2015
    Date of Patent: September 19, 2017
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Russell S. Krajec, Ying Li