Sciweavers

7311 search results - page 68 / 1463
» Time in State Machines
Sort
View
117
Voted
IIE
2007
63views more  IIE 2007»
15 years 3 months ago
Investigation of Q-Learning in the Context of a Virtual Learning Environment
We investigate the possibility to apply a known machine learning algorithm of Q-learning in the domain of a Virtual Learning Environment (VLE). It is important in this problem doma...
Dalia Baziukaite
ISLPED
1998
ACM
94views Hardware» more  ISLPED 1998»
15 years 8 months ago
Theoretical bounds for switching activity analysis in finite-state machines
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
Diana Marculescu, Radu Marculescu, Massoud Pedram
CCS
2006
ACM
15 years 7 months ago
Cryptanalysis of the "Grain" family of stream ciphers
Let us have an NLFSR with the feedback function g(x) and an LFSR with the generating polynomial f(x). The function g(x) is a Boolean function on the state of the NLFSR and the LFS...
Alexander Maximov
ERLANG
2003
ACM
15 years 9 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
126
Voted
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte