Patents Examined by Joanne Macasiano
-
Patent number: 10228992Abstract: Corruption of call stacks is detected by using guard words placed in the call stacks. A determination is made that a caller routine is to facilitate detection of corruption of stacks. Based on the determination, a store of a guard word in a stack frame of the caller routine is provided in the caller routine. The stored guard word is then used to detect corruption of the stack frame.Type: GrantFiled: January 6, 2016Date of Patent: March 12, 2019Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Michael K. Gschwind, Ronald I. McIntosh
-
Patent number: 10108454Abstract: In an embodiment, a processor includes a schedule logic to schedule a set of instructions for execution in an execution logic of the processor and a power analysis logic having a first calculation logic to calculate a maximum dynamic capacitance for at least a portion of the processor and a second calculation logic to calculate a dynamic capacitance estimate for execution of the set of instructions. A rescheduling of the set of instructions may occur based on a comparison of the dynamic capacitance estimate and the maximum dynamic capacitance. Other embodiments are described and claimed.Type: GrantFiled: March 21, 2014Date of Patent: October 23, 2018Assignee: Intel CorporationInventors: Vjekoslav Svilan, David N. Mackintosh
-
Patent number: 10095484Abstract: A method is provided for synthesizing a computer program by a hardware processor and a program synthesizer. The method includes representing program components and registers by position set variables and constraints on the position set variables using Monadic Second-Order Logic. The method further includes determining potential combinations of the program components by solving the constraints. The method also includes forming the computer program from at least one of the potential combinations.Type: GrantFiled: December 15, 2015Date of Patent: October 9, 2018Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventor: Takaaki Tateishi
-
Patent number: 10073765Abstract: Method and system of testing software using real time replication. At least some illustrative examples include interacting by a human tester with a first software program executed on a first computer system. The interacting causes an operation to be performed on the first software program and the operation is duplicated on a second software program executed on a second computer system. The duplication on the second computer system is done programmatically in real time with the interacting and the duplicating on the first computing system. A result of the operation on the first computer system against a result of the operation on the second computer system is programmatically analyzed on the second computing system. The human tester is notified when the result of the operation on the second computer system is unexpected.Type: GrantFiled: January 28, 2016Date of Patent: September 11, 2018Assignee: ENTIT SOFTWARE LLCInventors: Alexei Ledenev, Ilan Shufer
-
Patent number: 10061573Abstract: User interfaces of a software platform that generates transformed code from source code enable interaction with the codes. In various embodiments, the software platform may store the source code and the transformed code in a data store. The transformed code is a transformation of the source code by at least one business semantic preserving code transform. The at least one business semantic preserving transform causes an execution of the transformed code in a new execution scenario to produce an identical semantic effect as an execution of the source code in an old execution scenario. Subsequently, the software platform may cause a display of a user interface of the application on a display device. The user interface may provide one or more user command items for manipulating at least one of the source code or the transformed code stored in the data store.Type: GrantFiled: April 14, 2015Date of Patent: August 28, 2018Assignee: MOBILIZE.NET CORPORATIONInventors: Carlos Araya, Iván Sanabria, Federico Zoufaly, Mauricio Rojas, Edgar Infante, Olman Garcia
-
Patent number: 10048951Abstract: The invention relates to a method for checking and/or transformation of a computer program present in a programming language which supports first-class functions and in which a type check of the program or of at least a part of the program is performed in order to assign a type to each expression of the program or part of the program, the type consisting of a base type and a binding time. The set of base types comprises at least base types for describing simple values and a function type for describing functions, and the set of binding times comprises at least one static binding time and one dynamic binding time, and a function type is only accepted during the type check together with the static binding time.Type: GrantFiled: March 21, 2014Date of Patent: August 14, 2018Assignee: Dassault Systèmes 3DExcite GmbHInventor: Kai Trojahner
-
Patent number: 10037200Abstract: A system of this invention is directed to an information processing system that allows a client to enjoy the execution result of a program acquired or to be acquired by the client, even if the program cannot be installed or executed in a client apparatus. In the information processing system, a first information processing apparatus and a second information processing apparatus are connected via communication media. It is requested, from the first information processing apparatus to the second information processing apparatus, to install a program acquired but inexecutable by the first information processing apparatus into the second information processing apparatus. Execution of the program installed in the second information processing apparatus in response to the request is synchronized with an operation for the program in the first information processing apparatus.Type: GrantFiled: March 18, 2013Date of Patent: July 31, 2018Assignee: NEC CorporationInventor: Yoshikazu Kobayashi
-
Patent number: 10019259Abstract: A transformation application may transform source code into transformed code using extensibility libraries. The transformation application may receive an extensibility library and the source code. The extensibility library may include one or more transformation directives that specify a business semantic preserving transform. Accordingly, the transformation application may transform a source application into a transformed application using the business semantic preserving transform. The business semantic preserving transform may change one or more original architectural classes of the source application potentially spanning multiple tiers or devices into one or more transformed architectural classes of the transformed application, in which the one or more transformed architectural classes are different from the one or more original architectural classes.Type: GrantFiled: April 1, 2015Date of Patent: July 10, 2018Assignee: Mobilize.Net CorporationInventors: Carlos Araya, Olman Garcia
-
Patent number: 9965260Abstract: Systems, methods, and other embodiments associated with a software product release automation framework are described. In one embodiment, a system includes a repository configured to store activity instances and process instances. Each activity instance includes parameters and a plurality of blocks of executable code for performing the activity. Each block of executable code is associated with a target platform. Each process instance includes activity instances and a sequence in which the activity instances are to be performed. The system includes interpreter logic configured to retrieve a requested process instance and read the process instance to identify activity instances and parameter values for the parameters in the activity instances. The interpreter logic reads the activity instances to identify the block of code for the platform and combines the parameter values and the block of code to create a target definition for an execution application on the target's platform.Type: GrantFiled: February 18, 2015Date of Patent: May 8, 2018Assignee: ORACLE INTERNATIONAL CORPORATIONInventors: Garima Agrawal, Hrishikesh Das, Muthuveerappan Periyakaruppan
-
Patent number: 9904531Abstract: A program stored in a computer-readable medium causes a computer to execute a process includes receiving, from an automobile in which a control program for controlling devices mounted on the automobile operates, an update request concerning the control program, classifying a plurality of correction programs corresponding to the update request into a plurality of groups on the basis of usable electric energy of a battery corresponding to a vehicle type to which the automobile belongs, an amount of the usable electric energy being stored in a memory, and transmitting the classified correction programs to the automobile for each of the groups.Type: GrantFiled: September 24, 2014Date of Patent: February 27, 2018Assignees: FUJITSU LIMITED, TOYOTA JIDOSHA KABUSHIKI KAISHAInventors: Masato Suzuki, Seigo Kotani, Hisashi Oguma
-
Patent number: 9898387Abstract: Methods of debugging code in a development environment are provided including compiling code in the development environment; receiving an error message for an error encountered in the compiled code; and automatically receiving a plurality of suggested resolutions for the error in the compiled code. The plurality of suggested resolutions are based on past resolutions of errors associated with a plurality of developers stored in a common database. The plurality of suggested resolutions are provided in order of relevancy based on a plurality of relevancy metrics. Related systems and computer program products are provided.Type: GrantFiled: March 21, 2014Date of Patent: February 20, 2018Assignee: CA, INC.Inventor: Mark Daniel Rodmell
-
Patent number: 9864518Abstract: Embodiments are directed to assigning a home memory location for a function call parameter. A method may include determining whether a caller is configured to allocate a memory location for a parameter passed to a callee. The caller is a module that includes a function call to the callee and the callee is a function. The method may include inserting instructions in the callee to allocate a home memory location for the parameter in response to determining that the caller is not configured to allocate a memory location for the parameter. In addition, the method may include inserting instructions in the callee to set the memory location as a home location for the parameter in response to determining that the caller is configured to allocate a memory location for the parameter.Type: GrantFiled: November 10, 2014Date of Patent: January 9, 2018Assignee: International Business Machines CorporationInventors: Michael Karl Gschwind, Ulrich Weigand
-
Patent number: 9851950Abstract: A method facilitates development of instructions in a precise syntax, such as software source code or built-in functions of a computational system, using natural language (NL) input. A user may enter NL input in a workspace. An NL processing system may process the NL input to generate instruction(s) in a precise syntax that corresponds to the NL input. The instruction(s) in the precise syntax then may be included in the workspace.Type: GrantFiled: November 15, 2012Date of Patent: December 26, 2017Assignee: Wolfram Alpha LLCInventors: Stephen Wolfram, Theodore W. Gray
-
Patent number: 9817680Abstract: A method, system, and program product for generating and processing application settings for a software application using an application configuration component operating on a computer system. An application settings object containing a plurality of application settings is generated for the software application. The application settings object are serialized and stored into an Extensible Markup Language (XML) application settings file on the computer system. A new instance of the application configuration component is generated. A request is received from the software application for an application settings object for a specific environment and module. If located on the computer system, the XML application settings file is deserialized into the application settings object. Each property of the application settings object is then processed and the application settings object is returned to the software application.Type: GrantFiled: August 4, 2008Date of Patent: November 14, 2017Assignee: Open Invention Network, LLCInventors: Gregory R. Floyd, Nathan R. Jones
-
Patent number: 9792101Abstract: Users establish a brand that uses their expertise with a mobile app. A linket is a label for a deep link. A deep link is at minimum 2 items. An id of an app and a network address where the app is run. A Registry maps from a linket to a deep link. A linket can have associated images, audios or videos. The Registry lets users search for linkets. A blockchain can record linkets, later used by an analysis engine to make a social network graph. For a given time slot, a linket owner can define that a maximum number of queries go to a first linket. Other queries go to another person's linket. If a deep link associated with a linket fails to respond, the Registry can be told. It can send a backup deep link to the user device. There can be automated deinstallation of apps used by linkets, when a linket changes its app. A device installs the earlier app via the linket. The device later detects that the linket now points to another app, so the earlier app is no longer used.Type: GrantFiled: November 10, 2015Date of Patent: October 17, 2017Inventor: Wesley John Boudville
-
Patent number: 9760282Abstract: Embodiments are directed to assigning a home memory location for a function call parameter. A method may include determining whether a caller is configured to allocate a memory location for a parameter passed to a callee. The caller is a module that includes a function call to the callee and the callee is a function. The method may include inserting instructions in the callee to allocate a home memory location for the parameter in response to determining that the caller is not configured to allocate a memory location for the parameter. In addition, the method may include inserting instructions in the callee to set the memory location as a home location for the parameter in response to determining that the caller is configured to allocate a memory location for the parameter.Type: GrantFiled: December 12, 2014Date of Patent: September 12, 2017Assignee: International Business Machines CorporationInventors: Michael Karl Gschwind, Ulrich Weigand
-
Patent number: 9720685Abstract: Disclosed herein is a system and method that determine whether activity pertaining to a software development project violates at least one development rule whose associated severity level exceeds a predetermined threshold.Type: GrantFiled: March 30, 2012Date of Patent: August 1, 2017Assignee: ENTIT SOFTWARE LLCInventors: Miroslav Novak, Albert Regner, Vojtech Janota
-
Patent number: 9703678Abstract: A debugging pipeline may be developed to create a debugging experience for computer code operating in an execution environment, using a debugging tool outside of the execution environment. A producer can publish a debugging pipeline, configured to link the producer to a consumer (e.g., a debugging tool) by exposing a debugging pipeline interface object to a consumer. The debugging pipeline can implement a set of debugging protocols, comprising: protocol for processing of debugging requests for computer code in at least one of at least two computer languages; a protocol configured for processing of computer code language types in respective signatures without exposing operating system specific constructs; and a protocol for a first debugging pipeline to be isolated from one or more second debugging pipelines. Additionally, a consumer component can provide debugging of the computer code in the execution environment.Type: GrantFiled: December 23, 2008Date of Patent: July 11, 2017Assignee: Microsoft Technology Licensing, LLCInventors: Jonathon Michael Stall, Brian R. Crawford
-
Patent number: 9703687Abstract: A monitor that monitors an application is provided herein. The monitor provides a monitor function that monitors an application. The monitor embeds the monitor function in meta data of a code base of the application. The monitor function embedded in the code base is activated. The monitor function is used to monitor data associated therewith during deployment of the application.Type: GrantFiled: September 21, 2012Date of Patent: July 11, 2017Assignee: HEWLETT PACKARD ENTERPRISE DEVELOPMENT LPInventors: Inbar Shani, Amichai Nitsan, Eli Mordechai
-
Patent number: 9703547Abstract: Methods, systems, and articles of manufacture for computing program equivalence based on a hierarchy of program semantics and related canonical representations are provided herein. A method includes defining a program semantic representation for a first program; generating a search query based on said semantic representation for the first program; executing said search query against an index of multiple programs to determine a set of candidate programs among the multiple programs, wherein said index comprises a program semantic representation defined for each of the multiple programs; and identifying one or more programs among the set of candidate programs that match the first program by performing one or more comparisons, across the set of candidate programs, of a canonical representation associated with each program in the identified set of candidate programs to a canonical representation associated with the first program.Type: GrantFiled: March 24, 2014Date of Patent: July 11, 2017Assignee: International Business Machines CorporationInventors: Pankaj Dhoolia, Diptikalyan Saha