1249 search results - page 69 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
EUROCAST
2009
Springer
14 years 3 months ago
2009
Springer
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
DATE
2004
IEEE
14 years 23 days ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
ICCAD
2000
IEEE
14 years 1 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
ICML
2009
IEEE
14 years 9 months ago
2009
IEEE
Given a model family and a set of unlabeled examples, one could either label specific examples or state general constraints--both provide information about the desired model. In g...
ICML
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper presents a novel framework called proto-reinforcement learning (PRL), based on a mathematical model of a proto-value function: these are task-independent basis function...