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: 11200296Abstract: 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: GrantFiled: October 20, 2017Date of Patent: December 14, 2021Assignee: Red Hat, Inc.Inventors: Lukas Petrovicky, Geoffrey De Smet
-
Publication number: 20190121835Abstract: 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: ApplicationFiled: October 20, 2017Publication date: April 25, 2019Inventors: Lukas Petrovicky, Geoffrey De Smet
-
Patent number: 9841982Abstract: 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: GrantFiled: February 24, 2011Date of Patent: December 12, 2017Assignee: Red Hat, Inc.Inventors: Lukas Petrovicky, Jiri Sedlacek
-
Patent number: 9727643Abstract: 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: GrantFiled: November 30, 2011Date of Patent: August 8, 2017Assignee: Red Hat, Inc.Inventors: Martin Vecera, Lukas Petrovicky
-
Patent number: 9298687Abstract: 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: GrantFiled: November 29, 2010Date of Patent: March 29, 2016Assignee: Red Hat, Inc.Inventors: Lukas Petrovicky, Jiri Pechanec
-
Patent number: 9152528Abstract: A method and system for long-term load generation is described.Type: GrantFiled: August 27, 2010Date of Patent: October 6, 2015Assignee: Red Hat, Inc.Inventors: Pavel Macik, Lukas Petrovicky
-
Patent number: 9049246Abstract: 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: GrantFiled: February 28, 2012Date of Patent: June 2, 2015Assignee: Red Hat, Inc.Inventors: Martin Vecera, Lukas Petrovicky
-
Patent number: 8631346Abstract: 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: GrantFiled: May 12, 2010Date of Patent: January 14, 2014Assignee: Red Hat, Inc.Inventors: Lukas Petrovicky, Jiri Pechanac
-
Publication number: 20130227056Abstract: 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: ApplicationFiled: February 28, 2012Publication date: August 29, 2013Inventors: Martin Vecera, Lukas Petrovicky
-
Publication number: 20130138767Abstract: 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: ApplicationFiled: November 30, 2011Publication date: May 30, 2013Inventors: Martin Vecera, Lukas Petrovicky
-
Publication number: 20120222023Abstract: 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: ApplicationFiled: February 24, 2011Publication date: August 30, 2012Applicant: RED HAT, INC.Inventors: Lukás Petrovický, Jirí Sedlácek
-
Publication number: 20120174067Abstract: 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: ApplicationFiled: December 29, 2010Publication date: July 5, 2012Inventors: Jirí Locker, Lukás Petrovický
-
Publication number: 20120137204Abstract: 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: ApplicationFiled: November 29, 2010Publication date: May 31, 2012Applicant: RED HAT, INC.Inventors: Lukas Petrovicky, Jiri Pechanec
-
Publication number: 20120053894Abstract: A method and system for long-term load generation is described.Type: ApplicationFiled: August 27, 2010Publication date: March 1, 2012Inventors: Pavel Macik, Lukás Petrovický
-
Publication number: 20110283229Abstract: 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: ApplicationFiled: May 12, 2010Publication date: November 17, 2011Inventors: Lukas Petrovicky, Jiri Pechanac
-
Publication number: 20110214105Abstract: 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: ApplicationFiled: February 26, 2010Publication date: September 1, 2011Inventors: Pavel Macík, Lukás Petrovický
-
Publication number: 20100318969Abstract: 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: ApplicationFiled: June 16, 2009Publication date: December 16, 2010Inventors: Lukas Petrovicky, Pavel Macik