Abstract: Disclosed herein are systems and method for transmitting data from a sending device to a receiving device. In one aspect, an exemplary method comprises, receiving, by a first logical object created for the sending device, a request for a connection to the receiving device from an application, establishing, by a second logical object created for the sending device, a bidirectional connection between each pair of a third logical object created for the sending device and a third logical object created for the receiving device, pre-processing, by the first logical object created for the sending device, data received from the application, selecting, by the second logical object created for the sending device, one or more established bidirectional connections for transmitting the pre-processed data, and sending, by the first logical object created for the sending device, the pre-processed data, to the receiving device via the selected connections.

Abstract: A system and method for regulating a motorsport racing event are disclosed. The system comprises sensor modules for sensing a plurality of race parameters to generate a plurality of input signals. A data analysis module receives the input signals for analysis. A decision-making module receives the analyzed signal and computes a recommendation or a decision corresponding to the level of violation. A penalty and recommendation module receives information associated with the recommendation or the decision and presents the recommendation or the decision.

Abstract: A system and method for optimizing the performance of an autonomous race car in real-time during a race event are disclosed. An autonomous race car controller unit is pre-fed with a first set of initial parameter values and a second set of initial parameter values. A set of sensors is configured for measuring a first and a second set of real-time parameter values after the starting of the race event. A performance optimization module is configured to generate a corrective course by receiving the first and second sets of real-time parameters and detecting the presence of errors between a control command given by the controller unit and its execution.

Abstract: The subject matter of this specification can be implemented in, among other things, a method that includes storing first client information identifying a first client device, identifying a location of the first client device, and identifying a first remote access session that provides the first client device access to resources of the remote access system. The method further includes receiving access information identifying an access device and a user account associated with the first client information. The access information indicates that the user account has been successfully authenticated by the access device. The method further includes, in response to the receipt of the access information, causing the first client device to connect to the first remote access session with the remote access system as a background process of the client device while a user interface of the client device remains locked.

Abstract: Disclosed are systems and methods for providing improved rendering of graphical user interfaces for remote applications executing within remote sessions. A remote session client that renders the graphical user interface (GUI) for a remote application is configured to detect certain mouse events that would trigger window move events. In doing so, the remote session client may handle rendering the window GUI locally rather than wait for window move events from the remote application. The remote session client may be further configured to predict using calculated resize patterns how the window content image changes while the remote application's window is being resized.

Abstract: Disclosed are systems and methods for managing software applications. The system receives, via a graphical user interface, a request to generate a chain application with a sequence of execution comprising a first application and a second application. In response to determining that an output type of the first application is not compatible with an input type of the second application, the system updates, without further user input, the sequence of execution such that the second application precedes the first application. The system generates the chain application configured to execute the first application and the second application in the updated sequence of execution.

Abstract: Virtual computer systems (virtual machines) have become increasingly common with the evolution of virtualization technology, cloud computing, etc. However, as a virtual machine and its associated guest operating system seek to execute and/or access a page of memory through synchronous processes execution of the virtual processor associated with the virtual processing is blocked until the page of memory is locked and available. Accordingly, time is wasted on calls waiting for physical page availability thereby reducing utilization of the host machine and virtual machine respectively. To address this an asynchronous virtual machine environment is established allowing the virtual machine or physical machine to handle additional operations whilst waiting for physical page availability.

Abstract: Disclosed are systems and methods for managing notifications from published applications. A method for managing notifications from one or more published applications includes detecting, by a server, a notification from the one or more published applications launched by a user at a client device, forming a notification packet containing information from the notification, and causing the notification packet to be provided to the client device.

Abstract: The subject matter of this specification can be implemented in, among other things, a method that includes establishing, by a host server running an application, a connection to a client device; obtaining, based on an identifier of the client device, a profile of the client device comprising an identifier of a local device that was associated with the client device during a prior connection of the client device to the host server; and causing, based on the identifier of the local device, a driver for the local device to be available for execution on the host server, wherein the driver for the local device is to convert data between a data format accessible to the application and a data format accessible to the local device.

Abstract: With multiple software applications, multiple electronic devices for a user to access and work upon, and multiple potential storage locations for the files it is difficult for a user to remember the identity of a file worked upon, its storage location, or which application they employed. Whilst some applications provide a user with a listing of recently opened files these are only those accessed by that specific application upon a specific device. Embodiments of the invention provide users with a synthesized centralized view of all files accessed irrespective of where the user has stored the electronic content, with which electronic device the electronic content was accessed with, or with which software application the electronic content was accessed with.

Abstract: A method for verifying a set of computer-executable instructions using at least one failing test generated by a test-case generator is disclosed herein. The method comprises verifying the set of computer-executable instructions by a verification module using a plurality of predefined verification conditions; determining if the verification is successful; in response to successful verification, label the set of computer-executable instructions as successful; and in response to unsuccessful verification, generate at least one counterexample, with respect to a proof failure and corresponding to at least one failed verification condition of the plurality of the predefined verification conditions, and generate a failing test, by a test-case generator, based on at least one counterexample. A program verification tool for testing the set of computer-executable instructions is also disclosed.

Abstract: Systems and methods for pre-fetching data based on memory usage patterns. An example method comprises: receiving a first memory access request identifying a first memory block; receiving a second memory access request identifying a second memory block; update a memory access tracking data structure by incrementing a sequence counter corresponding to a memory access sequence that references the first memory block and the second memory block; receive a third memory access request identifying a third memory block; identifying, based on the memory access tracking data structure, a sequence counter having a maximal value among sequence counters associated with memory access sequences that reference the third memory block; and pre-fetching a fourth memory block corresponding to the identified sequence counter.

Abstract: With multiple software applications, multiple electronic devices for a user to access and work upon, and multiple potential storage locations for the files it is difficult for a user to remember the identity of a file worked upon, its storage location, or which application they employed. Whilst some applications provide a user with a listing of recently opened files these are only those accessed by that specific application upon a specific device. Embodiments of the invention provide users with a synthesized centralized view of all files accessed irrespective of where the user has stored the electronic content, with which electronic device the electronic content was accessed with, or with which software application the electronic content was accessed with.

Abstract: Disclosed are systems and methods for managing computing resources for a remote session that has been established between a client and a remote server via a communication channel. Such a remote session is configured to automatically adapt image quality of the remote session based on a network status of the communication channel. The described technique includes detecting an inactive state of the remote session, and in turn, modifying at least one network setting of the client using a network shaping rule specified to artificially reduce a network quality of the communication channel used by the client for traffic of the remote session, so as to cause the client to reduce image quality of the remote session and reduce an amount of data exchanged between the remote server and the client.

Abstract: Systems arid methods for implementing client-side load balancing for remote application servers. An example method comprises receiving, by a publishing server, an application server status information reflecting computing resource utilization by each application server of a plurality of application servers; receiving a request initiated by a client computing device to access a published application executable by at least a subset of the plurality of application servers; and responsive to determining that a load metric reflecting performance of the publishing server exceeds a threshold value, transmitting an instruction to the client computing device to perform client-side load balancing using a snapshot of the application server status information to select an application server of the subset of the plurality of application servers.

Abstract: A method for providing high availability Virtual Desktop Infrastructure (VDI) includes determining, by a VDI client and based on connection information for a first VDI broker associated with a first datacenter, whether a connection to the first VDI broker is available, and responsive to determining that the connection to the first VDI broker associated with the first datacenter is available, connecting the VDI client to a first VDI broker associated with a first datacenter.

Abstract: A toolbox application presents a user interface on a client device, and receives a natural language search query provided by a user of the client device that identifies a desired functionality to be performed for the user. The toolbox application determines whether any of a plurality of accessible utility components accessible is capable of performing the desired functionality specified in the search query. Responsive to determining that none of the accessible utility components is capable of performing the desired functionality, the toolbox application sends a request comprising the natural language search query to a server that maintains library of a plurality of utility components.

Abstract: A processing device in a host computer system receives an instruction to write data to a storage device coupled to the host computer system and store a copy of the data in a cache of the host computer system. The processing device initiates a write operation to write the data from the cache to the storage device and detects that the storage device is disconnected from the host computer system during execution of the write operation. In response to detecting that the storage device is disconnected, the processing device may suspend execution of at least one of a virtual machine or a process that issued the first instruction. After determining that the storage device is reconnected to the host computer system, the processing device can resume the write operation to continue writing the data from the cache to the storage device.

Abstract: The subject matter of this specification can be implemented in, among other things, a method that includes determining, by a first computing device, a set of remote applications hosted by a second computing device including file type associations for each remote application. The first computing device determines a set of local applications and their file type associations. The each file type associated with a remote application, the first computing device determines whether the file type is also associated with a local application. Responsive to determining that the file type is associated with both a remote and local application, the first computing device configures a proxy component with parameters specifying the remote application and the local application. The proxy component is configured to determine whether to open a requested file of the file type with the remote application or the local application based upon the current client/server environment.

Abstract: Systems and methods are disclosed herein for remote application sharing. An exemplary method comprises detecting a user establishing a connection with a remote application server, authenticating the user based on login information associated with the user, determining that the user has requested execution of a shared application hosted on the remote application server, responsive to determining that the user has requested execution of the shared application, gathering information for accessing the shared application hosted on the remote application server, establishing a user session for executing the shared application, generating an application link comprising the information for accessing the shared application over the user session and publishing the application link for distribution to one or more third party users, wherein activation of the application link by the one or more third party users shares the user session with the one or more third party users.