Abstract: A chip tray system can include multiple chip tube components. A first chip tube component in the chip tray can include one or more gaming chip storage rows corresponding to a first size of gaming chip. A second chip tube component in the chip tray can include one or more gaming chip storage rows corresponding to a second size of gaming chip. An edge of the first chip tube component can be coupled to an edge of the second chip tube component.

Abstract: A method, system, and computer program product are disclosed for implementing enhanced expertise and evidence based decision making in knowledge-based applications. Expertise and evidence based decision making operations include differentiating between an average user and an expert user, and using real time feedback from expert users to update and embed expert knowledge into a predefined baseline command sequence model for a given task or problem.

Abstract: Systems, methods, and devices for a method for determining a recommended cycling event. In one embodiment, a method includes receiving ride data associated with a rider of a bicycle and collected by a plurality of sensors during a ride on a trail, determining a recommended cycling event for the rider by processing the ride data through an AI model trained with previously received ride data collected during a plurality of rides on a plurality of trails, and providing the recommended cycling event to a user device associated with the rider.

Abstract: Systems, methods, and devices for determining a cycling simulation of a trail ride. In one embodiment, a method includes receiving ride data collected by a plurality of sensors during a ride on a trail. The ride data is segmented into a plurality of time segments. The plurality of sensors are mounted to a bicycle or a rider of the bicycle. The method further includes determining a resistance model for the rider and the ride by determining a resistance variable for each time segment based on the received ride data and determining a power variable necessary to overcome each of the resistance variable at each respective time segment based on a plurality of user specific variables. The method further includes determining a cycling simulation of the ride based on the resistance model and providing the cycling simulation of the ride to a smart trainer device.

Abstract: A method of operating a video camera includes capturing a scene of imaging data using a focal plane array (FPA) module of the video camera. The scene of imaging data is characterized by a first bit depth. The method also includes processing, using an image processing module coupled to the FPA module, the scene of imaging data to provide display data characterized by a second bit depth less than the first bit depth. The method further includes forming a super frame including the display data and the scene of imaging data and outputting the super frame.

Abstract: A chip tray system can include multiple chip tube components. A first chip tube component in the chip tray can include one or more gaming chip storage rows corresponding to a first size of gaming chip. A second chip tube component in the chip tray can include one or more gaming chip storage rows corresponding to a second size of gaming chip. An edge of the first chip tube component can be coupled to an edge of the second chip tube component.

Abstract: Techniques are disclosed relating to a computer system accessing a client credential set to authenticate with a destination computer system. A computer system may, subsequent to receiving an indication to make available an application for a particular user, retrieve configuration data specifying a reference to a key value. The computer system may maintain a data object that includes a client credential set for the particular user. In response to an occurrence of an event associated with the application, the computer system may access the client credential set of the particular user from the data object using the key value and an indication of the particular user. The computer system may then send a request including the client credential set to a destination computer system for authentication with the destination computer system and receive a response indicating whether the computer system has been authenticated.

Abstract: Techniques are disclosed relating to a computer system accessing a client credential set to authenticate with a destination computer system. A computer system may, subsequent to receiving an indication to make available an application for a particular user, retrieve configuration data specifying a reference to a key value. The computer system may maintain a data object that includes a client credential set for the particular user. In response to an occurrence of an event associated with the application, the computer system may access the client credential set of the particular user from the data object using the key value and an indication of the particular user. The computer system may then send a request including the client credential set to a destination computer system for authentication with the destination computer system and receive a response indicating whether the computer system has been authenticated.

Abstract: Techniques are disclosed relating to a computer system accessing a client credential set to authenticate with a destination computer system. A computer system may, subsequent to receiving an indication to make available an application for a particular user, retrieve configuration data specifying a reference to a key value. The computer system may maintain a data object that includes a client credential set for the particular user. In response to an occurrence of an event associated with the application, the computer system may access the client credential set of the particular user from the data object using the key value and an indication of the particular user. The computer system may then send a request including the client credential set to a destination computer system for authentication with the destination computer system and receive a response indicating whether the computer system has been authenticated.

Abstract: Systems and techniques for memory event mitigation in redundant software installations are presented. A system can initiate an event executed by a first software application and a second software application that corresponds to the first software application. First data associated with the first software application can be stored in a first data store and second data associated with the second software application can be stored in a second data store. The system can also compare a first check value for the first data associated with the event and a second check value for the second data associated with the event. Furthermore, the system can re-initiate the event executed by the first software application and the second software application in response to a determination that the first check value does not correspond to the second check value.

Abstract: Techniques are disclosed relating to a computer system accessing a client credential set to authenticate with a destination computer system. A computer system may, subsequent to receiving an indication to make available an application for a particular user, retrieve configuration data specifying a reference to a key value. The computer system may maintain a data object that includes a client credential set for the particular user. In response to an occurrence of an event associated with the application, the computer system may access the client credential set of the particular user from the data object using the key value and an indication of the particular user. The computer system may then send a request including the client credential set to a destination computer system for authentication with the destination computer system and receive a response indicating whether the computer system has been authenticated.

Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.

Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.

Abstract: Systems and techniques for memory event mitigation in redundant software installations are presented. A system can initiate an event executed by a first software application and a second software application that corresponds to the first software application. First data associated with the first software application can be stored in a first data store and second data associated with the second software application can be stored in a second data store. The system can also compare a first check value for the first data associated with the event and a second check value for the second data associated with the event. Furthermore, the system can re-initiate the event executed by the first software application and the second software application in response to a determination that the first check value does not correspond to the second check value.

Abstract: A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.

Abstract: According to some embodiments, an Arbitrary Software Logic Modeling (“ASLM”) data source may store electronic records associated with units, each electronic record including a unit identifier, one or more identification tags, context data, unit parameters, unit variables, and internal logic. An ASLM platform may express system requirements at a logic block level and establish the logic blocks as self-contained entities and connections in accordance with the system requirements (the established logic blocks graphically representing systems logic). The ASLM platform may then explicitly transform the systems logic automatically to output language agnostic common design information exchange model information. The ASLM platform may also translate and maintain traceability among the system requirements, common design information exchange model information, and generated code.

Abstract: A system and method of multi-level scheduling analysis for a general processing module of a real-time operating system. The method includes identifying any processes within respective partitions of the general processing module, for each identified process, determining if the process is local-time centric or global-time centric. The method converts global-time centric process to a local-time centric process, applies a single-level scheduling analysis technique to the processes of respective partitions, and transforms local-time based response times to global-time based response times. The method performs scheduling and response time analyses on one or more of the identified processes of respective partitions. The method can be performed on a synchronous and/or asynchronous system, and on a hierarchical scheduling system that includes a top level scheduler having a static-cyclic schedule and/or a general static schedule. A system and non-transitory computer-readable medium are also disclosed.

Abstract: Methods, apparatus, systems and articles of manufacture to facilitate efficient scheduling of digital tasks in a system are disclosed. Periodic and aperiodic tasks may be identified, an initial minimum required duration may be determined based on the periodic and aperiodic tasks, a finish-to-activate duration of the aperiodic task may be determined, a final minimum required duration may be determined based on the initial minimum required duration and the finish-to-activate duration, a time budget may be adjusted to be the final minimum required duration, and the aperiodic task may be activated within the time budget based on the finish-to-activate duration.

Abstract: Systems and methods of displaying data are provided. A display system can include one or more display windows configured to provide for display graphical representations of data. One or more user applications can be configured to provide data to the display system. The display system is configured to receive data indicative of a user request to view display data, provide for display on at least one of the one or more display windows a first subset of the display data, obtain one or more data sets corresponding to a second subset of the display data from at least one of the one or more user applications, subsequent to obtaining the one or more data sets, and provide for display on at least one of the one or more display windows the second subset of the display data.