Patents Examined by Tina Huynh
-
Patent number: 10037212Abstract: 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: GrantFiled: April 20, 2012Date of Patent: July 31, 2018Assignee: NXP USA, Inc.Inventor: Alexandru Porosanu
-
Patent number: 10019177Abstract: 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: GrantFiled: February 19, 2015Date of Patent: July 10, 2018Assignee: Citrix Systems, Inc.Inventors: Michael Larkin, Shashikiran Uli, William Deforeest
-
Patent number: 10019344Abstract: 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: GrantFiled: August 31, 2015Date of Patent: July 10, 2018Assignee: VCE IP HOLDING COMPANY LLCInventors: Nilay B Chheda, Vandana Rao
-
Patent number: 9996333Abstract: 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: GrantFiled: March 4, 2016Date of Patent: June 12, 2018Assignee: 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: 9940464Abstract: 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: GrantFiled: July 26, 2016Date of Patent: April 10, 2018Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp
-
Patent number: 9940465Abstract: 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: GrantFiled: September 12, 2016Date of Patent: April 10, 2018Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp
-
Patent number: 9934025Abstract: 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: GrantFiled: October 6, 2016Date of Patent: April 3, 2018Assignee: Sophos LimitedInventor: John Melton Reynolds
-
Patent number: 9928160Abstract: 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: GrantFiled: December 1, 2016Date of Patent: March 27, 2018Assignee: International Business Machines CorporationInventors: George Howard Champlin-Scharff, Timothy Bruce Snow, Sabrina Yee
-
Patent number: 9892016Abstract: 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: GrantFiled: November 3, 2016Date of Patent: February 13, 2018Inventor: Dominique Bolignano
-
Patent number: 9886260Abstract: 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: GrantFiled: September 24, 2015Date of Patent: February 6, 2018Assignee: International Business Machines CorporationInventors: Robert Miller, Kiswanto Thayib
-
Patent number: 9886242Abstract: 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: GrantFiled: February 6, 2015Date of Patent: February 6, 2018Assignee: Intel CorporationInventors: Tal Uliel, Elmoustapha Ould-Ahmedvall, Bret T. Toll
-
Patent number: 9880827Abstract: 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: GrantFiled: August 30, 2015Date of Patent: January 30, 2018Assignee: International Business Machines CorporationInventors: Robert Miller, Kiswanto Thayib
-
Patent number: 9880943Abstract: 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: GrantFiled: June 10, 2016Date of Patent: January 30, 2018Assignee: Facebook, Inc.Inventors: Keith Adams, Jason Owen Evans
-
Patent number: 9851994Abstract: 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: GrantFiled: October 2, 2014Date of Patent: December 26, 2017Assignee: International Business Machines CorporationInventors: Thuy Phuong Christenson, Brian R. Muras, Christopher J. Schaefer
-
Patent number: 9841989Abstract: 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: GrantFiled: May 31, 2012Date of Patent: December 12, 2017Assignees: Hitachi, Ltd., The University of TokyoInventors: Kazuo Goda, Hiroyuki Yamada, Masaru Kitsuregawa, Nobuo Kawamura, Shinji Fujiwara, Kazuhiko Mogi
-
Patent number: 9841952Abstract: 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: GrantFiled: February 18, 2016Date of Patent: December 12, 2017Assignee: WIPRO LimitedInventor: Ramesh Ranganathan
-
Patent number: 9830252Abstract: 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: GrantFiled: February 18, 2016Date of Patent: November 28, 2017Assignee: INSTITUTE FOR INFORMATION INDUSTRYInventors: Chien-Ting Kuo, Shih-Jen Chen
-
Patent number: 9799005Abstract: 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: GrantFiled: March 7, 2013Date of Patent: October 24, 2017Assignee: Samsung Electronics Co., Ltd.Inventors: Craig A. Murray, Michael Baisuck
-
Patent number: 9798738Abstract: 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: GrantFiled: February 3, 2015Date of Patent: October 24, 2017Assignee: Microsoft Technology Licensing, LLCInventors: Leon E. Welicki, John Anthony Taylor, Clark Roberts, Kenneth David Wolf
-
Patent number: 9767006Abstract: 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: GrantFiled: August 7, 2015Date of Patent: September 19, 2017Assignee: Microsoft Technology Licensing, LLCInventors: Russell S. Krajec, Ying Li