1753 search results - page 160 / 351 » State Machines |
132
click to vote
DSD
2006
IEEE
15 years 6 months ago
2006
IEEE
The paper deals with synthesis technique for designing circuits with cascade errors detection. The proposed technique is based on partitioning a scheme into a number of cascades f...
152
click to vote
CSREAESA
2003
15 years 6 months ago
2003
The paper presents a technique for the design of digital circuits based on reusable hardware templates (HT). Any HT is being constructed in such a way that it might be employed for...
131
click to vote
ISCAPDCS
2004
15 years 6 months ago
2004
Byzantine fault tolerant state machine replication (BFT-SMR) is a foundation for implementations of highly reliable services. Existing algorithms for BFT-SMR require at least 3f +...
117
Voted
IADIS
2003
15 years 6 months ago
2003
In [7], we reported on our experience in building Collaborative Mobile Virtual Communities (CMVC) on the Web. In [8], we proposed a finite state machine model and a new approach t...
144
Voted
PTS
2004
15 years 6 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...