2346 search results - page 344 / 470 » Hierarchical State Machines |
187
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Research in the field of knowledge discovery from temporal data recently focused on a new type of data: interval sequences. In contrast to event sequences interval sequences contai...
159
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
157
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...
157
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
156
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...