In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the possible latency for an FSM, while the real latency relates to the certain implementation of the FSM. A method for investigation of latencies for online checking FSMs is described. This technique is based on selection of...

It has been well-known that Finite State Machines (FSMs) are difficult to test. The problem of FSM testing can be regarded as an identification problem: to design input sequence (test) capable to distinguish a given (fault-free) FSM from all other (faulty) ones. Testing methods based on checking experiments theory [1,2] are not widely used in practical, because of the high upper bound of checki...

We propose a methodology for non-intrusive design of concurrently self-testable FSMs. The proposed method is similar to duplication, wherein a replica of the original FSM acts as a predictor that immediately detects potential faults by comparison to the original FSM. However, instead of duplicating the complete FSM, the proposed method replicates only a minimal portion adequate to detect all po...

Distributed computing approach is preferred over centralized approach due to low cost involvement and for providing reliability and expandability to network. An object-oriented language Unified Modeling Language is proposed by the authors to model the dynamic behavior for execution of tasks for the digital watch under distributed environment. A UML state diagram is designed and then converted i...

OBJECTIVE We assessed the accuracy of the FreeStyle Mini (FSM) meter for use in glycemic clamp and meal protocols in comparison with the HemoCue Glucose 201 DM Analyzer (HemoCue) and the YSI 2300 STAT Glucose Oxidase Analyzer (YSI). METHODS Seven volunteers with type 2 diabetes mellitus, 35-69 years old, underwent a frequently sampled meal test and a graded hyperglycemic test, on two separate...

Stochastic computational elements, which perform computation based on stochastic bit streams, have several advantages compared to deterministic computational elements, such as high fault-tolerance and low hardware cost. Additionally, researchers have shown that a linear Finite State Machine (FSM) can be used to compute some functions stochastically, such as the exponentiation and tanh functions...

In universal mobile telecommunications system (UMTS), session management (SM) maintains a communication session between a user equipment (UE) and the core network. 3GPP TS 24.008 specifies the SM functions and the communication protocols between the UE and the core network. However, the interaction between the SM and other entities in the UE are not specified in detail. This paper designs and i...

The NPC (Non Playable Character) model is a very significant factor in the area of the on-line computer games and the design of virtual space systems. FSM (Finite State Machine) is the most widely used algorithm which uses the finite states to represent the behaviors of NPCs. The correct specification about the artificially intelligent NPC model prevents us from losing the resources in the phas...

We formulate an original model for statistical machine translation (SMT) inspired by characteristics of the Arabic-English translation task. Our approach incorporates part-of-speech tags and linguistically motivated phrase chunks in a 2-level shallow syntactic model of reordering. We implement and evaluate this model, showing it to have advantageous properties and to be competitive with an exis...

The purpose of this research was to examine whether children would benefit from a feedforward self-modeling (FSM) video and to explore possible explanatory mechanisms for the potential benefits, using a self-regulation framework. To this end, children were involved in learning two five-skill trampoline routines. For one of the routines, a FSM video was provided during acquisition, whereas only ...