Finite-State Machine (FSM) applications are important for many domains. But FSM computation is inherently sequential, making such applications notoriously difficult to parallelize. Most prior methods address the problem through speculations on simple heuristics, offering limited applicability and inconsistent speedups. This paper provides some principled understanding of FSM parallelization, an...

Abstract. Frozen soil processes are of great importance in controlling surface water and energy balances during the cold season regions. Over recent decades, considerable frozen degradation warming have been reported over Tibetan Plateau North China, but most land models difficulty capturing freeze–thaw cycle, few validations focus on effects thermal characteristics these This paper addresses i...

The paper proposes a new model for veriication and high level synthesis (re)using complex units like co-processors. The model is called FSMC (FSM with Co-processors) and is an extension of the FSMD model (FSM with Data path). The veriication method is based on model checking. It permits to analyze the properties and consistency of the whole system and, particularly, the correct (re)use of desig...

A significant level of automation and flexibility has been added to the ACNET control system through the development of a Java-based Finite State Machine (FSM) infrastructure. These FSMs are integrated into ACNET and allow users to easily build, test and execute scripts that have full access to ACNET’s functionality. In this paper, a description will be given of the FSM design and its ties to t...

The study addresses problems in measuring credit risk under the structure model, and then proposes a seemingly unrelated regression model (SUR) to predict farms’ ability in meeting their current and anticipated obligations in the next 12 months. The empirical model accounts for both the dependence structure and the dynamic feature of the structure model, and is used for estimating asset correla...

The finite state machine (FSM) model is commonly used for specifying communication protocols and other types of distributed systems. With the use of multiple testers for an FSM, the synchronization between inputs from different testers becomes a problem. A synchronizable test sequence of an FSM is a test sequence for which the synchronization problem either does not exist or can be solved by co...

A farm operator household time-allocation model and data from the Farm Costs and Returns Survey and from other sources were used to derive off-farm wage equations for U.S. farm operators based on production region, size of farm, and farm type. These equations, in turn, were used to impute opportunity costs for farm operators' unpaid labor. Using this new method, instead of the ad hoc method of ...

Most encoder-decoder structure based predictions models usually predict trajectory according to the position and historical movement of nearby pedestrians. Their input range (receptive field) is small. They often ignore some specific information such as speed direction pedestrians’ or temporal attention. This leads detailed pedestrian interaction that cannot be obtained. Therefore, we propose a...