1249 search results - page 58 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
AMAST
2000
Springer
14 years 1 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
SE
2008
13 years 10 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
COLT
2008
Springer
13 years 10 months ago
2008
Springer
We propose a model-based learning algorithm, the Adaptive Aggregation Algorithm (AAA), that aims to solve the online, continuous state space reinforcement learning problem in a de...
EGPGV
2011
Springer
13 years 15 days ago
2011
Springer
We present a state of the art read-only distributed shared memory (DSM) ray tracer capable of fully utilizing modern cluster hardware to render massive out-of-core polygonal model...
SEUS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...