Abstract: Systems and methods are provided for requirements engineering, and may include: receiving as input, time series data from at least one of a simulation of a vehicle run on a simulation system, or from the vehicle in operation; a requirements monitoring system checking to determine whether a plurality of requirements for operation of the vehicle are met, wherein the requirements are expressed in signal temporal logic form and a requirement includes at least an associated minimal sampling rate and a filtering policy applicable to the requirement; determining a quantitative conformance for each of selected requirements of the plurality of requirements; and add requirements to a verified requirements set based on the qualitative conformance of the requirements.

Abstract: Some embodiments provide a system that executes a web application. During operation, the system loads the web application in a web browser and loads a native code module associated with the web application into a secure runtime environment. Next, the system provides input data associated with the web application to the native code module and processes the input data using the native code module to obtain output data. Finally, the system provides the output data to the web application for use by the web application.

Abstract: Some embodiments provide a system that executes a web application. During operation, the system loads the web application in a web browser and loads a native code module associated with the web application into a secure runtime environment. Next, the system provides input data associated with the web application to the native code module and processes the input data using the native code module to obtain output data. Finally, the system provides the output data to the web application for use by the web application.

Abstract: Systems and methods are provided for requirements engineering, and may include: receiving as input, time series data from at least one of a simulation of a vehicle run on a simulation system, or from the vehicle in operation; a requirements monitoring system checking to determine whether a plurality of requirements for operation of the vehicle are met, wherein the requirements are expressed in signal temporal logic form and a requirement includes at least an associated minimal sampling rate and a filtering policy applicable to the requirement; determining a quantitative conformance for each of selected requirements of the plurality of requirements; and add requirements to a verified requirements set based on the qualitative conformance of the requirements.

Abstract: An application executed at a central processing unit (CPU) of a head mounted display (HMD) system generates sets of frame drawing commands for a graphics processing unit (GPU), and for each set of frame drawing commands the GPU renders a corresponding frame into one of a plurality of frame buffers. Each frame is generated to include or be associated with a frame number that indicates the location of the frame in the sequence of frames generated over time. In addition, each frame is generated to include or be associated with pose information indicating the pose of the HMD system when the frame is generated. At periodic preemption points, the GPU selects the frame stored at the plurality of frame buffers having the most recent frame number and applies an electronic display stabilization warp to the frame based on the difference between the current pose and the pose information stored with the selected frame.

Abstract: Methods and systems for interacting with multiple three-dimensional (3D) object data models are provided. An example method may involve receiving a search query comprising a descriptor for an object that is associated with a given category of objects. The method may involve comparing the descriptor to contents of a three-dimensional (3D) object-data-model database that includes contents associated with the given category of objects. Based on the comparison, the method may involve generating a search query result that comprises 3D object data models that describe the object and associated images that describe the object. The method may also involve arranging the 3D object data models and associated images in the search query result in a manner such that the 3D object data models are moveable inline in the search query result, and providing the search query result.

Abstract: An application executed at a central processing unit (CPU) of a head mounted display (HMD) system generates sets of frame drawing commands for a graphics processing unit (GPU), and for each set of frame drawing commands the GPU renders a corresponding frame into one of a plurality of frame buffers. Each frame is generated to include or be associated with a frame number that indicates the location of the frame in the sequence of frames generated over time. In addition, each frame is generated to include or be associated with pose information indicating the pose of the HMD system when the frame is generated. At periodic preemption points, the GPU selects the frame stored at the plurality of frame buffers having the most recent frame number and applies an electronic display stabilization warp to the frame based on the difference between the current pose and the pose information stored with the selected frame.

Abstract: Some embodiments provide a system that executes a web application. During operation, the system loads the web application in a web browser and loads a native code module associated with the web application into a secure runtime environment. Next, the system provides input data associated with the web application to the native code module and processes the input data using the native code module to obtain output data. Finally, the system provides the output data to the web application for use by the web application.

Abstract: Some embodiments provide a system that executes a web application. During operation, the system loads the web application in a web browser and loads a native code module associated with the web application into a secure runtime environment. Next, the system provides input data associated with the web application to the native code module and processes the input data using the native code module to obtain output data. Finally, the system provides the output data to the web application for use by the web application.

Abstract: A method for an accelerated rendering of graphics on a webpage. The method comprises providing a layer tree, wherein the layer tree includes a plurality of layers and is in a sandbox environment. The method further comprises identifying a dirty layer within the layer tree, and generating rendering data and the plurality of rendering instructions for processing the dirty layer. The method further comprises storing the rendering data and the plurality of rendering instructions in a storage region outside of the sandbox environment for processing using a graphics processing unit.

Abstract: A system, method and computer-readable medium for a rendering a video on a browser. The system comprises a layout engine, a video decoder, a compositor, a GPU processing module, and a GPU. The layout engine identifies a video layer. The video decoder generates a plurality of bitmaps for updating a plurality of textures included in the layer. The compositor generates a set of rendering instructions for updating the plurality of textures that make up a quad. A shared memory stores plurality of bitmaps in the plurality of textures and the set of rendering instructions outside of the sandbox environment. The GPU processing module retrieves the plurality of textures and the rendering instructions and causes the GPU to render the video on a webpage using the rendering instructions and the plurality of the textures.

Abstract: Computer-implemented methods for viewing a three-dimensional (3D) object using a web browser having integrated 3D modeling capabilities are provided. In one aspect, a method includes obtaining data of a 3D object via a web browser having integrated 3D modeling capabilities, and displaying, in the web browser, at least a portion of the 3D object based on an initial default view, or a user selected view based on a query received from a user. Systems and machine-readable media are also provided.

Abstract: Some embodiments of the present invention provide a system that renders graphics in a computing system that includes a plugin associated with a web browser in the computing system and a web application configured to execute in the web browser. During operation, the web application specifies a graphics model and provides the graphics model to the plugin. Next, the plugin generates a graphics-processing unit (GPU) command stream from the graphics model. Finally, the plugin sends the GPU command stream to a GPU of the computing system, which renders an image corresponding to the graphics model.

Abstract: Some embodiments of the present invention provide a system that renders graphics in a computing system that includes a plugin associated with a web browser in the computing system and a web application configured to execute in the web browser. During operation, the web application specifies a graphics model and provides the graphics model to the plugin. Next, the plugin generates a graphics-processing unit (GPU) command stream from the graphics model. Finally, the plugin sends the GPU command stream to a GPU of the computing system, which renders an image corresponding to the graphics model.

Abstract: Some embodiments of the present invention provide a system that renders graphics in a computing system that includes a plugin associated with a web browser in the computing system and a web application configured to execute in the web browser. During operation, the web application specifies a graphics model and provides the graphics model to the plugin. Next, the plugin generates a graphics-processing unit (GPU) command stream from the graphics model. Finally, the plugin sends the GPU command stream to a GPU of the computing system, which renders an image corresponding to the graphics model.

Abstract: Computer-implemented methods for automatically adjusting an opacity of layers in a three-dimensional (3D) object are provided. In one aspect, a method includes receiving a request to display data for a 3D object having a plurality of layers, and providing, for display, data for a view of the 3D object. An opacity of each of the layers of the 3D object in the view is adjusted based on a position of the view of the 3D object. Systems and machine-readable media are also provided.

Abstract: Some embodiments of the present invention provide a system that renders graphics in a computing system that includes a plugin associated with a web browser in the computing system and a web application configured to execute in the web browser. During operation, the web application specifies a graphics model and provides the graphics model to the plugin. Next, the plugin generates a graphics-processing unit (GPU) command stream from the graphics model. Finally, the plugin sends the GPU command stream to a GPU of the computing system, which renders an image corresponding to the graphics model.

Abstract: Some embodiments provide a system that executes a web application. During operation, the system loads the web application in a web browser and loads a native code module associated with the web application into a secure runtime environment. Next, the system provides input data associated with the web application to the native code module and processes the input data using the native code module to obtain output data. Finally, the system provides the output data to the web application for use by the web application.