1449 search results - page 163 / 290 » Finiteness results for sigmoidal |
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...
185
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
146
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we construct fixed finite tile systems that assemble into particular classes of shapes. Moreover, given an arbitrary n, we show how to calculate the tile co...
179
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we employ the finite state machine (FSM) model for networks to investigate fault identification using passive testing. First, we introduce the concept of passive te...
152
click to vote
WFLP
2000
Springer
15 years 10 months ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...