Patents by Inventor Lukás Petrovický

Lukás Petrovický has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 11200296
    Abstract: Limited duration supply for heuristic algorithms is disclosed. A supply manager receives, from a first subsystem, a first request for a first supply. The supply manager determines that the first supply is not executing. The supply manager initiates the first supply, the first supply to return supply data upon request. The supply manager provides to the first subsystem a supply reference that refers to the first supply that allows the first subsystem to request the supply data directly from the first supply. The supply manager subsequently determines that no subsystem requires the first supply and disables the first supply.
    Type: Grant
    Filed: October 20, 2017
    Date of Patent: December 14, 2021
    Assignee: Red Hat, Inc.
    Inventors: Lukas Petrovicky, Geoffrey De Smet
  • Publication number: 20190121835
    Abstract: Limited duration supply for heuristic algorithms is disclosed. A supply manager receives, from a first subsystem, a first request for a first supply. The supply manager determines that the first supply is not executing. The supply manager initiates the first supply, the first supply to return supply data upon request. The supply manager provides to the first subsystem a supply reference that refers to the first supply that allows the first subsystem to request the supply data directly from the first supply. The supply manager subsequently determines that no subsystem requires the first supply and disables the first supply.
    Type: Application
    Filed: October 20, 2017
    Publication date: April 25, 2019
    Inventors: Lukas Petrovicky, Geoffrey De Smet
  • Patent number: 9841982
    Abstract: An automatic runtime dependency lookup method may load a class, while executing a computer application program. A class loader determines if the class is found at a first location specified by classpath information. If the class is not found at the first location, the class loader automatically reads repository information to determine an alternate location for the class and locates the class at the alternate location.
    Type: Grant
    Filed: February 24, 2011
    Date of Patent: December 12, 2017
    Assignee: Red Hat, Inc.
    Inventors: Lukas Petrovicky, Jiri Sedlacek
  • Patent number: 9727643
    Abstract: A mechanism for managing loading of a web page is disclosed. A method of the invention includes receiving, by a server machine, a client request for a resource bundle having a resource identifier for a plurality of resources associated with a web page, combining the plurality of resources into the resource bundle and sending a response including the resource bundle to a client.
    Type: Grant
    Filed: November 30, 2011
    Date of Patent: August 8, 2017
    Assignee: Red Hat, Inc.
    Inventors: Martin Vecera, Lukas Petrovicky
  • Patent number: 9298687
    Abstract: A spreadsheet validation method may provide a validation input value to an input field of a computer spreadsheet application and identify a calculated result from an output field of the computer spreadsheet application. The result is calculated based on a formula associated with the output field and the formula uses the validation input value as an input. Further, the calculated result may be compared to an expected validation output value.
    Type: Grant
    Filed: November 29, 2010
    Date of Patent: March 29, 2016
    Assignee: Red Hat, Inc.
    Inventors: Lukas Petrovicky, Jiri Pechanec
  • Patent number: 9152528
    Abstract: A method and system for long-term load generation is described.
    Type: Grant
    Filed: August 27, 2010
    Date of Patent: October 6, 2015
    Assignee: Red Hat, Inc.
    Inventors: Pavel Macik, Lukas Petrovicky
  • Patent number: 9049246
    Abstract: A backwards-compatible mechanism for reducing web page loading time is disclosed. A method includes forwarding, by a web server extension module of a server machine, a web page request to a web server component of the server machine, the web page request received from a client-side agent associated with the web server extension module. The method further includes receiving, from the web server component, page source code of a web page of the web page request, parsing the page source code to identify one or more resources associated with page source code, requesting the identified one or more resources from the web server component, compressing resources of the one or more resources that are received from the web server component into an archive file, and sending the page source code and the archive file to the client-side agent as one or more packages.
    Type: Grant
    Filed: February 28, 2012
    Date of Patent: June 2, 2015
    Assignee: Red Hat, Inc.
    Inventors: Martin Vecera, Lukas Petrovicky
  • Patent number: 8631346
    Abstract: Some embodiments of a system and a method to process file conversion initiated by natural human behavior have been presented. For instance, a file conversion manager running on a processing device may intercept an operation invoked by a user to rename at least a first extension of a file name of a file having an original file format to a second extension associated with a target file format. In response to the operation, the file conversion manager may select and execute one of a group of third party file conversion applications to convert the file from the original file format to the target file format.
    Type: Grant
    Filed: May 12, 2010
    Date of Patent: January 14, 2014
    Assignee: Red Hat, Inc.
    Inventors: Lukas Petrovicky, Jiri Pechanac
  • Publication number: 20130227056
    Abstract: A backwards-compatible mechanism for reducing web page loading time is disclosed. A method includes forwarding, by a web server extension module of a server machine, a web page request to a web server component of the server machine, the web page request received from a client-side agent associated with the web server extension module. The method further includes receiving, from the web server component, page source code of a web page of the web page request, parsing the page source code to identify one or more resources associated with page source code, requesting the identified one or more resources from the web server component, compressing resources of the one or more resources that are received from the web server component into an archive file, and sending the page source code and the archive file to the client-side agent as one or more packages.
    Type: Application
    Filed: February 28, 2012
    Publication date: August 29, 2013
    Inventors: Martin Vecera, Lukas Petrovicky
  • Publication number: 20130138767
    Abstract: A mechanism for managing loading of a web page is disclosed. A method of the invention includes receiving, by a server machine, a client request for a resource bundle having a resource identifier for a plurality of resources associated with a web page, combining the plurality of resources into the resource bundle and sending a response including the resource bundle to a client.
    Type: Application
    Filed: November 30, 2011
    Publication date: May 30, 2013
    Inventors: Martin Vecera, Lukas Petrovicky
  • Publication number: 20120222023
    Abstract: An automatic runtime dependency lookup method may load a class, while executing a computer application program. A class loader determines if the class is found at a first location specified by classpath information. If the class is not found at the first location, the class loader automatically reads repository information to determine an alternate location for the class and locates the class at the alternate location.
    Type: Application
    Filed: February 24, 2011
    Publication date: August 30, 2012
    Applicant: RED HAT, INC.
    Inventors: Lukás Petrovický, Jirí Sedlácek
  • Publication number: 20120174067
    Abstract: A method and apparatus for synchronizing execution of a test application is described. In one embodiment, the method includes receiving two or more commands from a test application. The method may also include distributing a first command from the received two or more commands to a plurality of client computer systems, each client computer system to issue the first command to a server computer system. Furthermore, the method may include distributing a second command from the received two or more commands to the plurality of client computer systems after receipt of a response to the first command from each of the plurality of client computer systems.
    Type: Application
    Filed: December 29, 2010
    Publication date: July 5, 2012
    Inventors: Jirí Locker, Lukás Petrovický
  • Publication number: 20120137204
    Abstract: A spreadsheet validation method may provide a validation input value to an input field of a computer spreadsheet application and identify a calculated result from an output field of the computer spreadsheet application. The result is calculated based on a formula associated with the output field and the formula uses the validation input value as an input. Further, the calculated result may be compared to an expected validation output value.
    Type: Application
    Filed: November 29, 2010
    Publication date: May 31, 2012
    Applicant: RED HAT, INC.
    Inventors: Lukas Petrovicky, Jiri Pechanec
  • Publication number: 20120053894
    Abstract: A method and system for long-term load generation is described.
    Type: Application
    Filed: August 27, 2010
    Publication date: March 1, 2012
    Inventors: Pavel Macik, Lukás Petrovický
  • Publication number: 20110283229
    Abstract: Some embodiments of a system and a method to process file conversion initiated by natural human behavior have been presented. For instance, a file conversion manager running on a processing device may intercept an operation invoked by a user to rename at least a first extension of a file name of a file having an original file format to a second extension associated with a target file format. In response to the operation, the file conversion manager may select and execute one of a group of third party file conversion applications to convert the file from the original file format to the target file format.
    Type: Application
    Filed: May 12, 2010
    Publication date: November 17, 2011
    Inventors: Lukas Petrovicky, Jiri Pechanac
  • Publication number: 20110214105
    Abstract: An apparatus and a method for accepting new software build is described. A new software build is received at a computer system. The new software build and a released software build previously stored in the computer system are unpacked. The unpacked new software build is tested against data in each database used by the released software build.
    Type: Application
    Filed: February 26, 2010
    Publication date: September 1, 2011
    Inventors: Pavel Macík, Lukás Petrovický
  • Publication number: 20100318969
    Abstract: In one embodiment, a mechanism for business process-managed testing of software applications is disclosed. In one embodiment, a method for business process-managed testing of software applications includes identifying, by a server computing device, all tools and services used to test a software application deployed on the server computing device, and determining, by the server computing device, an order of execution of the identified tools and services in testing the software application. The method further includes designing, by a business process management (BPM) service of the server computing device, a testing management process that integrates the identified tools and services in the determined order of execution for testing the software application in an automated and unattended manner, and deploying, by the server computing device, the testing management process to act as a controlling layer over the identified tools and services in the testing of the software application.
    Type: Application
    Filed: June 16, 2009
    Publication date: December 16, 2010
    Inventors: Lukas Petrovicky, Pavel Macik