Skip to search formSkip to main contentSkip to account menu

Virtual finite-state machine

Known as: VFSM, Virtual finite state machine 
A virtual finite state machine is a finite state machine (FSM) defined in a virtual environment. The VFSM concept provides a software specification… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Finite-state machineState transition tableUnity

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Model of real time biomedical signal transmission using wavelet based adaptive thresholding
In real time, remote biomedical signal (such as ECG, EEG, etc.) monitoring systems, continuous fast transmission of the signal is… 
2013
2013
Virtual finite-state-machine architectures for fast compilation and portability
FPGA productivity suffers from lengthy compilation times and limited portability. To address these issues, previous work… 
2013
2013
Buffer Occupancy of Double-Buffer Traffic Shaper in Real-Time Multimedia Applications across Slow-Speed Links
In this paper, a double-buffer traffic shaper was investigated to adjust video frame rate inflow into the TCP sender-buffer of a… 
2011
2011
A Study of Video Frame Sharing in Sparse Vehicular Networks
Due to the limited budget and high maintenance cost, it is difficult to deploy a large amount of roadside units (such as 802.11… 
2009
2009
Break States in the VFSM Executor
2003
2003
Modeling and building reliable, re-useable software
Agile software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors… 
2000
2000
Mining Cinematic Knowledge Work in Progress [An Extended Abstract]
This paper presents the blueprint of an on going effort underway at George Mason University to create a movie mining system that… 
Review
1997
Review
1997
The virtual finite-state machine design and implementation paradigm
This paper discusses the virtual finite-state machine (VFSM) design and implementation paradigm and our experience in introducing… 
1996
1996
ramework for Evaluating Sp ethods for Reactive Sys Experience Report
Numerous formal specification methods for reactive systems have been proposed in the literature. Because the significant… 
1995
1995
Formal validation of virtual finite state machines
We describe our experiences in introducing a formal validation tool in several projects that are developing software for AT&T's… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)